Logic Programs with Ordered Disjunction
- 20 April 2004
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 20 (2), 335-357
- https://doi.org/10.1111/j.0824-7935.2004.00241.x
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Diagnostic reasoning with A-PrologTheory and Practice of Logic Programming, 2003
- A framework for compiling preferences in logic programsTheory and Practice of Logic Programming, 2003
- Answer set programming and plan generationArtificial Intelligence, 2002
- Enhancing Disjunctive Datalog by constraintsIEEE Transactions on Knowledge and Data Engineering, 2000
- Preferred answer sets for extended logic programsArtificial Intelligence, 1999
- Reasoning with prioritized defaultsPublished by Springer Science and Business Media LLC ,1998
- Semiring-based constraint satisfaction and optimizationJournal of the ACM, 1997
- Stable models and their computation for logic programming with inheritance and true negationThe Journal of Logic Programming, 1996
- Partial constraint satisfactionArtificial Intelligence, 1992
- A Fixpoint Semantics for Ordered LogicJournal of Logic and Computation, 1990