1746 search results - page 271 / 350 » Architecture for Agent Programming Languages |
150
click to vote
HIPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
116
click to vote
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
212
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
94
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
The Disjunctive Temporal Problem with Uncertainty (DTPU) is an extension of the Disjunctive Temporal Problem (DTP) that accounts for events not under the control of the executing a...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...