Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programming and databases
Logic programming and databases
A fixpoint semantics for disjunctive logic programs
Journal of Logic Programming
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Advanced database systems
Database management systems
A characterization of the partial stable models for disjunctive deductive databases
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Partial Evidential Stable Models for Disjunctive Deductive Databases
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving the Alternating Fixpoint: The Transformation Approach
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
On Extended Disjunctive Logic Programs
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Declarative Semantics of Hypothetical Logic Programming with Negation as Failure
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Hi-index | 0.00 |
In this paper we will investigate the novel concept of clausal deductive databases (cd-databases), which are special normal deductive databases - i.e. deductive databases which may contain default negation in rule bodies - over a meta-language Lcd with a fixed set of predicate symbols, namely dis, con, and some built-in predicate symbols. The arguments of the literals in Lcd are given by disjunctive and conjunctive clauses of a basic first-order language L (which are considered as terms in Lcd). On the other hand, disjunctive deductive databases (dd-databases) extend normal deductive databases by allowing for disjunctions (rather than just single atoms or literals) in rule heads - next to default negation in rule bodies. We will present an embedding of dd-databases into cd-databases: a dd-database D is transformed into a cd-database Dcd, which talks about the clauses of D - rather than just the literals. Thus, cd-databases provide a flexible framework for declaratively specifying the semantics of dd-databases. We can fix a standard control strategy, e.g. stable model or well-founded semantics, and vary the logical description Dcd for specifying different semantics. The transformed database Dcd usually consists of a part D⊕ which naturally expresses the rules of D, and two generic parts which are independent of D: Dlogic specifies logical inference rules like resolution and subsumption, and Dcwa specifies non-monotonic inference rules like closed-world-assumptions. In particular we will show that the hyperresolution consequence operator TDs for dd-databases without default negation can be expressed as a standard consequence operator TDcd, for a suitable transformed database Dcd, where Dlogic = Dcwa = Θ For dd-databases with default negation we can show that the semantics of stable models can be characterized by adding suitable sets Dlogic and Dcwa. Moreover, we will define a new semantics for dd-databases which we will call stable state semantics; it is based on Herbrand states rather than Herbrand interpretations.