1993 search results - page 110 / 399 » On Action Theory Change |
91
Voted
FLAIRS
2004
15 years 2 months ago
2004
A reversible outcome is one that can be changed. For example, the failure of an ongoing project may be avoided if certain actions are taken, while an outcome such as the path of a...
76
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
104
Voted
ICTAC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
85
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...