MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Procedural Semantics for Well Founded Negation in 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

A Procedural Semantics for Well Founded Negation in Logic Programs
by Kenneth Ross — 1989 — Journal of Logic programming
…A Procedural Semantics for Well Founded Negation in Logic Programs Kenneth A. Ross Stanford…
Cited by 49 (2 self) – Add To MetaCart

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
…. Ross. A procedural semantics for well founded negation in logic programs. In ACM SIGACT…
Cited by 187 (25 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
… and completeness of partial deductions for well-founded semantics. In A. Voronkov, editor, Logic Programming…
Cited by 71 (13 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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