128 search results - page 5 / 26 » How Our Beliefs Contribute to Interpret Actions |
ICDM
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper focuses on mining human strategies by observing their actions. Our application domain is an HCI study aimed at discovering general strategies used by software users and...
CSL
1997
Springer
14 years 22 days ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
ISPW
2010
IEEE
14 years 1 months ago
2010
IEEE
Pressures for more complex products, customer dissatisfaction and problems related to cost and schedule overruns increase the need for effective management response and for improve...
TIME
1998
IEEE
14 years 24 days ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
SLOGICA
2008
13 years 8 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...