Alexander Bochman Computer Science Department, Holon Academic Institute of...  Home/Search
Context
Related
| umass.edu/aimath06/proceedin...S01a.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: umass.edu/aimath06/proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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