Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Inferring negative information from disjunctive databases
Journal of Automated Reasoning
Weak generalized closed world assumption
Journal of Automated Reasoning
Extended stable semantics for normal and disjunctive programs
Logic programming
Logic programs with classical negation
Logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Generalized disjunctive well-founded semantics for logic programs: procedural semantics
Methodologies for intelligent systems, 5
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Propositional circumscription and extended closed-world reasoning are &Pgr;p2-complete
Theoretical Computer Science
Knowledge Representation with Logic Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
Characterizations of the Stable Semantics by Partial Evaluation
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
A general Approach to Bottom-Up Computation of Disjunctive Semantics
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Transformation-Based Bottom-Up Computation of the Well-Founded Model
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Tableau Calculus for Minimal Model Reasoning
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
On the Computation of the Disjunctive Well-Founded Semantics
Journal of Automated Reasoning
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Top-Down Query Processing in First Order Deductive Databases under the DWFS
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Equivalence in Answer Set Programming
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
On the Problem of Computing the Well-Founded Semantics
CL '00 Proceedings of the First International Conference on Computational Logic
A Top-Down Procedure for Disjunctive Well-Founded Semantics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
On the problem of computing the well-founded semantics
Theory and Practice of Logic Programming
Top-Down Query Processing in First-Order Deductive Databases under the DWFS
Journal of Automated Reasoning
Comparisons and computation of well-founded semantics for disjunctive logic programs
ACM Transactions on Computational Logic (TOCL)
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Annals of Mathematics and Artificial Intelligence
Well-Founded and Partial Stable Semantics Logical Aspects
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
A purely model-theoretic semantics for disjunctive logic programs with negation
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Possibilistic semantics for logic programs with ordered disjunction
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Query Compilation under the disjunctive well-founded semantics
Fundamenta Informaticae
Hi-index | 0.00 |
Recently Brass and Dix introduced the semantics D-WFS for generaldisjunctive logic programs. The interesting feature of this approach is thatit is both semantically and proof-theoretically founded. Semantically, D-WFSis invariant under some natural declarative principles. Proof-theoretically,any program Φ is associated a normalform Φ, called the residualprogram, by a nontrivial bottom-up construction using least fixpoints of twomonotonic operators.We show in this paper that the original calculus, consisting of somesimple transformations, has a very strong and appealing property: it isconfluent and terminating. This means that all the transformations can beapplied in any order: whenever we arrive at an irreducible program (no moretransformation is applicable), this program is already uniquely determinedand coincides with the normalform res(Φ) Moreover, for fair sequences itis also strongly terminating: every fair sequence of transformations leadsto normalform res(Φ). Another feature of our approach is that D-WFS canbe read off from res(Φ) immediately in a very simple way. No propersubset of the calculus has these properties – only when we restrict tocertain subclasses of programs.We also give an equivalent characterization of D-WFS in terms of iteratedminimal model reasoning with respect to positive programs. This constructionis a generalization of a description of the well-founded semantics: weintroduce a very simple and neat construction of a sequence D_ithat eventually stops and represents the set of derivable disjunctions.Both characterizations open the way for efficient implementations. Thefirst does so because the ordering of the transformations does not matter:we are free to choose always the “best” transformation, whichmaximally reduces the program. The second does so because special methodsfrom circumscription, in particular a sophisticated minimal model reasonerfor positive programs, might be useful.