Sage Journals: Discover world-class research

Abstract

Multi-agent systems is an evolving discipline that encompasses many different branches of research. The long-standing Agents at Aberdeen ( $A^{3}$ ) group undertakes research across several areas of multi-agent systems, focusing in particular on aspects related to resilience, reliability, and coordination. In this article we introduce the group and highlight past research successes in those themes, building a picture of the strengths within the group. We close the paper outlining the future direction of the group and identify key open challenges and our vision towards solving them.

Keywords

Multi-agent systems MAS coordination resilient autonomy reliable autonomy

Get full access to this article

View all access options for this article.

References

Afanador,

M.S.

Baptista and

Oren, Algorithms for recursive delegation, AI Communications32(4) (2019), 303–317. doi:10.3233/AIC-190616.

Afanador,

Oren,

M.S.

Baptista and

Araujo, From eigentrust to a trust-measuring algorithm in the max-plus algebra, in: ECAI, Frontiers in Artificial Intelligence and Applications, Vol. 325, IOS Press, 2020, pp. 3–10.

J.P.

Aires,

Pinheiro,

V.S.d.

Lima and

Meneguzzi, Norm conflict identification in contracts, Artificial Intelligence and Law25(4) (2017), 397–428. doi:10.1007/s10506-017-9205-x.

Albore,

Alechina,

Bertoli,

Ghidini,

Logan and

Serafini, Model-checking memory requirements of resource-bounded reasoners, in: Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI 2006), AAAI Press, 2006, pp. 213–218. ISBN 978-1-57735-279-2.

Alechina,

Bertoli,

Ghidini,

Jago,

Logan and

Serafini, Verifying space and time requirements for resource-bounded agents, in: Proceedings of the Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt-2006),

Edelkamp and

Lomuscio, eds, 2006, pp. 16–30.

Alechina,

Brázdil,

De Giacomo,

Felli,

Logan and

M.Y.

Vardi, Unbounded orchestrations of transducers for manufacturing, in: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), AAAI Press, Honolulu, USA, 2019, AAAI.

Alechina,

Bulling,

Dastani and

Logan, Practical run-time norm enforcement with bounded lookahead, in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015),

Bordini,

Elkind,

Weiss and

Yolum, eds, IFAAMAS, Istanbul, Turkey, 2015, pp. 443–451, IFAAMAS.

Alechina,

Bulling,

Demri and

Logan, On the complexity of resource-bounded logics, Theoretical Computer Science750 (2018), 69–100. doi:10.1016/j.tcs.2018.01.019.

Alechina,

Bulling,

Logan and

H.N.

Nguyen, On the boundary of (un)decidability: Decidable model-checking for a fragment of resource agent logic, in: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015),

Yang, ed., AAAI Press, Buenos Aires, Argentina, 2015, pp. 1494–1501, IJCAI.

10.

Alechina,

Bulling,

Logan and

H.N.

Nguyen, The virtues of idleness: A decidable fragment of resource agent logic, Artificial Intelligence245 (2017), 56–85. doi:10.1016/j.artint.2016.12.005.

11.

Alechina,

Dastani and

Logan, Reasoning about normative update, in: Proceedings of the Twenty Third International Joint Conference on Artificial Intelligence (IJCAI),

Rossi, ed., AAAI Press, Beijing, China, 2013, pp. 20–26, IJCAI.

12.

Alechina,

Dastani and

Logan, Norm approximation for imperfect monitors, in: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014),

Lomuscio,

Scerri,

Bazzan and

Huhns, eds, IFAAMAS, Paris, France, 2014, pp. 117–124.

13.

Alechina,

Dastani and

Logan, Verifying existence of resource-bounded coalition uniform strategies, in: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016),

Kambhampati, ed., IJCAI/AAAI Press, 2016, pp. 24–30.

14.

Alechina,

Demri and

Logan, Parameterised resource-bounded ATL, in: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), AAAI Press, New York, USA, 2020, AAAI.

15.

Alechina,

Halpern,

Kash and

Logan, Incentivising monitoring in open normative systems, in: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017),

S.P.

Singh and

Markovitch, eds, AAAI Press, San Francisco, USA, 2017, pp. 305–311, AAAI, http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14911.

16.

Alechina,

Halpern,

Kash and

Logan, Incentive-compatible mechanisms for norm monitoring in open multi-agent systems, Journal of Artificial Intelligence Research62 (2018), 433–458. doi:10.1613/jair.1.11214.

17.

Alechina,

J.Y.

Halpern and

Logan, Causality, responsibility and blame in team plans, in: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017),

Das,

Durfee,

Larson and

Winikoff, eds, IFAAMAS, Sao Paulo, Brazil, 2017, pp. 1091–1099, IFAAMAS.

18.

Alechina,

Logan,

Mostarda,

H.N.

Nguyen and

Raimondi, Symbolic model-checking for resource-bounded ATL, in: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015),

Bordini,

Elkind,

Weiss and

Yolu, eds, IFAAMAS, Istanbul, Turkey, 2015, pp. 1809–1810, IFAAMAS.

19.

Alechina,

Logan,

H.N.

Nguyen and

Raimondi, Decidable model-checking for a resource logic with production of resources, in: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014),

Schaub,

Friedrich and

O’Sullivan, eds, IOS Press, Prague, Czech Republic, 2014, pp. 9–14, ECCAI.

20.

Alechina,

Logan,

H.N.

Nguyen and

Raimondi, Symbolic model-checking for one-resource RB+-ATL, in: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015),

Yang, ed., AAAI Press, Buenos Aires, Argentina, 2015, pp. 1069–1075, IJCAI.

21.

Alechina,

Logan,

H.N.

Nguyen and

Raimondi, Model-checking for resource-bounded ATL with production and consumption of resources, Journal of Computer and System Sciences88 (2017), 126–144. doi:10.1016/j.jcss.2017.03.008.

22.

Alechina,

Logan,

H.N.

Nguyen and

Rakib, Verifying time, memory and communication bounds in systems of reasoning agents, in: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008),

Padgham,

Parkes,

Müller and

Parsons, eds, Vol. 2, IFAAMAS, Estoril, Portugal, 2008, pp. 736–743, IFAAMAS. ISBN 978-0-981-7381-0-9.

23.

Alechina,

Logan,

H.N.

Nguyen and

Rakib, A logic for coalitions with bounded resources, in: Proceedings of the Twenty First International Joint Conference on Artificial Intelligence (IJCAI 2009),

Boutilier, ed., Vol. 2, AAAI Press, Pasadena CA, USA, 2009, pp. 659–664, IJCAI/AAAI.

24.

Alechina,

Logan,

H.N.

Nguyen and

Rakib, Resource-bounded alternating-time temporal logic, in: Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010),

van der Hoek,

Kaminka,

Lespérance,

Luck and

Sen, eds, IFAAMAS, Toronto, Canada, 2010, pp. 481–488, IFAAMAS.

25.

Amado,

J.P.

Aires,

R.F.

Pereira,

M.C.

Magnaguagno,

Granada,

G.P.

Licks,

Marcon and

Meneguzzi, LatRec+: Learning-based goal recognition in latent space (demo), in: The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI): Demo Track, 2020.

26.

Amado,

J.P.

Aires,

R.F.

Pereira,

M.C.

Magnaguagno,

Granada,

G.P.

Licks and

Meneguzzi, LatRec: Recognizing goals in latent space (demo), in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press, 2019.

27.

L.R.

Amado and

Meneguzzi, LatRec: Recognizing goals in latent space, in: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, 2020.

28.

L.R.

Amado,

Mirsky and

Meneguzzi, Goal recognition as reinforcement learning, in: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, 2022.

29.

L.R.

Amado,

R.F.

Pereira and

Meneguzzi, Combining LSTMs and symbolic approaches for robust plan recognition, in: Proceedings of the Twentieth International Conference on Autonomous Agents and Multiagent Systems, 2021.

30.

Amgoud and

Ben-Naim, Ranking-based semantics for argumentation frameworks, in: Scalable Uncertainty Management – 7th International Conference, SUM 2013. Proceedings, Washington, DC, USA, September 16–18, 2013, 2013, pp. 134–147.

31.

Bartocci and

Falcone (eds), Lectures on Runtime Verification – Introductory and Advanced Topics, Lecture Notes in Computer Science, Vol. 10457, Springer, 2018. ISBN 978-3-319-75631-8. doi:10.1007/978-3-319-75632-5.

32.

Boissier,

R.H.

Bordini,

Hubner and

Ricci, Multi-Agent Oriented Programming: Programming Multi-Agent Systems Using JaCaMo, Intelligent Robotics and Autonomous Agents Series, MIT Press, 2020, https://books.google.com.br/books?id=GM_tDwAAQBAJ . ISBN 9780262360661.

33.

Bonzon,

Delobelle,

Konieczny and

Maudet, A comparative study of ranking-based semantics for abstract argumentation, in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, Arizona, USA, February 12–17, 2016, 2016, pp. 914–920, http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12465 .

34.

R.H.

Bordini,

El Fallah Seghrouchni,

Hindriks,

Logan and

Ricci, Agent programming in the cognitive era, Autonomous Agents and Multi-Agent Systems34(37) (2020). doi:10.1007/s10458-020-09453-y.

35.

Borrajo and

Fernandez, Efficient approaches for multi-agent planning, Knowledge and Information Systems58 (2019), 425–479. doi:10.1007/s10115-018-1202-1.

36.

Brooks, A human in the loop: AI won’t surpass human intelligence anytime soon, IEEE Spectrum58(10) (2021), 48–49. doi:10.1109/MSPEC.2021.9563963.

37.

Burnett,

T.J.

Norman,

K.P.

Sycara and

Oren, Supporting trust assessment and decision making in coalitions, IEEE Intell. Syst.29(4) (2014), 18–24. doi:10.1109/MIS.2013.53.

38.

Burnett and

Oren, Sub-delegation and trust, in: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems – Volume 3, AAMAS ’12, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2012, pp. 1359–1360. ISBN 0981738133.

39.

M.W.A.

Caminada,

Kutlák,

Oren and

W.W.

Vasconcelos, Scrutable plan enactment via argumentation and natural language generation, in: International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS ’14, Paris, France, May 5–9, 2014,

A.L.C.

Bazzan,

M.N.

Huhns,

Lomuscio and

Scerri, eds, IFAAMAS/ACM, 2014, pp. 1625–1626, http://dl.acm.org/citation.cfm?id=2616095 .

40.

M.W.A.

Caminada,

Modgil and

Oren, Preferences and unrestricted rebut, in: Computational Models of Argument, 2014.

41.

R.C.

Cardoso and

R.H.

Bordini, Decentralised planning for multi-agent programming platforms, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS ’19, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2019, pp. 799–807. ISBN 9781450363099.

42.

R.C.

Cardoso,

Farrell,

Luckcuck,

Ferrando and

Fisher, Heterogeneous verification of an autonomous curiosity rover, in: Proc. 12th International NASA Formal Methods Symposium (NFM), LNCS, Vol. 12229, Springer, 2020, pp. 353–360. doi:10.1007/978-3-030-55754-6_20.

43.

R.C.

Cardoso and

Ferrando, A review of agent-based programming for multi-agent systems, Computers10(2) (2021), 16. doi:10.3390/computers10020016.

44.

R.C.

Cardoso,

Ferrando and

Papacchini, LFC: Combining autonomous agents and automated planning in the multi-agent programming contest, in: The Multi-Agent Programming Contest 2019, Springer International Publishing, Cham, 2020, pp. 31–58. ISBN 978-3-030-59299-8. doi:10.1007/978-3-030-59299-8_2.

45.

R.C.

Cardoso,

Ferrando and

Papacchini, Automated planning and BDI agents: A case study, in: Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection,

Dignum,

J.M.

Corchado and

De La Prieta, eds, Springer International Publishing, Cham, 2021, pp. 52–63. ISBN 978-3-030-85739-4. doi:10.1007/978-3-030-85739-4_5.

46.

R.C.

Cardoso,

Ferrando,

Papacchini,

Luckcuck,

Linker and

T.R.

Payne, MLFC: From 10 to 50 planners in the multi-agent programming contest, in: The Multi-Agent Programming Contest 2021,

Ahlbrecht,

Dix,

Fiekas and

Krausburg, eds, Springer International Publishing, Cham, 2021, pp. 82–107. ISBN 978-3-030-88549-6. doi:10.1007/978-3-030-88549-6_4.

47.

R.C.

Cardoso,

R.F.

Pereira,

Krzisch,

M.C.

Magnaguagno,

Baségio and

Meneguzzi, Team PUCRS: A decentralised multi-agent solution for the agents in the city scenario, International Journal of Agent-Oriented Software Engineering6(1) (2018), 3–34, https://www.inderscienceonline.com/doi/abs/10.1504/IJAOSE.2018.089595 . doi:10.1504/IJAOSE.2018.10010601.

48.

Cerutti,

Burnett and

Oren, Representative agents and the cold start problem in contract negotiation, in: International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, Springer, 2015, pp. 42–58.

49.

E.M.

Clarke,

Grumberg,

Kroening,

D.A.

Peled and

Veith, Model Checking, 2nd edn, MIT Press, 2018, https://mitpress.mit.edu/books/model-checking-second-edition . ISBN 978-0-262-03883-6.

50.

Cramer and

van der Torre, SCF2 – an argumentation semantics for rational human judgments on argument acceptability, in: Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) Co-Located with 44nd German Conference on Artificial Intelligence (KI 2019), Kassel, Germany, September 23, 2019,

Beierle,

Ragni,

Stolzenburg and

Thimm, eds, CEUR Workshop Proceedings, Vol. 2445, CEUR-WS.org, 2019, pp. 24–35, http://ceur-ws.org/Vol-2445/paper_3.pdf .

51.

Cranefield,

Meneguzzi,

Oren and

B.T.R.

Savarimuthu, A Bayesian approach to norm identification, in: ECAI, Frontiers in Artificial Intelligence and Applications, Vol. 285, IOS Press, 2016, pp. 622–629.

52.

Cranefield,

Oren and

W.W.

Vasconcelos, Accountability for practical reasoning agents, in: International Conference on Agreement Technologies, Springer, 2018, pp. 33–48.

53.

Croitoru,

Oren,

Miles and

Luck, Graphically explaining norms, in: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Volume 1–3, Toronto, Canada, May 10–14, 2010,

van der Hoek,

G.A.

Kaminka,

Lespérance,

Luck and

Sen, eds, IFAAMAS, 2010, pp. 1405–1406, https://dl.acm.org/citation.cfm?id=1838404 .

54.

Dann,

Thangarajah,

Yao and

Logan, Intention-aware multiagent scheduling, in: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020),

An,

Yorke-Smith,

El,

Seghrouchni and

Sukthankar, eds, IFAAMAS, Auckland, 2020, IFAAMAS.

55.

Dann,

Yao,

Logan and

Thangarajah, Multi-agent intention progression with black box agents, in: Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021),

Z.-H.

Zhou, ed., IJCAI, Montreal, Canada, 2021.

56.

L.R.

de A. Santos,

Meneguzzi,

R.F.

Pereira and

Pereira, An LP-based approach for goal recognition as planning, in: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, 2021.

57.

De Giacomo,

Patrizi and

Sardiña, Automatic behavior composition synthesis, Artificial Intelligence196 (2013), 106–142. doi:10.1016/j.artint.2012.12.001.

58.

De Giacomo,

Vardi,

Felli,

Alechina and

Logan, Synthesis of orchestrations of transducers for manufacturing, in: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), AAAI Press, New Orleans, USA, 2018, pp. 6161–6168, AAAI, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17250/16186.

59.

de Silva,

Felli,

J.C.

Chaplin,

Logan,

Sanderson and

Ratchev, Realisability of production recipes, in: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016),

G.A.

Kaminka,

Fox,

BouquetH. E., D. F., D. V. and

van Harmalen, eds, IOS Press, The Hague, The Netherlands, 2016, pp. 1449–1457, ECCAI. doi:10.3233/978-1-61499-672-9-1449.

60.

de Silva,

Felli,

J.C.

Chaplin,

Logan,

Sanderson and

Ratchev, Synthesising industry-standard manufacturing process controllers (demonstration), in: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017),

Das,

Durfee,

Larson and

Winikoff, eds, IFAAMAS, Sao Paulo, Brazil, 2017, pp. 1811–1813, IFAAMAS.

61.

de Silva,

Felli,

Sanderson,

J.C.

Chaplin,

