Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Possible-world semantics for autoepistemic logic
Readings in nonmonotonic reasoning
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Approximating general logic programs
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Open answer set programming with guarded programs
ACM Transactions on Computational Logic (TOCL)
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The Second Answer Set Programming Competition
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Dealing with inconsistency when combining ontologies and rules using DL-Programs
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Hi-index | 0.00 |
Much research in logic programming and non-monotonic reasoning originates from dissatisfaction with classical logic as a knowledge representation language, and with classical deduction as a mode for automated reasoning. Discarding these classical roots has generated many interesting and fruitful ideas. However, to ensure the lasting impact of the results that have been achieved, it is important that they should not remain disconnected from their classical roots. Ultimately, a clear picture should emerge of what the achievements of answer set programming mean in the context of classical logic, so that they may be given their proper place in the canon of science. In this paper, a look at different aspects of ASP, in an effort to identify precisely the limitations of classical logic that they exposed and investigate how the ASP approaches can be transferred back to the classical setting. Among the issues we thus address are the closed world assumption, "classical" and default negation, default reasoning with exceptions, definitions, lp-functions and the interpolation technique and the strong introspection operator. We investigate the ASP-methodology to encode knowledge using these language constructs and come across a dichotomy in the ASP-methodology.