213 search results - page 9 / 43 » Logic programs with annotated disjunctions |
200
click to vote
AICOM
2006
15 years 7 months ago
2006
In this work we present a backjumping technique for Disjunctive Logic Programming (DLP) under the Answer Set Semantics. It builds upon related techniques that had originally been p...
226
Voted
AGP
2003
IEEE
16 years 23 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
192
click to vote
LPNMR
2007
Springer
16 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
153
Voted
LPNMR
2004
Springer
16 years 25 days ago
2004
Springer
