662 search results - page 1 / 133 » Logic Programming with Ordered Disjunction |
CORR
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
FUIN
2006
13 years 4 months ago
2006
We prove that negative hyper-resolution using any liftable and well-founded ordering refinement is a sound and complete procedure for answering queries in disjunctive logic program...
ICLP
2003
Springer
13 years 9 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
AAAI
2006
13 years 6 months ago
2006
Several forms of reasoning in AI
ASP
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...