Searching for "Eliminating the Fixed Predicates from a Circumscription." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Eliminating the fixed predicates from a circumscription
by Johan De Kleer, Kurt Konolige — 1989 — Artificial Intelligence
…)) is equivalent to ELIMINATING FIXED PREDICATES FROM A CIRCUMSCRIPTION 395 Vx.3!y.F(x, y) A]!ZA(Z) AVxy.F(x,y)A A(y)A…
Cited by 22 (0 self) – Add To MetaCart

An Efficient Method for Eliminating Varying Predicates from a Circumscription
by Marco Cadoli, Thomas Eiter, Georg Gottlob — 1992
… shown how to eliminate fixed predicates from a circumscription efficiently (even in linear time) [2…
Cited by 11 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB