Abstract is missing.
- Access Clause Trees in Disjunctive Deductive DatabasesCharlie F. Obimbo, Bruce Spencer. 15-28
- Hyper Tableaux and Disjunctive Logic ProgrammingPeter Baumgartner, Ulrich Furbach. 29-43
- The Differential Fixpoint of General Logic ProgramsUlrich Zukowski, Burkhard Freitag. 45-56
- Data Flow Evaluation of Datalog QueriesJosé Francisco Aldana Montes, José M. Troya. 69-78
- Logical Specification of Bulk Updates and Sequential UpdatesCarl-Alexander Wichert, Burkhard Freitag. 79-93
- Stable Semantics of Temporal Deductive DatabasesHeinrich Herre, Gerd Wagner. 95-106
- On the Complexity of Reasoning with Negation as FailureRiccardo Rosati. 107-118
- A Logical Database for Validating System ModelsPatrizia Asirelli, Stephen C. Cook, Keith G. Jeffery. 119-134
- Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical ApplicationsMarilisa E. Carboni, Annalisa Di Deo, Fosca Giannotti, Maria V. Masserotti. 135-151