Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir  Home/Search
Context
Related
| tinf2.vub.ac.be/~dvermei...padl2005.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: tinf2.vub.ac.be/~dvermeir...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended answer sets of a simple program using an intuitive 9-valued lattice, called T9 . During the computation, this lattice is employed to keep track of the status of the literals and the rules while evolving to a solution. It turns out that the basic algorithm needs little modification in order to be able to compute... (Update)
Active bibliography (related documents): More All
0.7: Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
0.5: Hierarchical Decision Making by Autonomous Agents - Heymans, Van Nieuwenborgh.. (2004) (Correct)
0.5: Ordered Programs as Abductive Systems - Van Nieuwenborgh, Vermeir (2003) (Correct)
Similar documents based on text: More All
0.8: Weighted Answer Sets and Applications in Intelligence.. - Van Nieuwenborgh.. (2004) (Correct)
0.6: On Programs with Linearly Ordered Multiple Preferences - Van Nieuwenborgh, Heymans, .. (2004) (Correct)
0.6: Semantic Web Reasoning with Conceptual Logic Programs - Heymans, Van Nieuwenborgh.. (2004) (Correct)
BibTeX entry: (Update)
@misc{ nieuwenborgh-ordered,
author = "Davy Van Nieuwenborgh and Stijn Heymans and Dirk Vermeir",
title = "An Ordered Logic Program Solver",
url = "citeseer.ist.psu.edu/vannieuwenborgh05ordered.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
234 The well-founded semantics for general logic programs - van Gelder, Ross et al. - 1991
183 A useful four-valued logic (context) - Belnap - 1975
174 A Kripke-Kleene semantics for logic programs (context) - Fitting - 1985
162 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
125 Well-founded semantics coincides with three-valued stable se.. - Przymusinski - 1990
33 Developing a declarative rule language for applications in p.. - Soininen, Niemela - 1999
32 Pushing goal derivation in DLP computations - Faber, Leone et al. - 1999
31 Answer set programming and plan generation - Lifschitz - 2002
29 Specifying and querying database repairs using logic program.. - Arenas, Bertossi et al. - 2000
18 Logic programming with ordered disjunction - Brewka - 2002
16 Simply Logical - Intelligent Reasoning by Example (context) - Flach - 1994
15 Experimenting with heuristics for answer set programming - Faber, Leone et al.
14 The diagnosis frontend of the dlv system - Eiter, Faber et al. - 1999
13 Considerations on updates of logic programs (context) - Eiter, Fink et al. - 2000
8 Planning under incomplete knowledge - Eiter, Faber et al. - 2000
6 Preferred answer sets for ordered logic programs - Van Nieuwenborgh, Vermeir - 2004
5 The smodels system (context) - Syrjanen, Niemela - 2001
4 Choice Logic Programs and Nash Equilibria in Strategic Games - De Vos, Vermeir - 1999
3 Ordered programs as abductive systems - Van Nieuwenborgh, Vermeir - 2003
2 Cam- bridge Press (context) - Baral, Reasoning et al. - 2003
2 Ordered diagnosis - Van Nieuwenborgh, Vermeir - 2003
1 Preferred answer sets for ordered logic programs - Van Nieuwenborgh, Vermeir - 2002
1 planning system (context) - Eiter, Faber et al. - 2002
1 Order and negation as failure - Van Nieuwenborgh, Vermeir - 2003
Documents on the same site (http://tinf2.vub.ac.be/~dvermeir/papers/index.html): More
Robust Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Dialectic Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Choice logic programs and Nash equilibria in strategic games - De Vos, Vermeir (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC