1963 search results - page 22 / 393 » Applications of Preferences using Answer Set Programming |
137
click to vote
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
153
click to vote
ASP
2005
Springer
15 years 8 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
159
click to vote
AI
2004
Springer
15 years 2 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
119
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
155
click to vote
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...