The mathematics of inheritance systems
The mathematics of inheritance systems
Nonmonotonic logic and temporal projection
Artificial Intelligence
Logic programs with exceptions
Logic programming
Journal of the ACM (JACM)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Representing actions in logic programming and its applications in database updates
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Handbook of logic in artificial intelligence and logic programming (vol. 3)
ACM Transactions on Database Systems (TODS)
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Abduction from logic program: semantics and complexity
Theoretical Computer Science
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Formalizing Commonsense: Papers by John McCarthy
Formalizing Commonsense: Papers by John McCarthy
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Reasoning with Prioritized Defaults
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Revision Specifications by Means of Programs
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Semantic forgetting in answer set programming
Artificial Intelligence
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Logic Programs with Multiple Chances
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Hi-index | 0.00 |
The paper proposes a new knowledge representation language, called DLP, which extends disjunctive logic programming (with strong negation) by inheritance. The addition of inheritance enhances the knowledge modeling features of the language providing a natural representation of default reasoning with exceptions. A declarative model-theoretic semantics of DLP is provided, which is shown to generalize the Answer Set Semantics of disjunctive logic programs. The knowledge modeling features of the language are illustrated by encoding classical nonmonotonic problems in DLP. The complexity of DLP is analyzed, proving that inheritance does not cause any computational overhead, as reasoning in DLP has exactly the same complexity as reasoning in disjunctive logic programming. This is confirmed by the existence of an efficient translation from DLP to plain disjunctive logic programming. Using this translation, an advanced KR system supporting the DLP language has been implemented on top of the DLV system and has subsequently been integrated into DLV.