MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Well-Founded Semantics for General Logic Programs." – sorted by Relevance.

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

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

16 documents found, showing 1 through 10. Next 10 →

ATOM

The Well-Founded Semantics for General Logic Programs
by Kenneth A. Ross — 1991 — Journal of the ACM
… The Well-Founded Semantics for General Logic Programs\Lambda Allen Van Gelder Univ. of Calif…
Cited by 686 (12 self) – Add To MetaCart

SLT-Resolution for the Well-Founded Semantics
by Yi-Dong Shen, Li-yan Yuan, Jia-huai You — 2002 — Journal of Automated Reasoning
…-down evaluation of the well-founded semantics of general logic programs. Global SLS-resolution is linear for query…
Cited by 3 (2 self) – Add To MetaCart

Well founded semantics for logic program updates
by F. Banti, J. J. Alferes, A. Brogi
… heads. Denoting by W F G(P ) the well founded semantics of the generalized logic program P according…
Cited by 2 (0 self) – Add To MetaCart

Bottom-Up Computation of the Fitting Model for General Deductive Databases
by Rajiv Bagai, Rajshekhar Sunderraman — 1996 — Journal of Intelligent Information Systems
…) present a goal-oriented method for computing the well-founded semantics of general logic programs. It has…
Cited by 2 (1 self) – Add To MetaCart

Tabled Evaluation with Delaying for General Logic Programs
by Weidong Chen, David S. Warren — 1996
…, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of ACM, 38(3), July…
Cited by 187 (25 self) – Add To MetaCart

Extended Well-Founded Semantics for Paraconsistent Logic Programs
by Chiaki Sakama — 1992 — In Fifth Generation Computer Systems
… of general logic programs. Then we show how the extended well-founded semantics isolates an inconsistent…
Cited by 14 (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
…, Kenneth Ross, and J.S. Schlipf. Unfounded Sets and well-founded Semantics for general logic Programs…
Cited by 71 (13 self) – Add To MetaCart

A Model Theory for Nonmonotonic Multiple Value and
by Guizhen Yang — Code Inheritance in Object-Oriented Knowledge Bases. PhD thesis, SUNY at Stony Brook
… into a certain general logic program, and proves the isomorphism between the well-founded model…
Cited by 2 (2 self) – Add To MetaCart

A Monotonicity Theorem for Extended Logic Programs
by Hudson Turner — 1993 — Proc. of 10th International Conference on Logic Programming
… semantics for general logic programs [4] and the well-founded semantics for general logic programs [11…
Cited by 9 (0 self) – Add To MetaCart

Co-Ranking Authors and Documents in a Heterogeneous Network
by Ding Zhou, Sergey A. Orshanskiy, Hongyuan Zha, C. Lee Giles — 2007 — INTERNATIONAL CONFERENCE ON DATA MINING
… difficulties from that. cs-id title authors year cite 116523 The Well-Founded Semantics for General Logic…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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