BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Hungary
1 × Israel
2 × Italy
2 × USA
Collaborated with:
A.Martelli N.Olivetti M.Baldoni D.T.Dupré M.L.Sapino M.Spiotta D.M.Gabbay
Talks about:
program (6) logic (6) modul (2) model (2) modal (2) intuitionist (1) reconstruct (1) constraint (1) framework (1) procedur (1)

Person: Laura Giordano

DBLP DBLP: Giordano:Laura

Contributed to:

ICLP 20132013
KR 20122012
JICSLP 19961996
ICLP 19941994
ICLP 19931993
ILPS 19931993
JICSLP 19921992
ILPS 19911991
ICLP 19901990

Wrote 9 papers:

ICLP-J-2013-GiordanoMSD #constraints #process #programming #set #verification
Business process verification with constraint temporal answer set programming (LG, AM, MS, DTD), pp. 641–655.
KR-2012-GiordanoMD #bound #model checking
Achieving Completeness in Bounded Model Checking of Action Theories in ASP (LG, AM, DTD).
JICSLP-1996-BaldoniGM #framework #logic programming
A Framework for a Modal Logic Programming (MB, LG, AM), pp. 52–66.
ICLP-1994-GabbayGMO #logic programming
Conditonal Logic Programming (DMG, LG, AM, NO), pp. 272–289.
ICLP-1993-GiordanoMS #semantics
A Semantics for Eshghi and Kowalski’s Procedure (LG, AM, MLS), pp. 586–600.
ILPS-1993-BaldoniGM #logic programming #multimodal
A Multimodal Logic to Define Modules in Logic Programming (MB, LG, AM), pp. 473–487.
JICSLP-1992-GiordanoO #logic programming
Negation as Failure in Intuitionistic Logic Programming (LG, NO), pp. 431–445.
ISLP-1991-GiordanoM #logic programming #re-engineering
A Modal Reconstruction of Blocks and Modules in Logic Programming (LG, AM), pp. 239–253.
CLP-1990-GiordanoM90 #maintenance #modelling
Generalized Stable Models, Truth Maintenance and Conflict Resolution (LG, AM), pp. 427–441.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.