default search action
Deductive Databases / Abduction in Deductive Databases 1995
- Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí:
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. GMD-Studien 266, Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, ISBN 3-88457-266-0
Semantics of Logic Programs
- Cristian Papp:
Alternating Fixpoint Semantics for Disjunctive Logic Programs. Deductive Databases / Abduction in Deductive Databases 1995: 11-23 - Tomi Janhunen:
Cautious Models for General Logic Programs. Deductive Databases / Abduction in Deductive Databases 1995: 25-39 - Jia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel:
An Introspective Framework for Paraconsistent Logic Programs and Disjunctive Databases. Deductive Databases / Abduction in Deductive Databases 1995: 41-55
Query Optimization in Deductive Databases
- Xiaoyong Du, Naohiro Ishii:
Reducing the Arity of Recursive Predicates by Realigning Some Predicates. Deductive Databases / Abduction in Deductive Databases 1995: 57-69 - Paulo Jorge de Sousa Azevedo, Danilo Montesi:
An Extended Magic Sets Strategy for a Rule Language with Updates and Transactions. Deductive Databases / Abduction in Deductive Databases 1995: 71-80
Implementation Techniques
- Michael Leuschel, Bern Martens:
Generating Specialised Update Procedures Through Partial Deduction of the Ground Representation. Deductive Databases / Abduction in Deductive Databases 1995: 81-95 - Liviu-Virgil Ciortuz, Mihaela Juganaru:
Towords a Constraint-based Implementation of F-Logic. Deductive Databases / Abduction in Deductive Databases 1995: 97-109
Updates & Integrity Checking
- Ernest Teniente:
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases 1995: 111-125 - Knut Hinkelmann:
Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity Checking. Deductive Databases / Abduction in Deductive Databases 1995: 127-141
Belief Revision
- Maurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo:
Abductive Reasoning, Belief Expansion and Nonmonotonic Cesequence. Deductive Databases / Abduction in Deductive Databases 1995: 143-158 - Alex Kean, George K. Tsiknis:
A Computational System for Symbolic Belief Revision. Deductive Databases / Abduction in Deductive Databases 1995: 159-173
Metaprogramming Techniques
- Henning Christiansen:
Alternative Reasoning in a Metaprogramming System. Deductive Databases / Abduction in Deductive Databases 1995: 175-186 - Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye:
Using Event Calculus for Protocol Specification: An Experiment. Deductive Databases / Abduction in Deductive Databases 1995: 187-201
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-29 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: