A logic for reasoning with inconsistent knowledge

Artificial Intelligence 57 (1):69-103 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(92)90105-7

Other Versions

No versions found

Links

PhilArchive



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

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

From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
A preferential framework for trivialization-resistant reasoning with inconsistent information.Anna Zamansky - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 463--475.
Correction to: Reasoning with inconsistent precedents.Ilaria Canavotto - forthcoming - Artificial Intelligence and Law:1-4.
Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge: March 19-22, 1988, Monterey, California.Joseph Y. Halpern, International Business Machines Corporation, American Association of Artificial Intelligence, United States & Association for Computing Machinery - 1986
Data repair of inconsistent nonmonotonic description logic programs.Thomas Eiter, Michael Fink & Daria Stepanova - 2016 - Artificial Intelligence 239 (C):7-53.
Erratum to ‘A logic for reasoning about ambiguity’ [Artificial Intelligence 209 (2014) 1–10].Joseph Y. Halpern & Willemien Kets - 2014 - Artificial Intelligence 212 (C):158.
The Devefopment of Contemporary Logic From the Perspective of Artificial Intelligence.Bo Chen - 2001 - Philosophy and Culture 28 (10):897-907.
Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (4):469-473.
Knowledge and reasoning in program synthesis.Zohar Manna & Richard Waldinger - 1975 - Artificial Intelligence 6 (2):175-208.

Analytics

Added to PP
2020-12-22

Downloads
18 (#1,112,360)

6 months
4 (#1,247,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On knowledge evolution: acquisition, revision, contraction.Eliezer L. Lozinskii - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):177-211.

Add more citations

References found in this work

A truth maintenance system.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.
A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 7 references / Add more references