2981 search results - page 41 / 597 » Answer Set Planning |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
WIA
2009
Springer
14 years 2 months ago
2009
Springer
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer