1963 search results - page 19 / 393 » Applications of Preferences using Answer Set Programming |
141
click to vote
PADL
2005
Springer
15 years 8 months ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
135
click to vote
CORR
2010
Springer
15 years 1 months 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...
135
click to vote
JELIA
2010
Springer
15 years 27 days 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...
116
click to vote
DALT
2008
Springer
15 years 4 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...
109
click to vote
AAAI
2008
15 years 4 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...