648 search results - page 12 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
112
click to vote
KSEM
2010
Springer
14 years 11 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
104
click to vote
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
132
Voted
WLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
109
click to vote
AAAI
2008
15 years 3 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
125
Voted
IJCAI
2007
15 years 3 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...