Searching for "Circumscription and Definability." – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
Semantics of First Order Belief Revision Based on Circumscription
- …. In this paper we present a novel application of circumscription to defining a semantics of belief revision…
- Add To MetaCart
-
Value Minimization in Circumscription
- … since Circumscription was defined, it has been possible to vary function symbols in the minimization…
- Cited by 5 (3 self) – Add To MetaCart
-
An Inductive Definition Approach to Ramifications
- …, generalising Clark completion and circumscription, to define a unique intended semantics for causal theories…
- Cited by 12 (5 self) – Add To MetaCart
-
The Complexity of Model Checking for Circumscriptive Formulae
- … Circumscription is a powerful nonmonotonic technique defined by McCarthy [4, 5] in order to formalize common…
- Cited by 48 (5 self) – Add To MetaCart
-
Knowledge Base Revision Using Circumscription
- … on circumscription of first order theories, permits us to define our revision operation for first order theories…
- Add To MetaCart
-
Defeasible and Pointwise Prioritization
- …, of the kind defined and explored by Lifschitz in his idea of pointwise circumscription [ 1987 ] [ 1988 ] and…
- Add To MetaCart
-
On the Model Checking Complexity of Circumscription
- … circumscription is defined by second-order formula with only universal second-order quantifiers its model checking…
- Cited by 1 (0 self) – Add To MetaCart
-
On Model Checking Complexity of Circumscription (Extended Abstract)
- … whether a given finite model satisfies it. Since circumscription is defined by second-order formula…
- Cited by 1 (1 self) – Add To MetaCart
-
On Open Defaults
- … of this form of default logic is defined, which is related to circumscription with some object, function…
- Cited by 37 (4 self) – Add To MetaCart
-
Circumscription and Generic Mathematical Objects
- …. For this theory, we will show that conventional forms of circumscription are inadequate for defining the property…
- Cited by 5 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
