546 search results - page 13 / 110 » An Action Semantics for MML |
100
click to vote
TCS
2008
15 years 1 months ago
2008
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
MFCS
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
AAAI
2008
15 years 4 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
133
click to vote
FROCOS
2009
Springer
15 years 6 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
113
click to vote
MLMI
2005
Springer
15 years 7 months ago
2005
Springer
We address the problem of segmentation and recognition of sequences of multimodal human interactions in meetings. These interactions can be seen as a rough structure of a meeting, ...