- 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
Hard problems for simple default logics
Artificial Intelligence 49 (1-3):243-279 (1991)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
Two NP‐Hard Art‐Gallery Problems for Ortho‐Polygons.Dietmar Schuchardt & Hans-Dietrich Hecker - 1995 - Mathematical Logic Quarterly 41 (2):261-267.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
Model-preference default theories.Bart Selman & Henry A. Kautz - 1990 - Artificial Intelligence 45 (3):287-322.
Deontic Modals: Why Abandon the Default Approach.André Fuhrmann - 2017 - Erkenntnis 82 (6):1351-1365.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
A Structural Property On Modal Frames Characterizing Default Logic.Gianni Amati, Luigia Aiello, Dov Gabbay & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):7-22.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
Many-valued modal logics: A simple approach: Many-valued modal logics: A simple approach.Graham Priest - 2008 - Review of Symbolic Logic 1 (2):190-203.
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.
A generalised model of judgment aggregation.Franz Dietrich - 2007 - Social Choice and Welfare 4 (28):529-565.
Analytic tableaux for default logics.Vincent Risch - 1996 - Journal of Applied Non-Classical Logics 6 (1):71-88.
Analytics
Added to PP
2020-12-22
Downloads
12 (#1,084,326)
6 months
8 (#359,856)
2020-12-22
Downloads
12 (#1,084,326)
6 months
8 (#359,856)
Historical graph of downloads
Citations of this work
From simple associations to systematic reasoning: A connectionist representation of rules, variables, and dynamic binding using temporal synchrony.Lokendra Shastri & Venkat Ajjanagadde - 1993 - Behavioral and Brain Sciences 16 (3):417-51.
If human cognition is adaptive, can human knowledge consist of encodings?Robert L. Campbell & Mark H. Bickhard - 1991 - Behavioral and Brain Sciences 14 (3):488-489.
Tractable reasoning via approximation.Marco Schaerf & Marco Cadoli - 1995 - Artificial Intelligence 74 (2):249-310.
Resolving ambiguity in nonmonotonic inheritance hierarchies.Lynn Andrea Stein - 1992 - Artificial Intelligence 55 (2-3):259-310.
References found in this work
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
Making believers out of computers.Hector J. Levesque - 1986 - Artificial Intelligence 30 (1):81-108.
Model-preference default theories.Bart Selman & Henry A. Kautz - 1990 - Artificial Intelligence 45 (3):287-322.
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-64dd777598-zf4z4 uwo