Marc Denecker  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...39536.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...2003E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general semantic approach to autoepistemic and default logics that is based on the notion of a belief pair and that exploits the lattice structure of the collection of all belief pairs. For each logic, we introduce a monotone operator on the lattice of belief pairs. We then show that a whole family of semantics can be defined in a... (Update)
Cited by: More
Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
Any-World Assumptions in Logic Programming - Loyer, Straccia (2005) (Correct)
Strong Equivalence of Nonmonotonic Theories - an Algebraic.. - Truszczynski (Correct)
Similar documents (at the sentence level):
58.6%: Uniform Semantic Treatment of Default and Autoepistemic Logics - Denecker, Marek (2000) (Correct)
Active bibliography (related documents): More All
0.7: Ultimate Approximation and Its Application in.. - Denecker, Marek.. (2004) (Correct)
0.3: Nonmonotonic Reasoning - Computational Perspective - Marek, Truszczy'nski (1997) (Correct)
0.2: Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
Similar documents based on text: More All
1.1: Approximations, Stable Operators, Well-Founded.. - Denecker, Marek.. (2000) (Correct)
1.1: Ultimate Approximations in Nonmonotonic Knowledge.. - Denecker, Marek.. (2002) (Correct)
0.9: Fixpoint 3-Valued Semantics for Autoepistemic Logic - Denecker, Marek, Truszczy'nski (1998) (Correct)
Related documents from co-citation: More All
9: The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross et al. - 1991
8: A Logic for Default Reasoning (context) - Reiter - 1980
7: Bilattices and the semantics of logic programming - Fitting - 1991
BibTeX entry: (Update)
M. Denecker, V. W. Marek, and M. Truszczynski. Uniform semantic treatment of default and autoepistemic logics. In A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning, pages 74-84, 2000. http://citeseer.ist.psu.edu/article/denecker00uniform.html More
@inproceedings{ denecker00uniform,
author = "Marc Denecker and Victor W. Marek and Miroslaw Truszczy\'nski",
title = "Uniform Semantic Treatment of Default and Autoepistemic Logics",
booktitle = "{KR}2000: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco",
editor = "Anthony G. Cohn and Fausto Giunchiglia and Bart Selman",
pages = "74--84",
year = "2000",
url = "citeseer.ist.psu.edu/article/denecker00uniform.html" }
Citations (may not include all citations):850 A logic for default reasoning (context) - Reiter - 1980
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
234 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
161 Complexity results for nonmonotonic logics (context) - Gottlob - 1992
125 The well-founded semantics coincides with the three-valued s.. - Przymusinski - 1990
123 A companion to modal logic (context) - Hughes, Cresswell - 1984
119 All I know: a study in autoepistemic logic (context) - Levesque - 1990
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
63 An Introduction to Default Logic (context) - Besnard - 1989
62 Nonmonotonic logic II: nonmonotonic modal theories (context) - McDermott - 1982
59 Context-Dependent Reasoning (context) - Marek, Truszczy et al. - 1993
55 Possible-world semantics for autoepistemic logic (context) - Moore - 1990
47 Relating autoepistemic and default logics (context) - Marek, Truszczy - 1989
47 Dualities between alternative semantics for logic programmin.. - Baral, Subrahmanian - 1991
46 Fixpoint semantics for logic programming { a survey - Fitting - 2002
43 Nonmonotonic Reasoning (context) - Antoniou - 1997
31 Stable semantics for logic programs and default theories (context) - Marek, Truszczy - 1989
28 On open defaults - Lifschitz - 1990
25 Autoepistemic modal logics (context) - Shvarts - 1990
23 Translating default logic into standard autoepistemic logic (context) - Gottlob - 1995
19 well-founded xpoints and applications in nonmonotonic reason.. (context) - Denecker, Marek et al. - 2000
19 Modal interpretations of default logic (context) - Truszczy - 1991
18 Autoepistemic logic of knowledge (context) - Schwarz - 1991
14 Arti cial Intelligence (context) - McDermott, Doyle - 1980
12 On strati ed autoepistemic theories (context) - Gelfond - 1987
12 Fixpoint 3-valued semantics for autoepistemic logic - Denecker, Marek et al. - 1999
12 Possible world semantics for default logic (context) - Besnard, Schaub - 1994
10 The Third International Workshop on Nonmonotonic Reasoning (context) - Guerreiro, Casanova et al. - 1990
8 Negation by default and unstrati able logic programs (context) - Bidoit, Froidevaux - 1991
3 Stationary default extensions (context) - Przymusi, Przymusi - 1994
3 Cambridge-New York (context) - Chellas, An et al. - 1980
2 Uni ed semantic treatment of default and autoepistemic logic.. (context) - Denecker, Marek et al. - 2000
2 It is not my default: the complexity of membership problem f.. (context) - Stillman - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2003-E.shtml): More
Advanced Copy Propagation for Arrays - Vanbroekhoven, Janssens.. (2003) (Correct)
Proving Termination With Adornments - Serebrenik, De Schreye (Correct)
Information Extraction from Web Documents Based on .. - Kosala.. (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC