From systems to logic in the early development of nonmonotonic reasoning

Artificial Intelligence 175 (1):416-427 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2010.04.013

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

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

General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Clarendon Press. pp. 35-110.
Nonmonotonic Reasoning: From Theoretical Foundation Towards Efficient Computation: Diss.Gerhard Brewka - 1989 - [S.N.].
Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.
Logic and artificial intelligence.Richmond H. Thomason - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
A Logical Theory of Nonmonotonic Inference and Belief Change.Alexander Bochman - 2001 - Springer.
On the applicability of nonmonotonic logic to formal reasoning in continuous time.Manny Rayner - 1991 - Artificial Intelligence 49 (1-3):345-360.
Real Logic is Nonmonotonic.Henry E. Kyburg - 2001 - Minds and Machines 11 (4):577-595.
Logical Tools for Handling Change in Agent-Based Systems.Dov M. Gabbay & Karl Schlechta - 2009 - New York, NY, USA: Springer.
Nonmonotonic reasoning, Grigoris Antoniou.Wiebe van der Hoek - 2000 - Journal of Logic, Language and Information 9 (1):125-128.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,324,742)

6 months
4 (#1,252,858)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

John McCarthy's legacy.Leora Morgenstern & Sheila A. McIlraith - 2011 - Artificial Intelligence 175 (1):1-24.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.

View all 8 references / Add more references