Abstract is missing.
- Logic Programming with Sequent Systems, A Linear Logic ApproachJean-Marc Andreoli, Remo Pareschi. 1-30
- Predicates as Parameters in Logic Programming, A Set-Theoretic BasisJames H. Andrews. 31-47
- A Survey of GCLA: A Definitional Approach to Logic ProgrammingMartin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger. 49-99
- Some Applications of Gentzen s Proof Theory in Automated DeductionMichael Beeson. 101-156
- A Logic Program for Transforming Sequent Proofs to Natural Deduction ProofsAmy P. Felty. 157-178
- Modal Provability Foundations for Negation by FailureDov M. Gabbay. 179-222
- Extensions to Logic Programming Motivated by the Construction of a Generic Theorem ProverElsa L. Gunter. 223-244
- A Decision Procedure for Propositional N-PrologJörg Hudelmaier. 245-251
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationDale Miller. 253-281
- Logic Programming, Functional Programming, and Inductive DefinitionsLawrence C. Paulson, Andrew W. Smith. 283-309
- Logic Programming with Strong NegationDavid Pearce, Gerd Wagner. 311-326
- Hypothetical Reasoning and Definitional Reflection in Logic ProgrammingPeter Schroeder-Heister. 327-339
- Non-Moniotonic and Conditionals in Dialogue LogicAntonius J. M. van Hoof, Jaap Hoepelman. 341-364