See this document in CiteSeerX!

Two Paradigms of Nonmonotonic Reasoning  (Make Corrections)  
Alexander Bochman Computer Science Department, Holon Academic Institute of...



  Home/Search   Context   Related

 
View or download:
umass.edu/aimath06/proceedin...S01a.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  umass.edu/aimath06/proceedings (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We provide a conceptual description of the field of nonmonotonic reasoning as comprising two essentially different theories, preferential and explanatory nonmonotonic reasoning. (Update)

Active bibliography (related documents):   More   All
0.5:   An Argument-Based Approach to Reasoning with Specificity - Dung, Son (2001)   (Correct)
0.5:   Super Logic Programs - Brass, Przymusinski (2000)   (Correct)
0.4:   Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ computer-two,
  author = "Alexander Bochman Computer",
  title = "Two Paradigms of Nonmonotonic Reasoning",
  url = "citeseer.ist.psu.edu/738138.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
295   On closed world data bases (context) - Reiter - 1978
253   A logical framework for default reasoning (context) - Poole - 1988
183   A useful four-valued logic (context) - Jr - 1977
166   Computing circumscription (context) - Lifschitz - 1985
151   Reasoning about Change (context) - Shoham - 1988
129   What does a conditional knowledge base entail (context) - Lehmann - 1989
129   What does a conditional knowledge base entail (context) - Lehmann, Magidor - 1992
105   Theoretical foundations for nonmonotonic reasoning in expert.. (context) - Gabbay - 1985
94   Causal theories of action and change - McCain, Turner - 1997
90   Explanation and prediction: An architecture for default and .. - Poole - 1989
87   General theory of cumulative inference (context) - Makinson - 1989
55   Nonmonotonic Logic (context) - Marek, Truszczy - 1993
47   Some direct theories of nonmonotonic inheritance (context) - Horty - 1994
46   Modal nonmonotonic logics: ranges (context) - Marek, Schwarz et al. - 1993
45   Knowledge in Action: Logical Foundations for Specifying and .. (context) - Reiter - 2001
37   Nonmonotonic reasoning (context) - Kraus, Lehmann et al. - 1990
32   A logic of universal causation - Turner - 1999
29   Another perspective on default reasoning - Lehmann - 1995
25   Extended logic programs as autoepistemic theories - Lifschitz, Schwarz - 1993
23   System Z: A natural ordering of defaults with tractable appl.. (context) - Pearl - 1990
19   Modal interpretations of default logic (context) - nski - 1991
16   Nonmonotonic causal theories - Giunchiglia, Lee et al. - 2004
9   Strongly equivalent logic programs - Lifschitz, Pearce et al. - 2001
7   Operators and laws for combining preference relations - Andreka, Ryan et al. - 2002
5   Default Reasoning (context) - Geffner - 1992
3   Foundations of conditional logic (context) - van Benthem - 1984
3   Reflexive autoepistemic logic (context) - Schwarz - 1992
2   and Truszczy nski (context) - Gelfond, Lifschitz et al. - 1991
2   An argument-based approach to reasoning with specificity - Dung, Son - 2001
1   Coherent Systems (context) - Schlechta - 2004
1   A causal logic of logic programming (context) - Bochman - 2004
1   Brave nonmonotonic inference and its kinds (context) - Bochman - 2003
1   A Logical Theory of Nonomonotonic Inference and Belief Chang.. (context) - Bochman - 2001
1   Explanatory Nonmonotonic Reasoning (context) - Bochman - 2005
1   A causal approach to nonmonotonic reasoning (context) - Bochman - 2004
1   Specificity and inheritance in default reasoning (context) - Tan, Pearl - 1995
1   and van der Torre (context) - Makinson - 2000

Documents on the same site (http://anytime.cs.umass.edu/aimath06/proceedings.html):   More
Finding Small Unsatisfiable Cores to Prove.. - Interian, Corvera..   (Correct)
Scalable Inference in Hierarchical Generative Models - Dean   (Correct)
Approximate Linear Programming for Solving Hybrid Factored MDPs - Hauskrecht, Kveton   (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