MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Well-Founded Semantics, Generalized." – sorted by Relevance.

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

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

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

ATOM

Well-Founded Semantics, Generalized
by Melvin C. Fitting — 1991 — In Proceedings of International Symposium on Logic Programming
…Well-Founded Semantics, Generalized Melvin C. Fitting Department of Mathematics and Computer…
Cited by 12 (2 self) – Add To MetaCart

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 691 (12 self) – Add To MetaCart

Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
by José Júlio Alferes, Luís Moniz Pereira, Terrance Swift — 2004 — THEORY AND PRACTICE OF LOGIC PROGRAMMING
… of Logic Programming 1 Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual…
Cited by 15 (8 self) – Add To MetaCart

A Comparative Study of Well-founded Semantics for Disjunctive Logic Programs
by Kewen Wang — 2001 — Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001
…@(email omitted); Abstract. Much work has been done on extending the well-founded semantics to general disjunctive logic…
Cited by 4 (0 self) – Add To MetaCart

Logic Programming and Knowledge Representation - the A-Prolog perspective
by Michael Gelfond, Nicola Leone — 2002 — Artificial Intelligence
… set semantics. For understanding of approaches to logic programming build on well-founded semantics…
Cited by 37 (0 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 4 (2 self) – Add To MetaCart

Hybrid probabilistic logic programming with non-monotoic negation
by Emad Saad, Enrico Pontelli — 2005 — In Twenty First International Conference on Logic Programming
… probabilistic model semantics and probabilistic well-founded semantics generalize stable model semantics…
Cited by 2 (2 self) – Add To MetaCart

XSB: An Overview of its Use and Implementation
by Konstantinos Sagonas, Terrance Swift, David S. Warren — 1993 — SUNY Stony Brook
… that uses memoing and delay to compute the well-founded semantics for general programs. In doing so, XSB…
Cited by 2 (0 self) – Add To MetaCart

Well founded semantics for logic program updates
by F. Banti, J. J. Alferes, A. Brogi
… of the knowledge without the need to, in general, consult the whole knowledge base. The well founded semantics…
Cited by 2 (0 self) – Add To MetaCart

Alternating fixpoint theory for logic programs with priority
by Kewen Wang, Lizhu Zhou, Fangzhen Lin — 2000 — In CL
… the traditional well-founded semantics in general. This proposition also makes it possible to overcome…
Cited by 17 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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