From post

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.

 

Другие публикации лиц с тем же именем

A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief., , и . FAPR, том 1085 из Lecture Notes in Computer Science, стр. 178-192. Springer, (1996)Proof Systems and Transformation Games., , , и . MFCS, том 6281 из Lecture Notes in Computer Science, стр. 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., , и . Multiagent Grid Syst., 6 (5-6): 403-414 (2010)Verifying Multi-agent Programs by Model Checking., , , и . 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., , , , и . Auton. Agents Multi Agent Syst., 34 (1): 11 (2020)Power and welfare in bargaining for coalition structure formation., , и . Auton. Agents Multi Agent Syst., 30 (5): 899-930 (2016)Who speaks for AI?, , , , , , , , , и 2 other автор(ы). AI Matters, 2 (2): 4-14 (2015)Cooperative Concurrent Games., , и . AAMAS, стр. 1198-1206. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Agent-Oriented Software Engineering., , , , и . ATAL, том 1757 из Lecture Notes in Computer Science, стр. 248-249. Springer, (1999)