Davy Van Nieuwenborgh, Dirk Vermeir  Home/Search
Context Related
| tinf2.vub.ac.be/~dverme...agp2003.ps.gz 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: In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, are handled by satisfying more preferred rules, at the expense of defeating lesser rules. We show that this formalism can be exploited to obtain a simple implementation of abductive systems, where abducibles are assumed false by default, but weaker rules can be used to introduce them, if necessary. Moreover, the... (Update)
Cited by: More
Preferred Answer Sets for Ordered Logic Programs - Van Nieuwenborgh, Vermeir (2004) (Correct)
Active bibliography (related documents): More All
1.2: Hierarchical Decision Making by Autonomous Agents - Heymans, Van Nieuwenborgh.. (2004) (Correct)
0.7: Order and Negation as Failure - Van Nieuwenborgh, Vermeir (2003) (Correct)
0.5: An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
Similar documents based on text: More All
0.4: Ordered Diagnosis - Van Nieuwenborgh, Vermeir (2003) (Correct)
0.4: Semantic Web Reasoning with Conceptual Logic Programs - Heymans, Van Nieuwenborgh.. (2004) (Correct)
0.3: Weighted Answer Sets and Applications in Intelligence.. - Van Nieuwenborgh.. (2004) (Correct)
BibTeX entry: (Update)
VAN NIEUWENBORGH, D. AND VERMEIR, D. 2003b. Ordered programs as abductive systems. In Proceedings of the APPIA-GULP-PRODE Conference on Declarative Programming (AGP2003). Regio di Calabria, Italy, 374--385. http://citeseer.ist.psu.edu/article/vannieuwenborgh03ordered.html More
@misc{ nieuwenborgh-ordered,
author = "D. VAN NIEUWENBORGH and D. VERMEIR",
title = "Ordered programs as abductive systems",
text = "VAN NIEUWENBORGH, D. AND VERMEIR, D. 2003b. Ordered programs as abductive
systems. In Proceedings of the APPIA-GULP-PRODE Conference on Declarative
Programming (AGP2003). Regio di Calabria, Italy, 374--385.",
url = "citeseer.ist.psu.edu/article/vannieuwenborgh03ordered.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
212 Abductive logic programming - Kakas, Kowalski et al. - 1992
117 Abduction compared with negation by failure (context) - Eshghi, Kowalski - 1989
90 Explanation and prediction: An architecture for default and .. - Poole - 1989
84 The complexity of logic-based abduction - Eiter, Gottlob - 1995
78 Preferred answer sets for extended logic programs - Brewka, Eiter - 1999
39 General diagnosis by abductive inference (context) - Cox, Pietrzykowski - 1987
38 Abduction from logic programs: Semantics and complexity - Eiter, Gottlob et al. - 1997
33 Representing priorities in logic programs - Sakama, Inoue - 1996
31 Answer set programming and plan generation - Lifschitz - 2002
21 Stable models and their computation for logic programming wi.. (context) - Buccafurri, Leone et al. - 1996
21 Transforming abductive logic programs to disjunctive program.. - Inoue, Sakama - 1993
17 the equivalence between disjunctive and abductive logic prog.. - Sakama, Inoue - 1994
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
12 Epistemic approach to formalization of commonsense reasoning (context) - Gelfond - 1991
11 A fixpoint semantics of ordered logic (context) - Laenens, Vermeir - 1990
11 Assumption-free semantics for ordered logic programs: On the.. (context) - Laenens, Vermeir - 1992
7 Semantics and complexity for abduction from default logic - Eiter, Gottlob et al. - 1997
6 Preferred answer sets for ordered logic programs - Van Nieuwenborgh, Vermeir - 2002
6 Disjunctive logic programs with inheritance (context) - Buccafurri, Faber et al. - 1999
4 Abductive logic programming and disjunctive logic programmin.. - Sakama, Inoue - 2000
3 Ordered programs as abductive systems - Van Nieuwenborgh, Vermeir - 2003
2 Order and negation as failure (context) - Van Nieuwenborgh, Vermeir
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