- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
An approach to default reasoning based on a first-order conditional logic: Revised report
Artificial Intelligence 36 (1):63-90 (1988)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Belief Revision, Conditional Logic and Nonmonotonic Reasoning.Wayne Wobcke - 1995 - Notre Dame Journal of Formal Logic 36 (1):55-103.
Conditional entailment: Bridging two approaches to default reasoning.Hector Geffner & Judea Pearl - 1992 - Artificial Intelligence 53 (2-3):209-244.
First-order conditional logic for default reasoning revisited.Nir Friedman, Joseph Halpern, Koller Y. & Daphne - 2000 - Acm Trans. Comput. Logic 1 (2):175--207.
Default reasoning from conditional knowledge bases: Complexity and tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2000 - Artificial Intelligence 124 (2):169-241.
Embedding and Automating Conditional Logics in Classical Higher-Order Logic.Christoph Benzmüller, Dov Gabbay, Valerio Genovese & Daniele Rispoli - 2012 - Annals of Mathematics and Artificial Intelligence 66 (1-4):257-271.
Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic.Gerhard Schurz - 1998 - Artificial Intelligence 102 (1):81-95.
A first-order conditional logic for prototypical properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.
Analytics
Added to PP
2020-12-22
Downloads
17 (#1,211,668)
6 months
4 (#909,732)
2020-12-22
Downloads
17 (#1,211,668)
6 months
4 (#909,732)
Historical graph of downloads
Citations of this work
Defaults in update semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
What does a conditional knowledge base entail?Daniel Lehmann & Menachem Magidor - 1992 - Artificial Intelligence 55 (1):1-60.
A mathematical treatment of defeasible reasoning and its implementation.Guillermo R. Simari & Ronald P. Loui - 1992 - Artificial Intelligence 53 (2-3):125-157.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
The Logic of Conditional Obligation.Bas C. Van Fraassen - 1972 - Journal of Philosophical Logic 1 (3/4):417.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-99fc7d78b-xhc6d uwo