1993 search results - page 10 / 399 » On Action Theory Change |
107
click to vote
MC
2008
15 years 1 months ago
2008
Tool use often challenges the human motor system, especially when these tools require sensorimotor transformations. We report an experiment using a digitizer tablet, in which diff...
101
click to vote
KR
1998
Springer
15 years 3 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this work we address the problem of elaborating domain descriptions (alias action theories), in particular those that are expressed in dynamic logic. We define a gener...
AI
2007
Springer
14 years 12 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
113
click to vote
CI
2004
14 years 11 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...