MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Negation as Failure Using Tight Derivations for General Logic Programs." – 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

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
…. Journal of ACM, 23(4):733--742, October 1976. [45] A. Van Gelder. Negations as failure using tight…
Cited by 187 (25 self) – Add To MetaCart

Constraint Logic Programming: A Survey
by Joxan Jaffar, Michael J. Maher, K. Schuerman, M. Reeve, L. L. Li, How In The Elipsys — 1994
…--146, 1993. 100. A. van Gelder, Negation as Failure Using Tight Derivations for General Logic Programs, in…
Cited by 644 (13 self) – Add To MetaCart

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
…. van Gelder. Negation as failure using tight derivations for general logic programs, in: Minker, J. (ed…
Add To MetaCart

Bibliography
by Ab Apt Bol, Abw K. R. Apt, H. A. Blair, Ahv S. Abiteboul, R. Hull, V. Vianu, Foundations Databases Addisonwesley, Logic Programming, Semantics In J. Dix, L. M. Pereira, T. C. Przymusinski (eds, Bdp S. Brass, J. Dix, T. C. Przymusinski Characterizations — 1996
…--742. [VG86] A. Van Gelder: Negation as failure using tight derivations for general logic programs…
Add To MetaCart

Showing 1 through 4.

ATOM

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