`Travelled to:`

1 × Canada

1 × France

1 × Hungary

1 × Israel

1 × United Kingdom

2 × Germany

2 × Italy

2 × USA

`Collaborated with:`

L.Giordano G.Rossi M.Baldoni U.Montanari D.T.Dupré M.L.Sapino C.Moiso M.Spiotta D.M.Gabbay N.Olivetti P.Asirelli P.Degano G.Levi G.Pacini F.Sirovich F.Turini

`Talks about:`

program (9) logic (6) environ (2) theori (2) semant (2) prolog (2) modul (2) model (2) modal (2) reconstruct (1)

## Person: Alberto Martelli

### DBLP: Martelli:Alberto

### Contributed to:

### Wrote 13 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.
- 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.
- ESOP-1988-MartelliR #programming #prolog
- Enhancing Prolog to Support Prolog Programming Environments (AM, GR), pp. 317–327.
- ICLP-1986-MartelliR86 #logic programming #on the #semantics
- On the Semantics of Logic Programing Languages (AM, GR), pp. 327–334.
- SLP-1986-MartelliMR86 #algorithm #equation #unification
- An Algorithm for Unification in Equational Theories (AM, CM, GR), pp. 180–186.
- ICSE-1979-AsirelliDLMMPST #development #flexibility #interpreter
- A Flexible Environment for Program Development Based on a Symbolic Interpreter (PA, PD, GL, AM, UM, GP, FS, FT), pp. 251–264.
- ICALP-1974-MartelliM #programming
- Dynamic Programming Schemata (AM, UM), pp. 66–80.