Abstract is missing.
- SLWV - A Theorem Prover for Logic ProgrammingLuís Moniz Pereira, Luís Caires, José Júlio Alferes. 1-23
- A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity ConstraintsKen Satoh, Noboru Iwayama. 24-44
- Declarative Semantics of Hypothetical Logic Programming with Negation as FailurePhan Minh Dung. 45-58
- Conditional Narrowing with Constructive NegationMaría José Ramírez, Moreno Falaschi. 59-79
- CLP(AD) as a Deductive Database Language with UpdatesElisa Bertino, Maurizio Martelli, Danilo Montesi. 80-99
- Logic Programming with Functions over Order-Sorted Feature TermsHassan Aït-Kaci, Andreas Podelski. 100-119
- A Direct Semantic Characterization of RELFUNHarold Boley. 120-149
- Embedding Finite Sets in a Logic Programming LanguageAgostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi. 150-167
- A Modal Framework for Structured Logic ProgramsLaura Giordano, Alberto Martelli. 168-186
- Metalogic for State Oriented ProgrammingAntonio Brogi, Franco Turini. 187-204
- On the Semantics of Inheritance in Logic Programming: Compositionality and Full AbstractionMichele Bugliesi. 205-215
- The AbstrAct Scheme for Concurrent ProgrammingAntónio Porto, Paulo Rosado. 216-241
- The pi-Calculus as a Theory in Linear Logic: Preliminary ResultsDale Miller. 242-264
- Natural Deduction Proof Theory for Logic ProgrammingSeppo Keronen. 265-281
- A Typed Foundation for Directional Logic ProgrammingUday S. Reddy. 282-318
- An Architecture for Prolog ExtensionsMicha Meier, Joachim Schimpf. 319-338
- Techniques for Implementing Contexts in Logic ProgrammingEnrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini. 339-358
- Implementing a Notion of Modules in the Logic Programming Language Lambda-PrologKeehang Kwon, Gopalan Nadathur, Debra Sue Wilson. 359-393
- Implementational Issues in GCLA: A-Sufficiency and Definiens OperationMartin Aronsson. 394-417