Sciweavers

468 search results - page 83 / 94
» Reasoning about action and cooperation
Sort
View
LORI
2009
Springer
14 years 2 months ago
Dynamic Epistemic Temporal Logic
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
Bryan Renne, Joshua Sack, Audrey Yap
ATAL
2003
Springer
14 years 27 days ago
Coordination in multiagent reinforcement learning: a Bayesian approach
Much emphasis in multiagent reinforcement learning (MARL) research is placed on ensuring that MARL algorithms (eventually) converge to desirable equilibria. As in standard reinfor...
Georgios Chalkiadakis, Craig Boutilier
GLOBAL
2003
Springer
14 years 27 days ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
JELIA
1998
Springer
13 years 12 months ago
Towards State Update Axioms: Reifying Successor State Axioms
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
Michael Thielscher
IUI
1997
ACM
13 years 12 months ago
Automating a Classification Task Based on an Augmented Thesaurus
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
Eunok Paek, Hye-Jeong Jeon