Semantical considerations on nonmonotonic logic
Artificial Intelligence
A sound and sometimes complete query evaluation algorithm for relational databases with null values
Journal of the ACM (JACM)
The extended closed world assumption and its relationship to parallel circumscription
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The early years of logic programming
Communications of the ACM
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Perspectives in deductive databases
Journal of Logic Programming
A Prolog technology theorem prover: implementation by an extended Prolog computer
Journal of Automated Reasoning
Inferring negative information from disjunctive databases
Journal of Automated Reasoning
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Weak generalized closed world assumption
Journal of Automated Reasoning
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of query processing in databases with OR-objects
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Generalized closed world assumption is II-complete
Information Processing Letters
A fixpoint semantics for disjunctive logic programs
Journal of Logic Programming
Extended stable semantics for normal and disjunctive programs
Logic programming
Logic programs with classical negation
Logic programming
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Query evaluation in recursive databases: bottom-up and top-down reconciled
Data & Knowledge Engineering
Arithmetic classification of perfect models of stratified programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
What the lottery paradox tells us about default reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Bilattices and the semantics of logic programming
Journal of Logic Programming
Journal of Computer and System Sciences
Handbook of theoretical computer science (vol. B)
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Stationary semantics for disjunctive logic programs and deductive databases
Proceedings of the 1990 North American conference on Logic programming
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
A comparison of three Prolog extensions
Journal of Logic Programming
The complexity of model checking for circumscriptive formulae
Information Processing Letters
Skeptical reason maintenance and belief revision
Artificial Intelligence
Complexity aspects of various semantics for disjunctive databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Transforming abductive logic programs to disjunctive programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
View updates in stratified disjunctive databases
Journal of Automated Reasoning
Adding disjunction to datalog (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantics for disjunctive logic programs with explicit and default negation
Fundamenta Informaticae
A three-valued semantics for deductive databases and logic programs
Journal of Computer and System Sciences
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Knowledge compilation and theory approximation
Journal of the ACM (JACM)
Querying disjunctive databases through nonmonotonic logics
Theoretical Computer Science
Reducing disjunctive to non-disjunctive semantics by shift-operations
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
The expressive powers of stable models for bound and unbound DATALOG queries
Journal of Computer and System Sciences - special issue on complexity theory
A characterization of the partial stable models for disjunctive deductive databases
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Combining closed world assumptions with stable negation
Fundamenta Informaticae - Special issue: to the memory of Prof. Cecylia Rauszer
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science
Preferred answer sets for extended logic programs
Artificial Intelligence
Artificial Intelligence
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
On Databases with Incomplete Information
Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming
Journal of the ACM (JACM)
Disjunctive logic programs with inheritance
Proceedings of the 1999 international conference on Logic programming
Optimization of disjunctive queries
Proceedings of the 1999 international conference on Logic programming
Well-founded semantics by Transformation: the non-ground case
Proceedings of the 1999 international conference on Logic programming
Data & Knowledge Engineering
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Logic and Data Bases
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Logic knowledge bases with two default rules
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
On Representing Indefinite and Maybe Information in Relational Databases: A Generalization
Proceedings of the Sixth International Conference on Data Engineering
Disjunctive Deductive Databases
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
LPAR '94 Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning
Partial Evidential Stable Models for Disjunctive Deductive Databases
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Minimal Founded Semantics for Disjunctive Logic Programming
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A General Framework for Revising Non-Monotonic Theories
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects
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
Strong and Weak Constraints in Disjunctive Datalog
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Dislop: Towards a Disjunctive Logic Programming System
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
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
Planning under Incomplete Knowledge
CL '00 Proceedings of the First International Conference on Computational Logic
Stable Model Checking for Disjunctive Logic Programs
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
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
{\bf (Revised to CS-1994-16.)} SATCHMORE: Satchmo with Relevancy
{\'bf (Revised to CS-1994-16.)} SATCHMORE: Satchmo with Relevancy
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
Completeness of the negation as failure rule
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Semantical and computational aspects of horn approximations
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
An analysis of approximate knowledge compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties
Fundamenta Informaticae
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming
Quasi-Classical Model Semantics for Logic Programs --- A Paraconsistent Approach
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Introduction to part III: decision support by advanced logic programming
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Disjunctive databases for representing repairs
Annals of Mathematics and Artificial Intelligence
Theory and Practice of Logic Programming
A social semantics for multi-agent systems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Hi-index | 0.00 |
We describe the fields of disjunctive logic programming and disjunctive deductive databases from the time of their inception to the current time. Contributions with respect to semantics, implementations and applications are surveyed.In the last decade many semantics have been proposed out of which we highlight what we believe to be the most influential ones and compare them. Basic ideas have been borrowed from the semantics of normal logic programs such as stable model semantics and well-founded semantics, which have been generalized in various ways to obtain semantics of disjunctive logic programs.We discuss disjunctive systems such as DLV and Smodels, and related non-disjunctive systems such as XSB and DeReS, that have been implemented. We also describe applications of disjunctive logic programming: reasoning about declarative specifications, reasoning about actions, diagnosis (e.g. in medicine or biology), and in data integration that have resource predicates defined by multiple rules.We discuss the future needs to make the field practical: e.g. integrating concepts from databases (such as aggregation), optimization methods, and object orientation.In Section 12 we discuss the influence that Bob Kowalski had on our work.