Abstract is missing.
- Rewriting Concepts in the Study of Termination of Logic ProgramsR. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur. 3-20
- Metric Characterizations of Contextual Logic ProgramsJean-Marie Jacquet. 21-40
- Static Analysis for the Synthesis of Eureka Properties for Transforming Logic ProgramsKhaled Bsaïes. 41-61
- An Algorithm for Finite Approximations of Definite Programs and its Implementation in PrologLunjin Lu, Peter Greenfield. 62-76
- Soft Sorting in Logic ProgrammingJian Chen, John Staples. 79-96
- Modularity for Logic ProgramsGrigoris Antoniou, Volker Sperschneider. 97-107
- SEL Compiler & Abstract AnalyzersGiancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò. 108-123
- Disciplined Exceptions in Logic ProgrammingTimothy K. Shih, Ruth E. Davis, Fuyau Lin. 124-141
- On the Semantics of Concurrent Constraint ProgrammingFrank S. de Boer, Catuscia Palamidessi. 145-173
- L2||O2: Operational and Declarative SemanticsErnesto Pimentel, José M. Troya. 174-188
- The DelPhi Multiprocessor Inference MachineW. F. Clocksin. 189-198
- Orn Clause Logic 1992Wilfried Hodges. 201-217
- From A Hilbert Calculus to its Model Theoretic SemanticsDov M. Gabbay, Hans Jürgen Ohlbach. 218-252
- Logic Programming via Proof-valued ComputationsDavid J. Pym, Lincoln A. Wallen. 253-262
- An Amalgamated Temporal LogicYuejun Jiang, Barry Richards. 263-295
- An Introduction to GödelAntony F. Bowers, Patricia M. Hill. 299-343