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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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.
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
Correction to: Reasoning with inconsistent precedents.Ilaria Canavotto - forthcoming - Artificial Intelligence and Law:1-4.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
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.

Analytics

Added to PP
2020-12-22

Downloads
13 (#288,494)

6 months
11 (#1,140,922)

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 logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
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.

View all 7 references / Add more references