Robert F. Stärk  Home/Search
Context Related
| inf.ethz.ch/~staerk/pdf/ae.pdf 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: inf.ethz.ch/~staerk/list (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In [6] Moore has introduced a logic to represent the beliefs of ideal rational agents, called autoepistemic logic. This logic was presented as an improvement of the non-monotonic logic of McDermott and Doyle in [4]. We give a new method to characterize the fixpoints in both logics and thus obtain decision procedures for several problems in this context. Although the two logics are conceptually very di#erent our method is very uniform. 1 (Update)
Context of citations to this paper: More
...which in turn implies Lp 1 2 and so on. Several decision methods have been proposed for autoepistemic reasoning. Some of these [85, 115, 66] are straightforward applications of a particular finitary characterization of autoepistemic reasoning, some [86] use extensively a...
...expansion of a set of premises can be characterized using the LOE subformulae of the premises. Moore [101] Shvarts [135] and Stark [137] have proposed similar characterizations based on the same idea. The finitary characterization of stable expansions presented in this work...
Cited by: More
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993) (Correct)
Multi-Valued Autoepistemic Logic - Stärk (Correct)
Proof Systems for Nonmonotonic Logics - Niemelä, Schwind (1994) (Correct)
Active bibliography (related documents): More All
0.2: Dualities between Alternative Semantics for Logic.. - Baral, Subrahmanian (1998) (Correct)
0.2: Ultimate Well-founded and Stable Semantics for Logic.. - Denecker, Pelov.. (2001) (Correct)
0.1: Autoepistemic Logic as a Basis for Automating Nonmonotonic.. - Niemelä (1995) (Correct)
Similar documents based on text: More All
0.3: Uniform Semantic Treatment of Default and Autoepistemic.. - Denecker, Marek.. (2000) (Correct)
0.3: Approximations, Stable Operators, Well-Founded.. - Denecker, Marek.. (2000) (Correct)
0.3: A Decision Method for Nonmonotonic Reasoning Based on.. - Niemelä (1994) (Correct)
Related documents from co-citation: More All
8: Semantical Considerations on Nonmonotonic Logic (context) - Moore - 1985
7: Modal Nonmonotonic Logics: Ranges (context) - Marek, Shvarts et al. - 1991
7: Computing the Extensions of Autoepistemic and Default Logics with a Truth Mainte.. (context) - Junker
BibTeX entry: (Update)
Stark, R.F. 1990. On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle. In Proceedings of the 4th Workshop on Computer Science Logic, 354--365. Heidelberg, Germany, October. Springer-Verlag. http://citeseer.ist.psu.edu/stark90existence.html More
@inproceedings{ stark90existence,
author = "Robert F. Stark",
title = "On the Existence of Fixpoints in Moore's Autoepistemic Logic and the Non-Monotonic Logic of McDermott and Doyle",
booktitle = "{CSL}",
pages = "354-365",
year = "1990",
url = "citeseer.ist.psu.edu/stark90existence.html" }
Citations (may not include all citations):311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
55 Possible-world semantics for autoepistemic logic (context) - Moore - 1984
46 Modal nonmonotonic logics: ranges (context) - Marek, Shvarts et al. - 1990
14 Decision procedure for autoepistemic logic (context) - Niemela - 1988
5 Department of Computer Science (context) - Marek, Truszczynski et al. - 1988
1 Fixed points in the propositional nonmonotonic logic (context) - Shvarts - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.inf.ethz.ch/~staerk/list.html): More
Multi-Valued Autoepistemic Logic - Stärk (Correct)
A direct proof for the completeness of SLD-resolution - Stärk (1990) (Correct)
Cut-Property And Negation As Failure - Stärk (1994) (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