Logan and

Ratchev, Synthesising process controllers from formal models of transformable assembly systems, Robotics and Computer Integrated Manufacturing58 (2019), 130–144. doi:10.1016/j.rcim.2019.01.014.

62.

de Silva and

Meneguzzi, On the design of symbolic-geometric online planning systems, in: 2015 Workshop on Hybrid Reasoning (HR 2015), pp. 1–8. http://www.meneguzzi.eu/felipe/pubs/hr-symbolic-geometric-2015.pdf .

63.

de Silva,

Meneguzzi and

Logan, BDI agent architectures: A survey, in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020, pp. 4914–4921.

64.

de Sousa Ribeiro and

Leite, Aligning artificial neural networks and ontologies towards explainable AI, in: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, the Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2–9, 2021, AAAI Press, 2021, pp. 4932–4940, https://ojs.aaai.org/index.php/AAAI/article/view/16626 .

65.

L.A.

Dennis and

Oren, Explaining BDI agent behaviour through dialogue, in: AAMAS ’21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3–7, 2021,

Dignum,

Lomuscio,

Endriss and

Nowé, eds, ACM, 2021, pp. 429–437, https://dl.acm.org/doi/10.5555/3463952.3464007 .

66.

Dix,

Logan and

Winikoff, Engineering reliable multiagent systems (Dagstuhl seminar 19112), Dagstuhl Reports9(3) (2019), 52–63, http://drops.dagstuhl.de/opus/volltexte/2019/11291. doi:10.4230/DagRep.9.3.52.

67.

Dix,

Logan and

Winikoff, Preface to the special issue on engineering reliable multi-agent systems, Auton. Agents Multi Agent Syst.35(2) (2021), 37. doi:10.1007/s10458-021-09520-y.

68.

P.M.

Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artif. Intell.77(2) (1995), 321–358. doi:10.1016/0004-3702(94)00041-X.

69.

P.E.

Dunne and

M.J.

Wooldridge, Complexity of abstract argumentation, in: Argumentation in Artificial Intelligence,

G.R.

Simari and

Rahwan, eds, Springer, 2009, pp. 85–104. doi:10.1007/978-0-387-98197-0_5.

70.

K.B.

Esper and

Meneguzzi, Automated design of fMRI paradigms, in: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press, 2021, pp. 445–449.

71.

Etuk,

T.J.

Norman,

Oren and

Sensoy, Strategies for truth discovery under resource constraints, in: AAMAS, ACM, 2015, pp. 1807–1808.

72.

Felli,

de Silva,

Logan and

Ratchev, Process plan controllers for non-deterministic manufacturing systems, in: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),

Sierra, ed., IJCAI, Melbourne, Australia, 2017, pp. 1023–1030. doi:10.24963/ijcai.2017/142.

73.

Felli,

de Silva,

Logan and

Ratchev, Composite capabilities for cloud manufacturing (demonstration), in: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018),

Dastani,

Sukthankar,

Andre and

Koenig, eds, IFAAMAS, Stockholm, Sweden, 2018, pp. 1809–1811, IFAAMAS.

74.

Felli,

Logan and

Sardina, Parallel behavior composition for manufacturing, in: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016),

Kambhampati, ed., IJCAI/AAAI Press, 2016, pp. 271–278.

75.

Ferrando and

Cardoso, RVPLAN: Runtime verification of assumptions in automated planning, in: Proceedings of the 14th International Conference on Agents and Artificial Intelligence – Volume 2: ICAART, SciTePress, 2022, pp. 67–77, INSTICC. ISBN 978-989-758-547-0. doi:10.5220/0010776500003116.

76.

Ferrando,

R.C.

Cardoso,

Fisher,

Ancona,

Franceschini and

Mascardi, ROSMonitoring: A runtime verification framework for ROS, in: Towards Autonomous Robotic Systems, Springer International Publishing, Cham, 2020, pp. 387–399. ISBN 978-3-030-63486-5. doi:10.1007/978-3-030-63486-5_40.

77.

Ferrando,

L.A.

Dennis,

R.C.

Cardoso,

Fisher,

Ancona and

Mascardi, Toward a holistic approach to verification and validation of autonomous cognitive systems, ACM Trans. Softw. Eng. Methodol.30(4) (2021). doi:10.1145/3447246.

78.

Fisher,

R.C.

Cardoso,

E.C.

Collins,

Dadswell,

L.A.

Dennis,

Dixon,

Farrell,

Ferrando,

Huang,

Jump,

Kourtis,

Lisitsa,

Luckcuck,

Luo,

Page,

Papacchini and

Webster, An overview of verification and validation challenges for inspection robots, Robotics10(2) (2021), https://www.mdpi.com/2218-6581/10/2/67. doi:10.3390/robotics10020067.

79.

Gavenski,

Monteiro,

Granada,

Meneguzzi and

Barros, Imitating unknown policies via exploration, in: Proceedings of the Thirty First British Machine Vision Conference, 2020.

80.

Geffner, The model-based approach to autonomous behavior: A personal view, in: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-2010), AAAI Press, 2010, pp. 1709–1712.

81.

Geffner and

Bonet, A Concise Introduction to Models and Methods for Automated Planning, 1st edn, Morgan & Claypool, 2013.

82.

C.W.

Geib, Problems with intent recognition for elder care, in: Proceedings of the AAAI-02 Workshop “Automation as Caregiver”, 2002, https://www.aaai.org/Papers/Workshops/2002/WS-02-02/WS02-02-003.pdf .

83.

Ghallab,

D.S.

Nau and

