567 search results - page 9 / 114 » Probabilistic Reasoning With Answer Sets |
LPNMR
2005
Springer
14 years 4 months ago
2005
Springer
KR
2004
Springer
14 years 4 months ago
2004
Springer
ASP
2003
Springer
14 years 4 months ago
2003
Springer
JAPLL
2007
13 years 10 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
ASP
2005
Springer
14 years 4 months ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...