MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On Well-Founded Models for Logic Programs." – sorted by Relevance.

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

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

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

ATOM

The Differential Fixpoint of General Logic Programs
by Ulrich Zukowski, Burkhard Freitag — 1996 — Proc. of the Workshop DDLP'96 on Deductive Databases and Logic Programming. 4th Workshop in conjunction with JICSLP'96
… evaluation techniques we can compute the well-founded model of logic programs with negation bottom-up without…
Cited by 2 (2 self) – Add To MetaCart

Modelling Agent Interaction in Logic Programming
by Lu'is Moniz Pereira, Paulo Quaresma, Centria Ai Centre — 1998 — Science University of Tokyo
… state is given by the well founded model of the logic program that models the agent after it has…
Cited by 14 (11 self) – Add To MetaCart

Two Simple Characterizations of Well-Founded Semantics
by Teodor C. Przymusinski — 1995 — Proceedings of the International Conference on Mathematical Foundations of Computer Science (MFCS'92
… of well-founded semantics which make it a preferred semantics for logic programs. 2 Stationary Models…
Cited by 1 (0 self) – Add To MetaCart

A well-founded semantics for hybrid MKNF knowledge bases
by Matthias Knorr, José Júlio Alferes, Pascal Hitzler — 2007 — In Proceedings ASP-2007
… mentioned in [10] was that MKNF models are not compatible with the well-founded model for logic programs…
Cited by 1 (0 self) – Add To MetaCart

Investigations on Cautious Autoepistemic Reasoning
by Tomi Janhunen — 1994
… of well-founded models logic programs. Every general logic program has a unique well-founded model. Here…
Cited by 1 (0 self) – Add To MetaCart

PGR: Portuguese Attorney General's Office Decisions on the Web
by Paulo Quaresma, Irene Pimenta Rodrigues — 2001
… with the description of the event that occurred. Then, the user agent calculates the new user model (well founded model…
Cited by 8 (7 self) – Add To MetaCart

Domain-Dependent Knowledge in Answer Set Planning
by Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila Mcilraith — 2002
…], a system developed for computing the well-founded model of logic programs, has been extended…
Cited by 9 (3 self) – Add To MetaCart

Extending Classical Logic with Inductive Definitions
by Marc Denecker — 2000
… of well-founded model in logic programming (Van Gelder, Ross, & Schlipf 1991) is the suitable mathematical…
Cited by 52 (35 self) – Add To MetaCart

Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning
by Michael J. Maher — 1991 — Proc. 1st. International Workshop on Logic Programming and Non-Monotonic Reasoning, A. Nerode, W. Marek & V.S. Subrahmanian (Eds
… the upper well-founded model on logic programs. It should be clear how it translates to set constraints…
Cited by 1 (1 self) – Add To MetaCart

Semantic Query Optimization through Abduction and Constraint Handling
by Gerhard Wetzel, Francesca Toni — 1998 — Proc. of the International Conference on Flexible Query Answering Systems
… the perfect, stable, and well-founded models of the logic program obtained by rewriting the iff definitions…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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