Author of the publication

Proof Systems and Transformation Games.

, , , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 78-89. Springer, (2010)

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

Courtz: An Agent that Pleases You (An Extended Abstract), , and . Proceedings of the First International Conference on Practical Applications of Intelligent Agents and Multi-Agents Technology (PAAM96), page 837--842. London, UK, (1996)Deriving Consensus in Multiagent Systems., and . Artif. Intell., 87 (1-2): 21-74 (1996)Learn Your Opponent's Strategy (in Polynomial Time)! (Extended Abstract), , and . 1042, Springer Verlag, (1996)Computation and Incentives in Social Choice (Dagstuhl Seminar 12101)., , , and . Dagstuhl Reports, 2 (3): 1-22 (2012)An Empirical Investigation of the Adversarial Activity Model., , and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 861-862. IOS Press, (2008)Negotiation in State-Oriented Domains with Incomplete Information over Goals., , and . ECAI, page 8-12. IOS Press, (2004)The Gift Exchange Game: Managing Opponent Actions., , and . AAMAS, page 1913-1915. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Negotiation with Incomplete Information About Worth: Strict Versus Tolerant Mechanisms., and . MAAMAW, volume 830 of Lecture Notes in Computer Science, page 115-132. Springer, (1992)Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains., and . IJCAI, page 912-917. Morgan Kaufmann, (1989)A Domain Theory for Task Oriented Negotiation., and . IJCAI, page 416-422. Morgan Kaufmann, (1993)