744 search results - page 20 / 149 » Observations on the Decidability of Transitions |
119
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
124
Voted
BSN
2011
IEEE
14 years 1 months ago
2011
IEEE
—A progressive improvement in gait following knee arthroplasty surgery can be observed during walking and transitional activities such as sitting/standing. Accurate assessment of...
132
click to vote
JAIR
2011
14 years 8 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...
JOCN
2010
15 years 9 days ago
2010
■ The capacity to reason about complex information is a central characteristic of human cognition. An important component of many reasoning tasks is the need to integrate multip...
143
Voted
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...