Traverso, Automated Planning and Acting, Cambridge University Press, 2016. ISBN 978-1-107-03727-4.

84.

Granada,

Monteiro,

Gavenski and

Meneguzzi, Object-based goal recognition using real-world data, in: Proceedings of the 19th Mexican International Conference on Artificial Intelligence (MICAI), 2020.

85.

Granada,

R.F.

Pereira,

Monteiro,

Amado,

Barros,

Ruiz and

Meneguzzi, HAPRec: Hybrid activity and plan recognizer, in: The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI): Demo Track, 2020.

86.

Granada,

R.F.

Pereira,

Monteiro,

Barros,

Ruiz and

Meneguzzi, Hybrid activity and plan recognition for video streams, in: The AAAI 2017 Workshop on Plan, Activity, and Intent Recognition, 2017.

87.

R.L.

Granada,

J.P.

Aires,

Monteiro,

F.R.

Meneguzzi and

R.C.

Barros, Improving action recognition using temporal regions, J. Inf. Data Manag.9(2) (2018), 108–123, https://sol.sbc.org.br/journals/index.php/jidm/article/view/2047 .

88.

K.M.P.

Gusmão,

R.F.

Pereira and

Meneguzzi, The more the merrier?! Evaluating the effect of landmark extraction algorithms on landmark-based goal recognition, in: The AAAI 2020 Workshop on Plan, Activity, and Intent Recognition (PAIR@AAAI), 2020.

89.

Hoffmann, Simulated penetration testing: From “Dijkstra” to “Turing test++”, in: Proceedings of the International Conference on Automated Planning and Scheduling, Vol. 25, 2015, pp. 364–372.

90.

Höller,

Bercher,

Behnke and

Biundo, A generic method to guide HTN progression search with classical heuristics, in: Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, the Netherlands, June 24–29, 2018,

de Weerdt,

Koenig,

Röger and

M.T.J.

Spaan, eds, AAAI Press, pp. 114–122. https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17764 .

91.

J.F.

Horty, Deontic logic as founded on nonmonotonic logic, Ann. Math. Artif. Intell.9(1–2) (1993), 69–91. doi:10.1007/BF01531262.

92.

Inam,

Raizer,

A.Y.

Hata,

R.S.

Souza,

Fersman,

Cao and

Wang, Risk assessment for human-robot collaboration in an automated warehouse scenario, 2018.

93.

S.D.

Kamvar,

M.T.

Schlosser and

Garcia-Molina, The eigentrust algorithm for reputation management in P2P networks, in: Proceedings of the 12th International Conference on World Wide Web, WWW ’03, Association for Computing Machinery, New York, NY, USA, 2003, pp. 640–651. ISBN 1581136803. doi:10.1145/775152.775242.

94.

Karanikolas,

Croitoru,

Bisquert,

Kaklamanis,

Thomopoulos and

Yun, Multi-criteria decision making with existential rules using repair techniques, in: Artificial Intelligence XXXV – 38th SGAI International Conference on Artificial Intelligence, AI 2018, Proceedings, Cambridge, UK, December 11–13, 2018, 2018, pp. 177–183.

95.

Keren,

Gal and

Karpas, Goal recognition design-survey, in: Proceedings of the Twenty-Ninth International Conference on International Joint Conferences on Artificial Intelligence, 2021, pp. 4847–4853.

96.

Komenda,

Stolba and

D.L.

Kovacs, The international competition of distributed and multiagent planners (CoDMAP), AI Magazine37(3) (2016), 109–115, https://ojs.aaai.org/index.php/aimagazine/article/view/2658 . doi:10.1609/aimag.v37i3.2658.

97.

Krausburg,

R.C.

Cardoso,

Damasio,

Peres,

G.P.

Farias,

D.C.

Engelmann,

J.F.

Hübner and

R.H.

Bordini, SMART – JaCaMo: An organisation-based team for the multi-agent programming contest, in: The Multi-Agent Programming Contest 2018,

Ahlbrecht,

Dix and

Fiekas, eds, Springer International Publishing, Cham, 2019, pp. 72–100. ISBN 978-3-030-37959-9. doi:10.1007/978-3-030-37959-9_4.

98.

Li,

Oren and

T.J.

Norman, Probabilistic argumentation frameworks, in: International Workshop on Theorie and Applications of Formal Argumentation, Springer, 2011, pp. 1–16.

99.

Liao,

Oren,

van der Torre and

Villata, Prioritized norms in formal argumentation, Journal of Logic and Computation29(2) (2019), 215–240. doi:10.1093/logcom/exy009.

100.

Logan, An agent programming manifesto, International Journal of Agent-Oriented Software Engineering6(2) (2018), 187–210. doi:10.1504/IJAOSE.2018.094374.

101.

Logan,

Thangarajah and

Yorke-Smith, Progressing intention progresson: A call for a goal-plan tree contest, in: Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017),

Das,

Durfee,

Larson and

Winikoff, eds, IFAAMAS, Sao Paulo, Brazil, 2017, pp. 768–772, IFAAMAS.

102.

Lomuscio,

Qu and

Raimondi, MCMAS: An open-source model checker for the verification of multi-agent systems, International Journal on Software Tools for Technology Transfer19(1) (2017), 9–30. doi:10.1007/s10009-015-0378-x.

103.

Luckcuck and

R.C.

Cardoso, Formal verification of a map merging protocol in the multi-agent programming contest, in: Engineering Multi-Agent Systems,

Alechina,

Baldoni and

Logan, eds, Springer International Publishing, Cham, 2022, pp. 198–217. ISBN 978-3-030-97457-2. doi:10.1007/978-3-030-97457-2_12.

