3. ELP 1992: Bologna, Italy

Evelina Lamma, Paola Mello (Eds.): Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 660 Springer 1993, ISBN 3-540-56454-3

Negation

Luís Moniz Pereira, Luís Caires, José Júlio Alferes:
SLWV - A Theorem Prover for Logic Programming. 1-23
Ken Satoh, Noboru Iwayama:
A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. 24-44
Phan Minh Dung:
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure. 45-58
María José Ramírez, Moreno Falaschi:
Conditional Narrowing with Constructive Negation. 59-79

Constraints, Functions and Sets

Elisa Bertino, Maurizio Martelli, Danilo Montesi:
CLP(AD) as a Deductive Database Language with Updates. 80-99
Hassan Aït-Kaci, Andreas Podelski:
Logic Programming with Functions over Order-Sorted Feature Terms. 100-119
Harold Boley:
A Direct Semantic Characterization of RELFUN. 120-149
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language. 150-167

Modules, Objects, and Inheritance

Laura Giordano, Alberto Martelli:
A Modal Framework for Structured Logic Programs. 168-186
Antonio Brogi, Franco Turini:
Metalogic for State Oriented Programming. 187-204
Michele Bugliesi:
On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. 205-215

Concurrency

António Porto, Paulo Rosado:
The AbstrAct Scheme for Concurrent Programming. 216-241
Dale Miller:
The pi-Calculus as a Theory in Linear Logic: Preliminary Results. 242-264

Proof Theory

Seppo Keronen:
Natural Deduction Proof Theory for Logic Programming. 265-281
Uday S. Reddy:
A Typed Foundation for Directional Logic Programming. 282-318

Implementation Issues

Micha Meier, Joachim Schimpf:
An Architecture for Prolog Extensions. 319-338
Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini:
Techniques for Implementing Contexts in Logic Programming. 339-358
Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson:
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. 359-393
Martin Aronsson:
Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. 394-417

Last update Thu May 24 04:16:55 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page