Sciweavers

5 search results - page 1 / 1
» Representing Concurrent Actions and Solving Conflicts
Sort
View
KI
1994
Springer
14 years 3 months ago
Representing Concurrent Actions and Solving Conflicts
Abstract. As an extension of the well
Sven-Erik Bornscheuer, Michael Thielscher
IJCAI
2001
14 years 16 days ago
Planning with Resources and Concurrency: A Forward Chaining Approach
Recently tremendous advances have been made in the performance of AI planning systems. However increased performance is only one of the prerequisites for bringing planning into th...
Fahiem Bacchus, Michael Ady
OPODIS
2004
14 years 16 days ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
ATAL
2010
Springer
14 years 8 days ago
Optimal temporal decoupling in multiagent systems
When agents need to interact in order to solve some (possibly common) problem, resolving potential conflicts beforehand is often preferred to coordination during execution. Agents...
Léon Planken, Mathijs de Weerdt, Cees Witte...
FORMATS
2008
Springer
14 years 21 days ago
Timed Parity Games: Complexity and Robustness
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...
Krishnendu Chatterjee, Thomas A. Henzinger, Vinaya...