Davy Van Nieuwenborgh, Dirk Vermeir  Home/Search
Context Related
| tinf2.vub.ac.be/~dvermeir/...tplp06.pdf Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: tinf2.vub.ac.be/~dvermeir...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a "best" answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a preference for satisfying certain rules, possibly at the cost of violating less important ones. We show that such a rule order induces a natural order on extended answer sets, the minimal elements of which we call preferred answer sets. We characterize the... (Update)
Cited by: More
An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
Active bibliography (related documents): More All
0.7: Order and Negation as Failure - Van Nieuwenborgh, Vermeir (2003) (Correct)
0.6: Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2002) (Correct)
0.5: Hierarchical Decision Making by Autonomous Agents - Heymans, Van Nieuwenborgh.. (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
D. Van Nieuwenborgh and D. Vermeir. Preferred answer sets for ordered logic programs. In Logic in Artificial Intelligence, volume 2424 of LNAI, pages 432--443. Springer Verlag, 2002. http://citeseer.ist.psu.edu/article/vannieuwenborgh04preferred.html More
@misc{ nieuwenborgh02preferred,
author = "D. Van Nieuwenborgh and D. Vermeir",
title = "Preferred answer sets for ordered logic programs",
text = "D. Van Nieuwenborgh and D. Vermeir. Preferred answer sets for ordered logic
programs. In Logic in Artificial Intelligence, volume 2424 of LNAI, pages
432--443. Springer Verlag, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/vannieuwenborgh04preferred.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - GELFOND, LIFSCHITZ - 1988
850 A logic for default reasoning (context) - REITER - 1980
759 Negation as failure (context) - CLARK - 1978
374 Classical negation in logic programs and disjunctive databas.. - GELFOND, LIFSCHITZ - 1991
212 Abductive logic programming - KAKAS, KOWALSKI et al. - 1992
162 The semantics of predicate logic as a programming language (context) - VAN EMDEN, KOWALSKI - 1976
120 Stable semantics for disjunctive programs - PRZYMUSINSKI - 1991
81 Logic programs with exceptions (context) - KOWALSKI, SADRI - 1990
78 Preferred answer sets for extended logic programs - BREWKA, EITER - 1999
63 Consistent query answers in inconsistent databases - ARENAS, BERTOSSI et al. - 1999
61 Disjunctive stable models: Unfounded sets (context) - LEONE, RULLO et al. - 1997
41 An alternative approach to the semantics of disjunctive logi.. (context) - SAKAMA, INOUE - 1994
38 Abduction from logic programs: Semantics and complexity - EITER, GOTTLOB et al. - 1997
38 Unfounded sets and well-founded semantics for general logic .. (context) - VAN GELDER, ROSS et al. - 1988
33 Disjunctive logic programs with inheritance - BUCCAFURRI, FABER et al. - 1999
33 Representing priorities in logic programs - SAKAMA, INOUE - 1996
31 Answer set programming and plan generation - LIFSCHITZ - 2002
29 Specifying and querying database repairs using logic program.. - ARENAS, BERTOSSI et al. - 2000
27 On positive occurrences of negation as failure - INOUE, SAKAMA - 1994
27 Negation as failure in the head - INOUE, SAKAMA - 1998
24 Logic programs with compiled preferences - DELGRANDE, SCHAUB et al. - 2000
23 Updates plus preferences - ALFERES, PEREIRA - 2000
21 Complexity results for disjunctive logic programming and app.. - EITER, GOTTLOB - 1983
19 Query answering in information systems with integrity constr.. - BRY - 1997
18 Logic programming with ordered disjunction - BREWKA - 2002
17 A fixpoint characterization of abductive logic programs - INOUE, SAKAMA - 1996
15 Alternating fixpoint theory for logic programs with priority (context) - WANG, ZHOU et al. - 2000
14 A comparative study of logic programs with preference - SCHAUB, WANG - 2001
13 Considerations on updates of logic programs (context) - EITER, FINK et al. - 2000
12 Implementing ordered disjunction using answer set solvers fo.. - BREWKA, NIEMELA et al. - 2002
11 Assumption-free semantics for ordered logic programs: On the.. (context) - LAENENS, VERMEIR - 1992
7 Logic programs with consistency-restoring rules - BALDUCCINI, GELFOND - 2003
7 Qualitative choice logic - BREWKA, BENFERHAT et al. - 2002
7 Reducing disjunctive to non-disjunctive semantics by shift-o.. - DIX, GOTTLOB et al. - 1996
5 Disjunctive ordered logic: Semantics and expressiveness (context) - BUCCAFURRI, LEONE et al. - 1998
4 A logical basis for object oriented programming (context) - LAENENS, VERMEIR - 1990
3 Semantic forcing in disjunctive logic programs - DE VOS, VERMEIR - 2001
2 Ordered diagnosis - VAN NIEUWENBORGH, VERMEIR - 2003
1 Logic in Artificial Intelligence (context) - OJEDA-ACIEGO, DE GUZM et al. - 1919
1 Credulous vs (context) - GABBAY, LAENENS et al. - 1991
1 Usa-smart: Improving the quality of plans in answer set plan.. (context) - BALDUCCINI - 2004
1 Ordered programs as abductive systems - VAN NIEUWENBORGH, VERMEIR - 2003
1 Cr-prolog2: Cr-prolog with ordered disjunction (context) - BALDUCCINI, MELLARKOD - 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