354 search results - page 48 / 71 » Modal and Temporal Logics for Processes |
ROBOCUP
1999
Springer
13 years 12 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
ICLP
2003
Springer
14 years 28 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
ICMI
2004
Springer
14 years 1 months ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
RIDE
1999
IEEE
14 years 14 hour ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...