Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
1 of
1
Eliminating the fixed predicates from a circumscription
- Artificial Intelligence
, 1989
"... Parallel predicate circumscription is the primary circumscriptive technique used in formalizing commonsense reasoning. In this paper we present a direct syntactic construction for transforming any parallel predicate circumscription usingfixed predicates into an equivalent one which does not. Thus, w ..."
Abstract
-
Cited by 31 (0 self)
- Add to MetaCart
and assumptionbased truth maintenance) and for implementing fixed predicates. Circumscription is one of the most well-developed formalizations of nonmonotonic reasoning. It exists in many variants, including domain cirdumscription [10], predicate circumscription [9], parallel predicate circumscription [9], formula
