MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Completeness Results for Circumscription." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

ATOM

Completeness results for circumscription
by Donald Perlis, Jack Minker — 1986 — Artificial Intelligence
…Completeness Results for Circumscription Donald Perlis 1 and Jack Minker 1,2 MYDepartment…
Cited by 7 (4 self) – Add To MetaCart

Eliminating the fixed predicates from a circumscription
by Johan De Kleer, Kurt Konolige — 1989 — Artificial Intelligence
… the lack of completeness results for circumscription. REFERENCES …
Cited by 22 (0 self) – Add To MetaCart

An Overview of Nonmonotonic Reasoning and Logic Programming
by Jack Minker — 1993 — Journal of Logic Programming, Special Issue
… been other results about circumscription. Perlis and Minker [PM86] develop completeness results…
Cited by 21 (2 self) – Add To MetaCart

Computing Circumscriptive Databases, Part I: Theory and Algorithms
by Anil Nerode, Raymond T. Ng, V.S. Subrahmanian, Then As A I, As I
…, pps 89--118. [40] J. Minker and D. Perlis. (1986) Completeness Results for Circumscription, Artificial…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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