- 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)Other Versions
No versions found
My notes
Similar books and articles
On cumulative default logics.Laura Giordano & Alberto Martelli - 1994 - Artificial Intelligence 66 (1):161-179.
Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
Hendrik Kaptein, Henry Prakken and Bart verheij (eds): Review of legal evidence and proof: Statistics, stories, logic. [REVIEW]Douglas Walton - 2009 - Artificial Intelligence and Law 17 (4):371-377.
Outlier detection for simple default theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 2010 - Artificial Intelligence 174 (15):1247-1253.
Generating hard satisfiability problems.Bart Selman, David G. Mitchell & Hector J. Levesque - 1996 - Artificial Intelligence 81 (1-2):17-29.
Logics in Artificial Intelligence: European Workshop, Jelia '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings.Jose Julio Alferes, Luis Moniz Pereira & Ewa Orlowska - 1996 - Springer Verlag.
Easy problems are sometimes hard.Ian P. Gent & Toby Walsh - 1994 - Artificial Intelligence 70 (1-2):335-345.
Hard random 3-SAT problems and the Davis-Putnam procedure.Jon W. Freeman - 1996 - Artificial Intelligence 81 (1-2):183-198.
Logics in Artificial Intelligence.Francesco Calimeri, Nicola Leone & Marco Manna (eds.) - 2019 - Springer.
Analytics
Added to PP
2020-12-22
Downloads
17 (#1,150,890)
6 months
4 (#1,247,585)
2020-12-22
Downloads
17 (#1,150,890)
6 months
4 (#1,247,585)
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-559df78dcc-vpvvv uwo