2273 search results - page 158 / 455 » On the Expressiveness and Complexity of ATL |
67
Voted
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...
ADS
2004
Springer
15 years 3 months ago
2004
Springer
With COSIMAB2B we demonstrate a prototype of a complex and visionary e-procurement application. The embodied character agent named COSIMA is able to respect a customer's prefe...
116
click to vote
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
77
Voted
KI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...