Author of the publication

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

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 178-192. Springer, (1996)Proof Systems and Transformation Games., , , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 78-89. Springer, (2010)Reasoning about rational agents.. Intelligent robots and autonomous agents MIT Press, (2000)Sequential auctions for common value objects with budget constrained bidders., , and . Multiagent Grid Syst., 6 (5-6): 403-414 (2010)Verifying Multi-agent Programs by Model Checking., , , and . Auton. Agents Multi Agent Syst., 12 (2): 239-256 (2006)Partition decision trees: representation for efficient computation of the Shapley value extended to games with externalities., , , , and . Auton. Agents Multi Agent Syst., 34 (1): 11 (2020)Power and welfare in bargaining for coalition structure formation., , and . Auton. Agents Multi Agent Syst., 30 (5): 899-930 (2016)Who speaks for AI?, , , , , , , , , and 2 other author(s). AI Matters, 2 (2): 4-14 (2015)Cooperative Concurrent Games., , and . AAMAS, page 1198-1206. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Agent-Oriented Software Engineering., , , , and . ATAL, volume 1757 of Lecture Notes in Computer Science, page 248-249. Springer, (1999)