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: Giordano:Laura
Contributed to:
2013
20121996199419931993199219911990Wrote 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.