Deductive Databases / Abduction in Deductive Databases 1995

Semantics of Logic Programs

• Cristian Papp: Alternating Fixpoint Semantics for Disjunctive Logic Programs. 11-23 BibTeX
• Tomi Janhunen: Cautious Models for General Logic Programs. 25-39 BibTeX
• Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel: An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. 41-55 BibTeX

Query Optimization in Deductive Databases

• Xiaoyong Du, Naohiro Ishii: Reducing the Arity of Recursive Predicates by Realigning Some Predicates. 57-69 BibTeX
• Paulo Jorge de Sousa Azevedo, Danilo Montesi: An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions. 71-80 BibTeX

Implementation Techniques

• Michael Leuschel, Bern Martens: Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation. 81-95 BibTeX
• Liviu-Virgil Ciortuz, Mihaela Juganaru: Towords a Constraint-based Implementation of F-Logic. 97-109 BibTeX

Updates & Integrity Checking

• Ernest Teniente: An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. 111-125 BibTeX
• Knut Hinkelmann: Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking. 127-141 BibTeX

Belief Revision

• Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo: Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. 143-158 BibTeX
• Alex Kean, George K. Tsiknis: A Computational System for Symbolic Belief Revision. 159-173 BibTeX

Metaprogramming Techniques

• Henning Christiansen: Alternative Reasoning in a Metaprogramming System. 175-186 BibTeX
• Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye: Using Event Calculus for Protocol Specification: An Experiment. 187-201 BibTeX