104.

Luckcuck,

Farrell,

L.A.

Dennis,

Dixon and

Fisher, Formal specification and verification of autonomous robotic systems: A survey, ACM Computing Surveys52(5) (2019), 1–41. doi:10.1145/3342355.

105.

M.C.

Magnaguagno and

Meneguzzi, HTN planning with semantic attachments, in: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, 2020.

106.

M.C.

Magnaguagno,

F.R.

Meneguzzi and

de Silva, HyperTensioN: A three-stage compiler for planning, in: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS), 2020, França, 2020.

107.

M.C.

Magnaguagno,

R.F.

Pereira,

M.D.

Móre and

Meneguzzi, Web planner: A tool to develop, visualize, and test classical planning domains, in: Knowledge Engineering Tools and Techniques for AI Planning,

Vallati and

Kitchin, eds, Springer International Publishing, Cham, 2020, pp. 209–227. ISBN 978-3-030-38561-3. doi:10.1007/978-3-030-38561-3_11.

108.

M.C.

Magnaguagno,

R.F.

Pereira,

M.D.

Móre and

Meneguzzi, Develop, visualize and test classical planning descriptions in your browser (demo), in: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS), AAAI Press.

109.

Mahesar,

Oren and

W.W.

Vasconcelos, Preference elicitation in assumption-based argumentation, in: PRIMA, Lecture Notes in Computer Science, Vol. 12568, Springer, 2020, pp. 199–214.

110.

Maliah,

Shani and

Stern, Collaborative privacy preserving multi-agent planning, Autonomous Agents and Multi-Agent Systems31(3) (2017), 493–530. doi:10.1007/s10458-016-9333-9.

111.

Meneguzzi,

Fraga Pereira and

Oren, Sensor placement for plan monitoring using genetic programming, in: International Conference on Principles and Practice of Multi-Agent Systems, Springer, 2018, pp. 544–551.

112.

Meneguzzi and

Luck, Leveraging new plans in AgentSpeak(PL), in: Proceedings of the Sixth Workshop on Declarative Agent Languages,

Baldoni,

T.C.

Son,

M.B.

van Riemsdijk and

Winikoff, eds, 2008, pp. 63–78.

113.

Meneguzzi and

R.F.

Pereira, A survey on goal recognition as planning, in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, International Joint Conferences on Artificial Intelligence Organization, 2021.

114.

Meneguzzi,

Rodrigues,

Oren,

W.W.

Vasconcelos and

Luck, BDI reasoning with normative considerations, Eng. Appl. Artif. Intell.43 (2015), 127–146. doi:10.1016/j.engappai.2015.04.011.

115.

Meneguzzi,

Telang and

Yorke-Smith, Towards planning uncertain commitment protocols, in: Proceedings of the Thirteenth International Conference on Autonomous Agents and Multiagent Systems, pp. 1681–1682, http://www.meneguzzi.eu/felipe/pubs/aamas-commitments-probabilities-2015.pdf .

116.

Meneguzzi,

P.R.

Telang and

M.P.

Singh, A first-order formalization of commitments and goals, in: Proceedings of the 27th AAAI Conference on Artificial Intelligence, 2013.

117.

Mirsky,

Keren and

Geib, Introduction to Symbolic Plan and Goal Recognition, Vol. 16, 2021, pp. 1–190. doi:10.1007/978-3-031-01589-2.

118.

Modgil, Labellings and games for extended argumentation frameworks, in: Proc. IJCAI-09, 2009, pp. 873–878.

119.

Monteiro,

J.P.

Aires,

Granada,

R.C.

Barros and

Meneguzzi, Virtual guide dog: An application to support visually-impaired people through deep convolutional neural networks, in: 2017 International Joint Conference on Neural Networks, IJCNN 2017, Anchorage, AK, USA, May 14–19, 2017, IEEE, 2017, pp. 2267–2274. doi:10.1109/IJCNN.2017.7966130.

120.

Monteiro,

Granada,

R.C.

Barros and

Meneguzzi, Deep neural networks for kitchen activity recognition, in: 2017 International Joint Conference on Neural Networks (IJCNN), IEEE, 2017, pp. 2048–2055, http://ieeexplore.ieee.org/document/7966102/ . ISBN 978-1-5090-6182-2. doi:10.1109/IJCNN.2017.7966102.

121.

Naiseh,

Bentley,

Ramchurn,

Williams,

Awad and

Alix, Methods, tools and techniques for trustworthy autonomous systems (TAS) design and development, in: Companion of the 2022 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS ’22 Companion, Association for Computing Machinery, Sophia Antipolis, France, 2022, pp. 66–69. ISBN 9781450390316. doi:10.1145/3531706.3536459.

122.

Ogunniye,

Toniolo and

Oren, Meta-argumentation frameworks for multi-party dialogues, in: International Conference on Principles and Practice of Multi-Agent Systems, Springer, 2018, pp. 585–593.

123.

Oren and

Meneguzzi, Norm identification through plan recognition, in: 15th International Workshop on Coordination, Organizations, Institutions, and Norms, 2013, pp. 161–175, http://www.meneguzzi.eu/felipe/pubs/coin-norm-detect-2013.pdf .

124.

Oren,

Panagiotidi,

Vázquez-Salceda,

Modgil,

Luck and

Miles, Towards a formalisation of electronic contracting environments, in: International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, Springer, 2008, pp. 156–171.

125.

Oren,

van Deemter and

W.W.

Vasconcelos, Argument-based plan explanation, in: Knowledge Engineering Tools and Techniques for AI Planning, Springer, 2020, pp. 173–188. doi:10.1007/978-3-030-38561-3_9.

