Abstract is missing.
- Semantics of Constraint Logic Programs with Bounded QuantifiersMartin Argenius, Andrei Voronkov. 1-18
- Translating a Modal Language with Embedded Implication into Horn Clause LogicMatteo Baldoni, Laura Giordano, Alberto Martelli. 19-33
- Pruning the Search Space of Logic ProgramsAntonio Brogi, Cosimo Guarino. 35-49
- A Significant Extension of Logic Programming by Adapting Model Building RulesRicardo Caferra, Nicolas Peltier. 51-65
- Efficient Resource Management for Linear Logic Proof SearchIliano Cervesato, Joshua S. Hodas, Frank Pfenning. 67-81
- A Logic Language based on GAMMA-like Multiset RewritingPaolo Ciancarini, Daniela Fogli, Mauro Gaspari. 83-101
- Default Negated Conclusions: Why Not?Carlos Viegas Damásio, Luís Moniz Pereira. 103-117
- Handling Equality in Logic Programming via Basic FoldingAnatoli Degtyarev, Andrei Voronkov. 119-136
- An Abstract Machine for Reasoning about Situations, Actions, and CausalityKerstin Eder, Steffen Hölldobler, Michael Thielscher. 137-151
- On the Computational Complexity of Propositional Logic Programs with Nested ImplicationsJörg Hudelmaier. 153-159
- Proof-theory for Extensions of Logic ProgrammingCatholijn M. Jonker. 161-175
- A Fibrational Semantics for Logic ProgramsYoshiki Kinoshita, A. John Power. 177-191
- Higher Order Babel: Language and ImplementationHerbert Kuchen, Josef Anastasiadis. 193-207
- A New Framework for Declarative Programming: Categorial PerspectivesJames Lipton, Stacy E. Finkelstein, Peter J. Freyd. 209-211
- Extending Constructive Negation for Partial Functions in Lazy Functional-logic LanguagesJuan José Moreno-Navarro. 213-227
- Super Logic Programs and Negation as BeliefTeodor C. Przymusinski. 229-235
- Total Correctness of Logic Programs: A Formal ApproachRobert F. Stärk. 237-254
- A Declarative Semantics for the Prolog Cut OperatorKarl Stroetmann, Thomas Glaß. 255-271
- A Definitional Approach to Functional Logic ProgrammingOlof Torgersson. 273-287
- Soundness and Completeness of Non-classical SLD-ResolutionPeter Vojtás, Leonard Paulík. 289-301
- Some postulates for Nonmonotonic Theory Revision Applied to Logic ProgrammingCees Witteveen, Wiebe van der Hoek. 303-318