1588 search results - page 138 / 318 » Modular action language |
128
click to vote
ICALP
1999
Springer
15 years 8 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
136
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
122
Voted
AAAI
1998
15 years 5 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
121
Voted
ACL
1993
15 years 5 months ago
1993
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
115
Voted
ECSQARU
2007
Springer
15 years 9 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...