Nonmonotonic logic and temporal projection

&
Artificial Intelligence 33 (3):379-412 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(87)90043-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Modal Logic Z Applied to Lifschitz's Benchmark Problems for Formal Nonmonotonic Reasoning.David Elden Leasure - 1993 - Dissertation, University of Kansas
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
Efficient reasoning about rich temporal domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
Bridges from Classical to Nonmonotonic Logic.David Makinson - 2005 - King's College Publications.
Bridges between Classical and Nonmonotonic Logic.David Makinson - 2003 - Logic Journal of the IGPL 11 (1):69-96.
Bridges from Classical to Nonmonotonic Logic.David Makinson - 2005 - London: College Publications.
On Priest on Nonmonotonic and Inductive Logic.Greg Restall - 2016 - Thought: A Journal of Philosophy 5 (2):119-124.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.
Real Logic is Nonmonotonic.Henry E. Kyburg - 2001 - Minds and Machines 11 (4):577-595.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Oxford: Clarendon Press. pp. 35-110.
Relations between the logic of theory change and nonmonotonic logic.David Makinson & Peter Gärdenfors - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 183--205.
Nonmonotonic Inconsistency.Charles B. Cross - 2003 - Artificial Intelligence 149 (2):161-178.
Levels of Belief in Nonmonotonic Reasoning.David C. Makinson - 2009 - In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of belief. London: Springer. pp. 341--354.

Analytics

Added to PP
2020-12-22

Downloads
30 (#519,519)

6 months
15 (#157,754)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Drew McDermott
Yale University

Citations of this work

Is logicist cognitive science possible?Alan Garnham - 1993 - Mind and Language 8 (1):49-71.
Defeasible reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.
The frame problem.Murray Shanahan - 2008 - Stanford Encyclopedia of Philosophy.

View all 93 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.

View all 9 references / Add more references