Sciweavers

5 search results - page 1 / 1
» Representing Concurrent Actions and Solving Conflicts
Sort
View
86
Voted
KI
1994
Springer
15 years 3 months ago
Representing Concurrent Actions and Solving Conflicts
Abstract. As an extension of the well
Sven-Erik Bornscheuer, Michael Thielscher
103
Voted
IJCAI
2001
15 years 8 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
15 years 8 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...
94
Voted
ATAL
2010
Springer
15 years 1 hour 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...
93
Voted
FORMATS
2008
Springer
15 years 13 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...