350 search results - page 32 / 70 » Reasoning About Indefinite Actions |
CRV
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
AAAI
2007
13 years 11 months ago
2007
Reciprocity is a key determinant of human behavior and has been well documented in the psychological and behavioral economics literature. This paper shows that reciprocity has sig...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
This work is about the metatheory of actions, and here we address the problem of what a good domain description for reasoning about actions should look like. We state some postulat...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
PODC
1994
ACM
14 years 22 days ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...