1002 search results - page 7 / 201 » Constraint Answer Set Solving |
162
Voted
AWIC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Answer validation is an important component of any question answering system. In this paper we show how the formalism of prioritized fuzzy constraint satisfaction allows ...
140
Voted
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
155
Voted
CONSTRAINTS
2008
15 years 5 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
160
click to vote
RWEB
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attentio...
247
Voted
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...