Joseph Halpern  Home/Search
Context
Related
| cornell.edu/Info/P...l_reexamination.ps cornell.edu/home/h...l_reexamination.ps cornell.edu/Info/P...l_reexamination.ps 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: cornell.edu/Info/Peopl...abstract (more) From: cornell.edu/home/halpe...abstract (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Fifteen years of work on nonmonotonic logic has certainly increased our understanding of the area. However, given a problem in which nonmonotonic reasoning is called for, it is far from clear how one should go about modeling the problem using the various approaches. We explore this issue in the context on two of the best-known approaches, Reiter's default logic [1980] and Moore's autoepistemic logic [1985], as well as two related notions of "only knowing", due to Halpern and Moses [1984] and... (Update)
Active bibliography (related documents): More All
0.5: Multi-Agent Only Knowing - Halpern, Lakemeyer (1996) (Correct)
0.4: Reasoning About Knowledge: A Survey - Halpern (1995) (Correct)
0.3: Nonmonotonic Reasoning Based on Incomplete Logic - Tuan-Fang Fan Peng (Correct)
Similar documents based on text: More All
0.4: Compiled Only Knowing - Bjurling, Broda (2002) (Correct)
0.2: A Theory Of Knowledge And Ignorance For Many Agents - Halpern (1993) (Correct)
0.2: Embedding Negation as Failure Into Minimal Knowledge - Riccardo Rosati (Correct)
BibTeX entry: (Update)
@misc{ halpern-critical,
author = "Joseph Halpern",
title = "A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only
Knowing",
url = "citeseer.ist.psu.edu/161425.html" }
Citations (may not include all citations):311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
119 All I know: a study in autoepistemic logic (context) - Levesque - 1990
118 Non-monotonic logic (context) - McDermott, Doyle - 1980
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986
94 the relation between default and autoepistemic logic (context) - Konolige - 1989
94 the relation between default and autoepistemic logic (context) - Konolige - 1988
55 Nonmonotonic Logic (context) - Marek, Truszczy'nski - 1993
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
47 Relating autoepistemic and default logics (context) - Marek, Truszczy'nski - 1989
45 Cumulative default logic: in defense of nonmonotonic inferen.. (context) - Brewka - 1991
25 Autoepistemic modal logics (context) - Shvarts - 1990
23 Towards a theory of knowledge and ignorance (context) - Halpern, Moses - 1984
21 Default logic revisited (context) - Delgrande, Jackson - 1991
19 Modal Logic (context) - Chellas - 1980
13 Constrained and rational default logics - Mikitiuk, Truszczy'nski - 1995
13 A theory of knowledge and ignorance for many agents - Halpern - 1994
12 Reasoning Under Incomplete Information in Artificial Intelli.. (context) - Somb'e - 1990
11 Domain theory meets default logic - Rounds, Zhang - 1995
10 Defaults and probabilities; extensions and coherence (context) - Neufeld - 1989
8 Ideal introspective belief (context) - Konolige - 1992
3 Nonmonotonic logic II: nonmonotonic model theories (context) - McDermott - 1982
3 Modal logic S4F and the minimal knowledge paradigm (context) - Schwarz, Truszczy'nski - 1992
3 Logics and Models of Concurrent Systems (context) - Ed - 1985
2 First International Conference on Principles of Knowledge Re.. (context) - Brachman, Levesque - 1980
2 First International Conference on Principles of Knowledge Re.. (context) - Brachman, Levesque - 1989
1 Reasoning about only knowing with many agents (context) - Traub, Grosz et al. - 1993
1 Considerations on Default Logics (context) - Schaub - 1992
Documents on the same site (http://simon.cs.cornell.edu/Info/People/halpern/abstract.html): More
Two views of belief: Belief as generalized probability and.. - Halpern, Fagin (1992) (Correct)
Modeling Belief in Dynamic Systems. Part I: Foundations - Friedman, Halpern (Correct)
Characterizing the Common Prior Assumption - Halpern (1998) (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