{"type":"ScholarlyArticle","title":"Endogenous Energy Reactive Modules Games: Modelling Side Payments among Resource-Bounded Agents","authors":[{"name":"Julian Gutierrez","slug":"julian-gutierrez","given":"Julian","family":"Gutierrez","affiliation":"Monash University"},{"name":"David Hyland","slug":"david-hyland","given":"David","family":"Hyland","affiliation":"University of Oxford"},{"name":"Muhammad Najib","slug":"muhammad-najib","given":"Muhammad","family":"Najib","affiliation":"Heriot-Watt University"},{"name":"Giuseppe Perelli","slug":"giuseppe-perelli","given":"Giuseppe","family":"Perelli","affiliation":"Sapienza University of Rome"},{"name":"Michael Wooldridge","slug":"michael-wooldridge","given":"Michael","family":"Wooldridge","affiliation":"University of Oxford"}],"abstract":"We introduce Energy Reactive Modules Games (ERMGs), an extension of Reactive Modules Games (RMGs) in which actions incur an energy cost (which may be positive or negative), and the choices that players make are restricted by the energy available to them. In ERMGs, each action is associated with an energy level update, which determines how their energy level is affected by the performance of the action. In addition, agents are provided with an initial energy allowance. This allowance plays a crucial role in shaping an agent’s behaviour, as it must be taken into consideration when one is determining their strategy: agents may only perform actions if they have the requisite energy. We begin by studying rational verification for ERMGs and then introduce Endogenous ERMGs, where agents can choose to transfer their energy to other agents. This exchange may enable equilibria that are impossible to achieve without such transfers. We study the decision problem of whether a stable outcome exists under both the Nash equilibrium and Core solution concepts.","doi":"10.24963/ijcai.2024/8","url":"https://ijcai.org/proceedings/2024/8","pdf":"https://ijcai.org/proceedings/2024/0008.pdf","markdown":"https://ijcai.org/proceedings/2024/8.md","bibtex":"https://ijcai.org/proceedings/2024/bibtex/8","volume":{"slug":"2024","title":"Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2024","url":"https://ijcai.org/proceedings/2024/","year":2024,"location":"Jeju, Korea","dates":"3-9 August 2024","editors":"Kate Larson","isbn":"978-1-956792-04-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2024"},"section":"Agent-based and Multi-agent Systems","track":"Main Track","number":8,"pages":{"first":67,"last":75},"keywords":["Agent-based and Multi-agent Systems: MAS: Formal verification, validation and synthesis"],"videos":[],"references":[{"position":1,"raw":"[Abate et al., 2021] Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, and Michael Wooldridge. Rational verification: game- theoretic verification of multi-agent systems. Applied In- telligence, 51(9):6569-6584, 2021.","title":"Rational verification: gametheoretic verification of multi-agent systems","authors":"Alessandro Abate, Julian Gutierrez, Lewis Hammond, Paul Harrenstein, Marta Kwiatkowska, Muhammad Najib, Giuseppe Perelli, Thomas Steeples, Michael Wooldridge","year":"2021","venue":"Applied Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alechina and Logan, 2020] Natasha Alechina and Brian Logan. State of the art in logics for verification of resource-bounded multi-agent systems. In Fields of Logic and Computation III -Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday, volume 12180 of Lecture Notes in Computer Science, pages 9-29. Springer, 2020.","title":"State of the art in logics for verification of resource-bounded multi-agent systems","authors":"Natasha Alechina, Brian Logan","year":"2020","venue":"Fields of Logic and Computation III -Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Alechina et al., 2010] Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib. Resource-bounded alternating-time temporal logic. In AAMAS'10, pages 481-488.","title":"Resource-bounded alternating-time temporal logic","authors":"Natasha Alechina, Brian Logan, Nguyen Hoang, Nga, Abdur Rakib","year":null,"venue":"AAMAS'10","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Alechina et al., 2017] Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Franco Raimondi. Model- checking for resource-bounded ATL with production and consumption of resources. J. Comput. Syst. Sci., 88:126- 144, 2017.","title":"Modelchecking for resource-bounded ATL with production and consumption of resources","authors":"Natasha Alechina, Brian Logan, Nga Hoang, Franco Nguyen, Raimondi","year":"2017","venue":"J. Comput. Syst. Sci","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Alechina et al., 2018] Natasha Alechina, Nils Bulling, Stéphane Demri, and Brian Logan. On the complexity of resource-bounded logics. Theoretical Computer Science, 750:69-100, 2018.","title":"On the complexity of resource-bounded logics","authors":"Natasha Alechina, Nils Bulling, Stéphane Demri, Brian Logan","year":"2018","venue":"Theoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Alechina et al., 2020] Natasha Alechina, Stéphane Demri, and Brian Logan. Parameterised resource-bounded atl. In AAAI'20, volume 34, pages 7040-7046, 2020.","title":"Parameterised resource-bounded atl","authors":"Natasha Alechina, Stéphane Demri, Brian Logan","year":"2020","venue":"AAAI'20","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Almagor et al., 2018] Shaull Almagor, Orna Kupferman, and Giuseppe Perelli. Synthesis of controllable nash equi- libria in quantitative objective game. In Jérôme Lang, edi- tor, IJCAI'18, pages 35-41. ijcai.org, 2018.","title":"Synthesis of controllable nash equilibria in quantitative objective game","authors":"Shaull Almagor, Orna Kupferman, Giuseppe Perelli","year":"2018","venue":"editor, IJCAI'18","doi":null,"url":null,"internal_url":"/proceedings/2018/5"},{"position":8,"raw":"[Amram et al., 2021] Gal Amram, Shahar Maoz, Or Pistiner, and Jan Oliver Ringert. Efficient algorithms for omega- regular energy games. In Marieke Huisman, Corina S. Pasareanu, and Naijun Zhan, editors, FM'21, volume 13047 of Lecture Notes in Computer Science, pages 163- 181. Springer, 2021.","title":"Efficient algorithms for omegaregular energy games","authors":"Amram","year":"2021","venue":"Lecture Notes in Computer Science","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Aumann, 1961] Robert J Aumann. The core of a cooper- ative game without side payments. Transactions of the American Mathematical Society, 98(3):539-552, 1961.","title":"The core of a cooperative game without side payments","authors":"Robert J Aumann","year":"1961","venue":"Transactions of the American Mathematical Society","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Baier and Katoen, 2008] Christel Baier and Joost-Pieter Katoen. Principles of model checking. MIT Press, 2008.","title":"Principles of model checking","authors":"Christel Baier, Joost-Pieter Katoen","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Bouyer et al., 2008] Patricia Bouyer, Uli Fahrenberg, Kim G Larsen, Nicolas Markey, and Jiří Srba. Infinite runs in weighted timed automata with energy constraints. In FORMATS'08, pages 33-47. Springer, 2008.","title":"Infinite runs in weighted timed automata with energy constraints","authors":"Patricia Bouyer, Uli Fahrenberg, Nicolas Kim G Larsen, Jiří Markey, Srba","year":"2008","venue":"FORMATS'08","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Brice et al., 2023] Léonard Brice, Jean-Franc ¸ois Raskin, and Marie van den Bogaard. Rational verification for nash and subgame-perfect equilibria in graph games. In MFCS'23. Schloss Dagstuhl-Leibniz-Zentrum für Infor- matik, 2023.","title":"Rational verification for nash and subgame-perfect equilibria in graph games","authors":"Léonard Brice, Jean-Franc ¸ois Raskin, Marie Van Den Bogaard","year":"2023","venue":"MFCS'23","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Bruyère et al., 2022] Véronique Bruyère, Jean-Franc ¸ois Raskin, and Clément Tamines. Pareto-rational verification. In CONCUR'22, 2022.","title":"Pareto-rational verification","authors":"Véronique Bruyère, Jean-Franc ¸ois Raskin, Clément Tamines","year":"2022","venue":"CONCUR'22","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Bulling and Farwer, 2010] Nils Bulling and Berndt Farwer. On the (un-)decidability of model checking resource- bounded agents. In ECAI'10, volume 215 of Frontiers in Artificial Intelligence and Applications, pages 567-572. IOS Press, 2010.","title":"On the (un-)decidability of model checking resourcebounded agents","authors":"Farwer Bulling, Nils Bulling, Berndt Farwer","year":"2010","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Chakrabarti et al., 2003] Arindam Chakrabarti, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. Resource interfaces. In International Workshop on Embedded Software, pages 117-133. Springer, 2003.","title":"Resource interfaces","authors":"Arindam Chakrabarti, Luca De Alfaro, Thomas A Henzinger, Mariëlle Stoelinga","year":"2003","venue":"International Workshop on Embedded Software","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Chatterjee and Doyen, 2012] Krishnendu Chatterjee and Laurent Doyen. Energy parity games. Theoretical Com- puter Science, 458:49-60, 2012.","title":"Energy parity games","authors":"Krishnendu Chatterjee, Laurent Doyen","year":"2012","venue":"Theoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Clercq et al., 2016] Sofie De Clercq, Steven Schockaert, Ann Nowé, and Martine De Cock. Formalizing Commitment-Based Deals in Boolean Games. In ECAI'16, volume 285 of Frontiers in Artificial Intelligence and Applications, pages 329-337. IOS Press, 2016.","title":"Formalizing Commitment-Based Deals in Boolean Games","authors":"Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock","year":"2016","venue":"Frontiers in Artificial Intelligence and Applications","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Della Monica and Murano, 2018] Dario Della Monica and Aniello Murano. Parity-energy atl for qualitative and quantitative reasoning in mas. In AAMAS'18, page 1441-1449, Richland, SC, 2018. International Foundation for Autonomous Agents and Multiagent Systems.","title":"Parity-energy atl for qualitative and quantitative reasoning in mas","authors":"Della Monica, Dario Murano, Monica Della, Aniello Murano","year":"2018","venue":"AAMAS'18","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Emerson, 1990] E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pages 996-1072. Elsevier, 1990.","title":"Temporal and modal logic","authors":"E A Emerson","year":"1990","venue":"Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Fisman et al., 2010] Dana Fisman, Orna Kupferman, and Yoad Lustig. Rational synthesis. In TACAS, volume 6015 of LNCS, pages 190-204. Springer, 2010.","title":"Rational synthesis","authors":"Dana Fisman, Orna Kupferman, Yoad Lustig","year":"2010","venue":"TACAS","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Goranko and Turrini, 2016] Valentin Goranko and Paolo Turrini. Two-player preplay negotiation games with condi- tional offers. IGTR, 18(1):1550017:1-1550017:31, 2016.","title":"Valentin Goranko and Paolo Turrini. Two-player preplay negotiation games with conditional offers","authors":"Turrini Goranko","year":"2016","venue":"IGTR","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Goranko, 2022] Valentin Goranko. Preplay negotiations with unconditional offers of side payments in two-player strategic-form games: Towards non-cooperative coopera- tion. Mathematics, 10(14):2518, 2022.","title":"Preplay negotiations with unconditional offers of side payments in two-player strategic-form games: Towards non-cooperative cooperation","authors":"Valentin Goranko","year":"2022","venue":"Mathematics","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Gutierrez et al., 2017] Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge. From model checking to equilib- rium checking: Reactive modules for rational verification. Artificial Intelligence, 248:123-157, 2017.","title":"From model checking to equilibrium checking: Reactive modules for rational verification","authors":"Julian Gutierrez, Paul Harrenstein, Michael Wooldridge","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Gutierrez et al., 2018] Julian Gutierrez, Giuseppe Perelli, and Michael Wooldridge. Imperfect information in re- active modules games. Information and Computation, 261:650-675, 2018.","title":"Imperfect information in reactive modules games","authors":"Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge","year":"2018","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Gutierrez et al., 2019] Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, and Michael J. Wooldridge. Equilibrium Design for Concurrent Games. In CONCUR'19, 2019.","title":"Equilibrium Design for Concurrent Games","authors":"Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael J Wooldridge","year":"2019","venue":"CONCUR'19","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Gutierrez et al., 2023a] Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, and Michael Wooldridge. Cooperative concurrent games. Artificial Intelligence, 314:103806, 2023.","title":"Cooperative concurrent games","authors":"Gutierrez","year":"2023","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Gutierrez et al., 2023b] Julian Gutierrez, Muhammad Na- jib, Giuseppe Perelli, and Michael Wooldridge. On the complexity of rational verification. Annals of Mathemat- ics and Artificial Intelligence, 91(4):409-430, 2023.","title":"On the complexity of rational verification","authors":"Gutierrez","year":"2023","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Harrenstein et al., 2015] Paul Harrenstein, Paolo Turrini, and Michael Wooldridge. Electric boolean games: redis- tribution schemes for resource-bounded agents. In AA- MAS'15, pages 655-663. ACM, 2015.","title":"Electric boolean games: redistribution schemes for resource-bounded agents","authors":"Paul Harrenstein, Paolo Turrini, Michael Wooldridge","year":"2015","venue":"AA-MAS'15","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Hélouët et al., 2022] Loïc Hélouët, Nicolas Markey, and Ri- tam Raha. Reachability games with relaxed energy con- straints. Inf. Comput., 285(Part):104806, 2022.","title":"Reachability games with relaxed energy constraints","authors":"Loïc Hélouët, Nicolas Markey, Ritam Raha","year":"2022","venue":"Inf. Comput","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Hyland et al., 2023] David Hyland, Julian Gutierrez, and Michael J. Wooldridge. Incentive engineering for concur- rent games. In Rineke Verbrugge, editor, TARK'23, vol- ume 379 of EPTCS, pages 344-358, 2023.","title":"Incentive engineering for concurrent games","authors":"David Hyland, Julian Gutierrez, Michael J Wooldridge","year":"2023","venue":"TARK'23","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Jackson and Wilkie, 2005] Matthew O Jackson and Simon Wilkie. Endogenous games and mechanisms: Side pay- ments among players. The Review of Economic Studies, 72(2):543-566, 2005.","title":"Endogenous games and mechanisms: Side payments among players","authors":"O Matthew, Simon Jackson, Wilkie","year":"2005","venue":"The Review of Economic Studies","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Kupferman and Halevy, 2022] Orna Kupferman and Naama Shamash Halevy. Energy games with resource- bounded environments. In CONCUR'22, volume 243 of LIPIcs, pages 19:1-19:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.","title":"Energy games with resourcebounded environments","authors":"Halevy Kupferman, Orna Kupferman, Naama Shamash, Halevy","year":"2022","venue":"CONCUR'22","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Kupferman et al., 2016] Orna Kupferman, Giuseppe Perelli, and Moshe Y. Vardi. Synthesis with rational environments. Ann. Math. Artif. Intell., 78(1):3-20, 2016.","title":"Synthesis with rational environments","authors":"Orna Kupferman, Giuseppe Perelli, Moshe Y Vardi","year":"2016","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Maschler et al., 2013] Michael Maschler, Eilon Solan, and Shmuel Zamir. Game Theory, chapter Utility theory, page 9-38. Cambridge University Press, 2013.","title":"Game Theory, chapter Utility theory","authors":"Michael Maschler, Eilon Solan, Shmuel Zamir","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":35,"raw":"[Maubert et al., 2019] Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, and Alessio Spasiano. To- wards a tool for LTL synthesis with bounded-energy con- straints. In ICTCS'19, volume 2504 of CEUR Workshop Proceedings, pages 229-234. CEUR-WS.org, 2019.","title":"Towards a tool for LTL synthesis with bounded-energy constraints","authors":"Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano","year":"2019","venue":"CEUR Workshop Proceedings","doi":null,"url":null,"internal_url":null},{"position":36,"raw":"[Najib, 2019] M Najib. Rational verification in multi-agent systems. PhD thesis, University of Oxford, 2019.","title":"Rational verification in multi-agent systems","authors":"Najib","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":37,"raw":"[Nguyen et al., 2018] Hoang Nga Nguyen, Natasha Alechina, Brian Logan, and Abdur Rakib. Alternating- time temporal logic with resource bounds. J. Log. Comput., 28(4):631-663, 2018.","title":"Alternatingtime temporal logic with resource bounds","authors":"Nga Hoang, Natasha Nguyen, Brian Alechina, Abdur Logan, Rakib","year":"2018","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":38,"raw":"[Oualhadj and Troquard, 2016] Y Oualhadj and Nicolas Tro- quard. Rational verification in iterated electric boolean games. In SR'16, volume 218, page 11. Open Publishing Association, 2016.","title":"Rational verification in iterated electric boolean games","authors":"Y Oualhadj, Nicolas Troquard","year":"2016","venue":"SR'","doi":null,"url":null,"internal_url":null},{"position":39,"raw":"[Piterman, 2007] Nir Piterman. From nondeterministic b 'uchi and streett automata to deterministic parity au- tomata. Logical Methods in Computer Science, 3, 2007.","title":"From nondeterministic b 'uchi and streett automata to deterministic parity automata","authors":"Nir Piterman","year":"2007","venue":"Logical Methods in Computer Science","doi":null,"url":null,"internal_url":null},{"position":40,"raw":"[Pnueli, 1977] A. Pnueli. The temporal logic of programs. In Proceedings of the Eighteenth IEEE Symposium on the Foundations of Computer Science (FOCS'77), pages 46- 57. The Society, 1977.","title":"The temporal logic of programs","authors":"A Pnueli","year":"1977","venue":"Proceedings of the Eighteenth IEEE Symposium on the Foundations of Computer Science (FOCS'77)","doi":null,"url":null,"internal_url":null},{"position":41,"raw":"[Renou, 2009] Ludovic Renou. Commitment games. Games and Economic Behavior, 66(1):488-505, 2009.","title":"Ludovic Renou. Commitment games","authors":"Renou","year":"2009","venue":"Games and Economic Behavior","doi":null,"url":null,"internal_url":null},{"position":42,"raw":"[Steeples et al., 2021] Thomas Steeples, Julian Gutierrez, and Michael Wooldridge. Mean-payoff games with ω- regular specifications. In AAMAS'21, pages 1272-1280, 2021.","title":"Mean-payoff games with ωregular specifications","authors":"Thomas Steeples, Julian Gutierrez, Michael Wooldridge","year":"2021","venue":"AAMAS'21","doi":null,"url":null,"internal_url":null},{"position":43,"raw":"[Turrini, 2016] Paolo Turrini. Endogenous games with goals: side-payments among goal-directed agents. AA- MAS'16, 30:765-792, 2016.","title":"Endogenous games with goals: side-payments among goal-directed agents","authors":"Paolo Turrini, Turrini","year":"2016","venue":"AA-MAS","doi":null,"url":null,"internal_url":null},{"position":44,"raw":"[van der Hoek et al., 2006] W. van der Hoek, A. Lomuscio, and M. Wooldridge. On the complexity of practical ATL model checking. In H. Nakashima, M. P. Wellman, G. Weiss, and P. Stone, editors, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (AAMAS'06 ), pages 201-208. ACM, 2006.","title":"On the complexity of practical ATL model checking","authors":"Hoek Van Der","year":"2006","venue":"Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (AAMAS'06 )","doi":null,"url":null,"internal_url":null},{"position":45,"raw":"[Velner et al., 2015] Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabi- novich, and Jean-Franc ¸ois Raskin. The complexity of multi-mean-payoff and multi-energy games. Information and Computation, 241:177-196, 2015.","title":"The complexity of multi-mean-payoff and multi-energy games","authors":"Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, Jean-Franc ¸ois Raskin","year":"2015","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":46,"raw":"[Wooldridge et al., 2016] Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, and Alexis Toumi. Rational Verification: From Model Checking to Equilibrium Checking. In Dale Schu- urmans and Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, pages 4184-4191. AAAI Press, 2016.","title":"Rational Verification: From Model Checking to Equilibrium Checking","authors":"J Michael, Julian Wooldridge, Paul Gutierrez, Enrico Harrenstein, Giuseppe Marchioni, Alexis Perelli, Toumi","year":"2016","venue":"Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}