MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Kripke-Kleene Semantics for Logic Programs." – 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

Bibliography for An Algebraic Study of Modularity in Logic Programming
by Elvira Pino — 1999
… Programming 32:85-11 (1997). [Fit85] M. Fitting. A Kripke-Kleene Semantics for Logic Programs. The Journal…
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
…. Wallace, A Computable Semantics for General Logic Programs, Journal of Logic Programming 6, 269--297, 1989…
Cited by 644 (13 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
…] Melvin Fitting. A Kripke-Kleene Semantics of logic Programs. Journal of Logic Programming, 4…
Cited by 71 (13 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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