Author of the publication

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.

. KI, volume 2479 of Lecture Notes in Computer Science, page 318. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multi-Agent Hierarchical Reinforcement Learning with Dynamic Termination., , , and . AAMAS, page 2006-2008. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.. KI, volume 2479 of Lecture Notes in Computer Science, page 318. Springer, (2002)Joint Conversation Specification and Compliance., and . DALT, volume 4897 of Lecture Notes in Computer Science, page 18-35. Springer, (2007)On the Meta-logic of Arguments., , and . ArgMAS, volume 4049 of Lecture Notes in Computer Science, page 42-56. Springer, (2005)Expresiveness and Complexity Results for Strategic Reasoning., , and . CONCUR, volume 42 of LIPIcs, page 268-282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)A Decision Procedure for a Temporal Belief Logic., and . ICTL, volume 827 of Lecture Notes in Computer Science, page 317-331. Springer, (1994)Agent-Oriented Software Engineering: The State of the Art., and . AOSE, volume 1957 of Lecture Notes in Computer Science, page 1-28. Springer, (2000)MAGENTA technology: multi-agent systems for industrial logistics., , and . AAMAS Industrial Applications, page 60-66. ACM, (2005)A logic-based representation for coalitional games with externalities., , , , , , and . AAMAS, page 125-132. IFAAMAS, (2010)Understanding the Emergence of Conventions in Multi-Agent Systems., and . ICMAS, page 384-389. The MIT Press, (1995)