`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:

### 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.