2981 search results - page 41 / 597 » Answer Set Planning |
CORR
2011
Springer
14 years 1 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
14 years 10 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
15 years 4 months ago
2009
Springer
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer