7868 search results - page 13 / 1574 » Learning by Answer Sets |
ICLP
2007
Springer
15 years 8 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...
119
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
127
Voted
CORR
2010
Springer
15 years 12 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...
140
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
128
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...