468 search results - page 39 / 94 » Reasoning about action and cooperation |
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...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...
PLPV
2011
ACM
12 years 11 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
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...