126.

Oren,

Vasconcelos,

Meneguzzi and

Luck, Acting on norm constrained plans, in: Computational Logic in Multi-Agent Systems, 11th International Workshop, LNCS, 2011, pp. 347–363, http://www.meneguzzi.eu/felipe/pubs/clima-identifying-2011.pdf.

127.

Oren,

Yun,

Vesic and

da Silva Baptista, Inverse problems for gradual semantics, in: Proccedings of the 2022 International Joint Conference on Artificial Intelligence, 2022.

128.

R.F.

Pereira,

A.S.

Heinsfeld,

A.R.

Franco,

Buchweitz and

Meneguzzi, Detecting task-based fMRI compliance using plan abandonment, techniques5 (2016), 21–22.

129.

R.F.

Pereira and

Meneguzzi, Landmark-based plan recognition, in: European Conference on Artificial Intelligence, 2016, pp. 1706–1707, http://ebooks.iospress.nl/publication/44992 . doi:10.3233/978-1-61499-672-9-1706.

130.

R.F.

Pereira,

Oren and

Meneguzzi, Landmark-based heuristics for goal recognition, in: Proceedings of the 32st AAAI Conference on Artificial Intelligence, 2017, https://ojs.aaai.org/index.php/AAAI/article/view/11021 .

131.

R.F.

Pereira,

Oren and

Meneguzzi, Landmark-based approaches for goal recognition as planning, Artificial Intelligence279 (2020), 103217, https://linkinghub.elsevier.com/retrieve/pii/S0004370219300013 . doi:10.1016/j.artint.2019.103217.

132.

R.F.

Pereira,

Oren and

Meneguzzi, Using sub-optimal plan detection to identify commitment abandonment in discrete environments, ACM Transactions on Intelligent Systems and Technology (TIST)11(2) (2020), 1–26. doi:10.1145/3372119.

133.

R.F.

Pereira,

A.G.

Pereira and

Meneguzzi, Landmark-enhanced heuristics for goal recognition in incomplete domain models, in: Proceedings of the 29th International Conference on Automated Planning and Scheduling, 2019.

134.

R.F.

Pereira,

Vered,

Meneguzzi and

Ramírez, Online probabilistic goal recognition over nominal models, in: International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2019, pp. 5547–5553, https://www.ijcai.org/proceedings/2019/770 . ISBN 978-0-9992411-4-1. doi:10.24963/ijcai.2019/770.

135.

Pinyol and

Sabater-Mir, Computational trust and reputation models for open multi-agent systems: A review, Artificial Intelligence Review40(1) (2013), 1–25. doi:10.1007/s10462-011-9277-z.

136.

Rahwan,

Madakkatel,

J.-F.

Bonnefon,

Awan and

Abdallah, Behavioral experiments for assessing the abstract argumentation semantics of reinstatement, Cognitive Science34 (2010), 1483–1502. doi:10.1111/j.1551-6709.2010.01123.x.

137.

Riveret and

Oren, On probabilistic argumentation and subargument-completeness, Journal of Logic and Computation32(1) (2022), 115–128. doi:10.1093/logcom/exab053.

138.

Shams,

De Vos,

Oren and

Padget, Normative practical reasoning via argumentation and dialogue, in: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016, pp. 1244–1250.

139.

Shams and

Oren, A two-phase dialogue game for skeptical preferred semantics, in: European Conference on Logics in Artificial Intelligence, Springer, 2016, pp. 570–576. doi:10.1007/978-3-319-48758-8_41.

140.

Shams,

M.D.

Vos,

Oren and

Padget, Argumentation-based reasoning about plans, maintenance goals, and norms, ACM Transactions on Autonomous and Adaptive Systems (TAAS)14(3) (2020), 1–39.

141.

Shoham and

Leyton-Brown, Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations, Cambridge University Press, Cambridge, UK, 2009. ISBN 978-0-521-89943-7.

142.

M.P.

Singh, Commitments among autonomous agents in information-rich environments, in: MAAMAW, Lecture Notes in Computer Science, Vol. 1237, Springer, 1997, pp. 141–155.

143.

Singh,

Miller,

Newn,

Velloso,

Vetere and

Sonenberg, Combining gaze and AI planning for online human intention, Recognition284 (2020), 103275. doi:10.1016/j.artint.2020.103275.

144.

Sukthankar,

R.P.

Goldman,

Geib,

D.V.

Pynadath and

H.H.

Bui, Plan, Activity, and Intent Recognition: Theory and Practice, Elsevier, 2014, http://store.elsevier.com/Plan-Activity-and-Intent-Recognition/isbn-9780123985323/ . ISBN 978-0123985323.

145.

P.R.

Telang,

Meneguzzi and

M.P.

Singh, Hierarchical planning about goals and commitments, in: Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems, 2013, https://dl.acm.org/doi/abs/10.5555/2484920.2485059 .

146.

Toniolo,

Norman,

Etuk,

Cerutti,

R.W.

Ouyang,

Srivastava,

Oren,

Dropps,

J.A.

Allen and

Sullivan, Supporting reasoning with different types of evidence in intelligence analysis, 2015.

147.

Torreño,

Onaindia,

Komenda and

Štolba, Cooperative multi-agent planning: A survey, ACM Comput. Surv.50(6) (2017). doi:10.1145/3128584.

148.

Trivedi, The business of artificial intelligence in radiology has little to do with radiologists, Journal of the American College of Radiology19(4) (2022), 564–566. doi:10.1016/j.jacr.2022.01.006.

149.

Vered,

R.F.

Pereira,

