648 search results - page 10 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
122
click to vote
CORR
2010
Springer
15 years 3 days ago
2010
Springer
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...
115
click to vote
ASP
2001
Springer
15 years 6 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
131
click to vote
JELIA
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
110
Voted
DALT
2008
Springer
15 years 3 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
101
click to vote
AAAI
2008
15 years 3 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...