Deductive Databases / Abduction in Deductive Databases 1995

Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí (Eds.): Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. Gesellschaft für Mathematik und Datenverarbeitung MbH, GMD-Studien Nr. 266, 1995, ISBN 3-88457-266-0

Semantics of Logic Programs

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

Query Optimization in Deductive Databases

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

Implementation Techniques

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

Updates & Integrity Checking

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

Belief Revision

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

Metaprogramming Techniques

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

Last update Tue May 22 04:51:35 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page