M.C.

Magnaguagno,

G.A.

Kaminka and

Meneguzzi, Towards online goal recognition combining goal mirroring and landmarks, in: International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018, https://dblp.org/rec/conf/atal/VeredPMKM18 .

150.

Vesic,

Yun and

Teovanovic, Graphical representation enhances human compliance with principles for graded argumentation semantics, 2021, in: International Conference on Autonomous Agents and Multi-Agent Systems 2022, AAMAS 2022; Conference Date: 09-05-2022 Through 13-05-2022. https://aamas2022-conference.auckland.ac.nz/ .

151.

D.N.

Walton and

E.C.W.

Krabbe, Commitment in Dialogue, State University of New York Press, 1995.

152.

Wayllace,

Ha,

Han,

Hu,

Monadjemi,

Yeoh and

Ottley, DRAGON-V: Detection and recognition of airplane goals with navigational visualization, in: AAAI, 2020.

153.

Wu,

Li,

Oren and

T.J.

Norman, Gödel fuzzy argumentation frameworks, in: Proceedings of COMMA 2016, 2016.

154.

Yao,

Alechina,

Logan and

Thangarajah, Intention progression under uncertainty, in: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020),

Bessiere, ed., IJCAI, Yokohama, Japan, 2020.

155.

Yao,

Alechina,

Logan and

Thangarajah, Intention progression using quantitative summary information, in: Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021),

Endriss,

Nowé,

Dignum and

Lomuscio, eds, IFAAMAS, London, 2021, pp. 1416–1424, IFAAMAS.

156.

Yao and

Logan, Action-level intention selection for BDI agents, in: Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2016),

Thangarajah,

Tuyls,

Jonker and

Marsella, eds, IFAAMAS, Singapore, 2016, pp. 1227–1235, IFAAMAS.

157.

Yao,

Logan and

Thangarajah, SP-MCTS-based intention scheduling for BDI agents, in: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014),

Schaub,

Friedrich and

O’Sullivan, eds, IOS Press, Prague, Czech Republic, 2014, pp. 1133–1134, ECCAI.

158.

Yao,

Logan and

Thangarajah, Robust execution of BDI agent programs by exploiting synergies between intentions, in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16),

Schuurmans and

M.P.

Wellman, eds, AAAI Press, Phoenix, USA, 2016, pp. 2558–2564, AAAI, http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12148.

159.

Yazdanpanah,

Dastani,

Jamroga,

Alechina and

Logan, Strategic responsibility under imperfect information, in: Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019),

Agmon,

M.E.

Taylor,

Elkind and

Veloso, eds, IFAAMAS, Montreal, Canada, 2019, pp. 592–600, IFAAMAS, http://dl.acm.org/citation.cfm?id=3306127. ISBN 978-1-4503-6309-9.

160.

Yun,

Bisquert,

Buche and

Croitoru, Arguing about end-of-life of packagings: Preferences to the rescue, in: Metadata and Semantics Research – 10th International Conference, MTSR 2016, Proceedings, Göttingen, Germany, November 22–25, 2016,

Garoufallou,

I.S.

Coll,

Stellato and

Greenberg, eds, Communications in Computer and Information Science, Vol. 672, 2016, pp. 119–131. doi:10.1007/978-3-319-49157-8_10.

161.

Yun,

Bisquert,

Buche,

Croitoru,

Guillard and

Thomopoulos, Choice of environment-friendly food packagings through argumentation systems and preferences, Ecol. Informatics48 (2018), 24–36. doi:10.1016/j.ecoinf.2018.07.006.

162.

Yun,

Croitoru and

Vesic, NAKED: N-ary graphs from knowledge bases expressed in datalog+/, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2019, Montreal, Canada, May 13–17, 2019, 2019.

163.

Yun,

Croitoru,

Vesic and

Bisquert, DAGGER: Datalog+/- argumentation graph GEneRator, in: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10–15, 2018, 2018, pp. 1841–1843, http://dl.acm.org/citation.cfm?id=3237996 .

164.

Yun,

Vesic and

Croitoru, Sets of attacking arguments for inconsistent datalog knowledge bases, in: Computational Models of Argument – Proceedings of COMMA 2020, Perugia, Italy, September 4–11, 2020,

Prakken,

Bistarelli,

Santini and

Taticchi, eds, Frontiers in Artificial Intelligence and Applications, Vol. 326, IOS Press, 2020, pp. 419–430. doi:10.3233/FAIA200526.

165.

Yun,

Vesic,

Croitoru and

Bisquert, Viewpoints using ranking-based argumentation semantics, in: Computational Models of Argument – Proceedings of COMMA 2018, Warsaw, Poland, 12–14 September 2018,

Modgil,

Budzynska and

Lawrence, eds, Frontiers in Artificial Intelligence and Applications, Vol. 305, IOS Press, 2018, pp. 381–392. doi:10.3233/978-1-61499-906-5-381.

166.

Yun,

Vesic,

Croitoru and

Bisquert, Inconsistency measures for repair semantics in OBDA, in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, Stockholm, Sweden, July 13–19, 2018, 2018, pp. 1977–1983. doi:10.24963/ijcai.2018/273.

167.

Yun,

Vesic,

Croitoru,

Bisquert and

Thomopoulos, A structural benchmark for logical argumentation frameworks, in: Advances in Intelligent Data Analysis XVI – 16th International Symposium, IDA 2017, Proceedings, London, UK, October 26–28, 2017, 2017, pp. 334–346.

168.

Yun,

Vesic and

Oren, Representing pure Nash equilibria in argumentation, Argument & Computation (2021), 1–14, Preprint.