MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Negation as Failure II." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

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
…. Journal of Logic Programming, 1:51--81, 1984. [She85] J.C. Shepherdson. Negation as failure II. Journal…
Cited by 1 (1 self) – Add To MetaCart

Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview
by Jürgen Dix, Ross A. Overbeek, Proceedings Of The North — 1994
… for a Version of Negation as Failure. Theoretical Computer Science, 65:343--371, 1989. [She91a] John C…
Cited by 71 (13 self) – Add To MetaCart

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
…. [She85] J. C. Shepherdson. Negation as Failure II, The Journal of Logic Programming 3:185-202 (1985…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB