5243 search results - page 232 / 1049 » Reasoning About Strategies |
200
click to vote
JAIR
2011
15 years 1 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
130
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an approach to decomposing branching volume data into sub-branches. First, a metric is proposed for evaluating local convexities in volumetric data, and it is a criteri...
152
click to vote
ICLP
2007
Springer
16 years 24 days 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...
175
click to vote
CSL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Focusing is traditionally seen as a means of reducing inessential nondeterminism in backward-reasoning strategies such as uniform proof-search or tableaux systems. In thi...
147
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...