Person: Evelina Lamma

DBLP: Lamma:Evelina

Facilitated 1 volumes:

Ed

Contributed to:

2015

2014

2010

2009

2008

2006

2004

1999

1999

1997

1996

1994

1994

1992

1992

1990

Wrote 16 papers:

ICLP-2015-GavanelliLRBZC #abduction #datalog #framework #ontology

An Abductive Framework for Datalog± Ontologies (MG, EL, FR, EB, RZ, GC), pp. 274–286.

ICLP-J-2014-BellodiLRCZ #logic programming #probability

Lifted Variable Elimination for Probabilistic Logic Programming (EB, EL, FR, VSC, RZ), pp. 681–695.

ICLP-2010-AlbertiGL10 #abduction #constraints #proving #runtime

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure (MA, MG, EL), pp. 4–13.

ICLP-2009-GavanelliAL #abduction #constraints #integration #optimisation #reasoning

Integration of Abductive Reasoning and Constraint Optimization in SCIFF (MG, MA, EL), pp. 387–401.

ICLP-2008-MontaliTACGLM #declarative #logic programming #specification #using #verification

Verification from Declarative Specifications Using Logic Programming (MM, PT, MA, FC, MG, EL, PM), pp. 440–454.

PPDP-2006-AlbertiGLCMM #abduction #framework #verification #web #web service

An abductive framework for a-priori verification of web services (MA, MG, EL, FC, PM, MM), pp. 39–50.

SAC-2004-AlbertiDTGLM #interactive #protocol #specification #verification

Specification and verification of agent interaction protocols in a logic-based system (MA, DD, PT, MG, EL, PM), pp. 72–78.

ICLP-1999-GavanelliLMM

Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.

SAC-1999-CiampoliniLMS #abduction #coordination #logic

Abductive Coordination for Logic Agents (AC, EL, PM, CS), pp. 134–140.

ICLP-1997-LammaMM #constraints #logic programming #reasoning

Reasoning on Constraints in Constraint Logic Programming (EL, MM, PM), p. 413.

RWLW-1996-CiampoliniLMS #distributed #implementation #logic

Distributed logic objects: A fragment of rewriting logic and its implementation (AC, EL, PM, CS), pp. 110–125.

ICLP-1994-LammaM #composition #logic programming

Modularity in Logic Programming (EL, PM), pp. 15–17.

PDP-1994-CiampoliniLMS #architecture #parallel #unification

Multi-level Copying For Unification In Parallel Architectures (AC, EL, PM, CS), pp. 518–525.

JICSLP-1992-BrogiLMM #logic programming #source code

Normal Logic Programs as Open Positive Programs (AB, EL, PM, PM), pp. 783–797.

LOPSTR-1992-LammaM #partial evaluation

A Rationalisation of the ATMS in Terms of Partial Evaluation (EL, PM), pp. 118–131.

NACLP-1990-BugliesiLM #logic #partial evaluation

Partial Evaluation for Hierarchies of Logic Theories (MB, EL, PM), pp. 359–376.