Searching for "A correction to "Nonmonotonic inconsistency" [Artificial Intelligence 149 (2003) 161-178]." – sorted by Relevance.
86,537 documents found, showing 1 through 10.
Next 10 →
-
Nonmonotonity in Linguistics
- … and nonmonotonicity are properties of logical consequence Associated with any logic there is a consequence relation…
- Cited by 13 (0 self) – Add To MetaCart
-
Moral Dilemmas and Nonmonotonic Logic
- … with the publication of a special issue of Artificial Intelligence [1] devoted to the topic. 5 These logics have found…
- Cited by 25 (5 self) – Add To MetaCart
-
Nonmonotonic Reasoning - Computational Perspective
- … of applicable defaults)? The technique we use for a correct formalization of this mode of reasoning requires…
- Add To MetaCart
-
Inconsistency and Preservation
- … tolerate inconsistencies. In this paper we present a novel way to analyze and compare several…
- Cited by 1 (0 self) – Add To MetaCart
-
Nonmonotonic Reasoning
- …Nonmonotonic Reasoning V.W. Marek and A. Nerode Classical logic is the study of ”safe” formal…
- Cited by 4 (0 self) – Add To MetaCart
-
Nonmonotonic Logic
- …Chapter 15 NONMONOTONIC LOGIC John F. Horty 1 Introduction The goal of a logic is to dene a…
- Add To MetaCart
-
Partial order reasoning for a nonmonotonic theory of action
- …-order reasoning about time in a provably correct nonmonotonic theory of action. Like [McAllister and Rosenblitt…
- Cited by 1 (1 self) – Add To MetaCart
-
Preferences as inconsistency-resolvers: the inconsistency-adaptive logic PRL
- … on the reconstruction and amelioration of other nonmonotonic logics and mechanisms. 0.1 Introduction. Applying a…
- Cited by 6 (1 self) – Add To MetaCart
-
A Logic for Reasoning with Inconsistency
- … give a number of examples of nonmonotonic reasoning in the presence of inconsistency. Section 5…
- Cited by 91 (8 self) – Add To MetaCart
-
A Unifying View for Logic Programming with Non-Monotonic Reasoning
- … recognized as a powerful formalism for knowledge representation in various Artificial Intelligence (AI…
- Cited by 17 (11 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
