1993 search results - page 25 / 399 » On Action Theory Change |
IPL
2008
14 years 11 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
113
click to vote
DIAGRAMS
2006
Springer
15 years 3 months ago
2006
Springer
In a study of crew interaction with the automatic flight control system of the Boeing 757/767 aircraft, we observed 60 flights and recorded every change in the aircraft control mo...
AAI
2000
14 years 11 months ago
2000
Vivid agents [48] are software-controlled systems whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behaviour is represented ...
100
click to vote
CLIMA
2011
13 years 11 months ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
132
click to vote
CMOT
2011
14 years 3 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...