BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Martelli:Alberto

Contributed to:

ICLP 20132013
KR 20122012
JICSLP 19961996
ICLP 19941994
ICLP 19931993
ILPS 19931993
ILPS 19911991
ICLP 19901990
ESOP 19881988
ICLP 19861986
SLP 19861986
ICSE 19791979
ICALP 19741974

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.

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.