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 BibTeX

Negation

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

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

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

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

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

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