MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Tabulated Resolution for the Well-Founded Semantics." – 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

Tabulated Resolution for Well Founded Semantics
by Roland Bol, Lars Degerstedt — 1993 — Journal of Logic Programming
…Tabulated Resolution for Well Founded Semantics Roland Bol Eindhoven University of Technology HG…
Cited by 48 (2 self) – Add To MetaCart

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
…, pages 335--348, 1990. [7] R. Bol and L. Degerstedt. Tabulated resolution for well founded semantics…
Cited by 190 (26 self) – Add To MetaCart

Constructive Negation Under The Well-Founded Semantics
by Julie Yuchih Liu, Leroy Adams — 1996
… semantics. It extends tabulated resolution for the well-founded semantics in [1] with constructive negation…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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