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

Expresiveness and Complexity Results for Strategic Reasoning., , and . CONCUR, volume 42 of LIPIcs, page 268-282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Manipulating Games by Sharing Information., , , and . Stud Logica, 102 (2): 267-295 (2014)How Inappropriately Heavyweight AI Solutions Dragged Down A Startup (and Made Me Realize that Industrial Salaries Are High for a Good Reason).. AI Magazine, 29 (2): 49-50 (2008)Solving coalitional resource games., , , and . Artif. Intell., 174 (1): 20-50 (2010)On the complexity of rational verification., , , and . Ann. Math. Artif. Intell., 91 (4): 409-430 (August 2023)Cooperative Concurrent Games., , , , and . CoRR, (2023)Logic-Based Agent Verification., , , and . J. Appl. Log., 5 (2): 193-195 (2007)Replication Robust Payoff Allocation in Submodular Cooperative Games., , , , and . IEEE Trans. Artif. Intell., 4 (5): 1114-1128 (October 2023)On the Logic of Normative Systems., , , , and . Normative Multi-agent Systems, volume 07122 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)The logical modelling of computational multi-agent systems.. University of Manchester, UK, (1992)British Library, EThOS.