Searching for "Negation as Failure A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

The Impact of Model Theory on Theoretical Computer Science
by J.A. Makowsky, In D. Gabbay, Chapter Morgan Kaufmann Publishers, Ssh J. T. Schwartz, M. Sharir, J. Hopcroft — 1995
…. Negation as failure: A comparison of Clark's completed data base and Reiter's closed world assumption…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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