Deepak Bhaskar Acharya, Karthigeyan Kuppan, and B Divya. Agentic AI: Autonomous intelligence for complex goals–a comprehensive survey. IEEE Access, 2025.
Carlos E Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. The journal of symbolic logic, 50(2):510–530, 1985.
Carlos E Alchourrón and David Makinson. On the logic of theory change: Contraction functions and their associated revision functions. Theoria, 48(1):14–37, 1982.
Leila Amgoud and Jonathan Ben-Naim. Ranking-based semantics for argumentation frameworks. In International Conference on Scalable Uncertainty Management, pages 134–147. Springer, 2013.
Charles Antaki and Ivan Leudar. Explaining in conversation: Towards an argument model. European Journal of Social Psychology, 22(2):181–194, 1992.
Ofer Arieli, Kees van Berkel, Badran Raddaoui, and Christian Straßer. Deontic reasoning based on inconsistency measures. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, volume 21, pages 71–81, 2024.
Ryuta Arisaka, Ken Satoh, and Leendert van der Torre. Anything you say may be used against you in a court of law: Abstract agent argumentation (Triple-A). In International Workshop on AI Approaches to the Complexity of Legal Systems, pages 427–442. Springer, 2015.
Kenneth J. Arrow. Social Choice and Individual Values, volume 12 of Cowles Foundation Monographs. Yale University Press, New Haven, CT, 1951.
Pietro Baroni, Eduardo Fermé, Massimiliano Giacomin, and Guillermo Ricardo Simari. Belief revision and computational argumentation: A critical comparison. J. Log. Lang. Inf., 31(4):555–589, 2022.
Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors. Handbook of Formal Argumentation, volume 1. College Publications, 2018.
Pietro Baroni and Massimiliano Giacomin. On principle-based evaluation of extension-based argumentation semantics. Artificial Intel ligence, 171(10-15):675–700, 2007.
Pietro Baroni, Antonio Rago, and Francesca Toni. How many properties do we need for gradual argumentation? In Proceedings of the AAAI Conference on Artificial Intel ligence, volume 32, 2018.
Ringo Baumann. What does it take to enforce an argument? minimal change in abstract argumentation. In Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, and Peter J. F. Lucas, editors, ECAI 2012-20th European Conference on Artificial Intel ligence. Including Prestigious Applications of Artificial Intel ligence (PAIS-2012) System Demonstrations Track, Montpel lier, France, August 27-31, 2012, volume 242 of Frontiers in Artificial Intel ligence and Applications, pages 127–132. IOS Press, 2012.
Ringo Baumann and Gerhard Brewka. Expanding argumentation frameworks: Enforcing and monotonicity results. In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and Guillermo Ricardo Simari, editors, Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8-10, 2010, volume 216 of Frontiers in Artificial Intel ligence and Applications, pages 75–86. IOS Press, 2010.
Ringo Baumann and Gerhard Brewka. AGM meets abstract argumentation: Expansion and revision for dung frameworks. In Qiang Yang and Michael J. Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intel ligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2734–2740. AAAI Press, 2015.
Matti Berthold, Anna Rapberger, and Markus Ulbricht. Forgetting aspects in assumption-based argumentation. In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 86–96, 2023.
Philippe Besnard and Anthony Hunter. A review of argumentation based on deductive arguments. Handbook of Formal Argumentation, 1(437-484):111, 2018.
Vivien Beuselinck, Jérôme Delobelle, and Srdjan Vesic. A principle-based account of self-attacking arguments in gradual semantics. Journal of Logic and Computation, 33(2):230–256, 2023.
Elizabeth Black, Nicolas Maudet, and Simon Parsons. Argumentation-based dialogue. Handbook of Formal Argumentation, Volume 2, 2021.
Richard Booth, Souhila Kaci, Tjitze Rienstra, and Leendert van Der Torre. A logical theory about dynamics in abstract argumentation. In Scalable Uncertainty Management: 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings 7, pages 148–161. Springer, 2013.
Richard Booth, Souhila Kaci, Tjitze Rienstra, and Leendert W. N. van der Torre. A logical theory about dynamics in abstract argumentation. In Weiru Liu, V. S. Subrah-manian, and Jef Wijsen, editors, Scalable Uncertainty Management-7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings, volume 8078 of Lecture Notes in Computer Science, pages 148–161. Springer, 2013.
Martin Caminada. Argumentation semantics as formal discussion. Handbook of Formal Argumentation, 1, 2017.
Martin Caminada. Rationality postulates: Applying argumentation theory for nonmonotonic reasoning. Handbook of Formal Argumentation, Volume 1, pages 771–796, 2018.
Martin Caminada and Leila Amgoud. An axiomatic account of formal argumentation. In AAAI, volume 6, pages 608–613, 2005.
Martin Caminada and Jonathan Ben-Naim. Postulates for paraconsistent reasoning and fault tolerant logic programming. PhD thesis, Department of Information and Computing Sciences, Utrecht University, 2007.
Claudette Cayrol, Florence Dupin de Saint-Cyr, and Marie-Christine Lagasquie-Schiex. Change in abstract argumentation frameworks: Adding an argument. CoRR, abs/1401.3838, 2014.
Claudette Cayrol and Marie-Christine Lagasquie-Schiex. Bipolar abstract argumentation systems. In Argumentation in Artificial Intel ligence, pages 65–84. Springer, 2009.
Jinsheng Chen, Beishui Liao, and Leendert van der Torre. Bisimulation between base argumentation and premise-conclusion argumentation. Artificial Intel ligence, 336:104203, 2024.
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, and Pierre Marquis. On the revision of argumentation systems: Minimal change of arguments statuses. In Chitta Baral, Giuseppe De Giacomo, and Thomas Eiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press, 2014.
Kristijonas Cyras, Antonio Rago, Emanuele Albini, Pietro Baroni, and Francesca Toni. Argumentative XAI: A survey. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intel ligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 4392–4399. ijcai.org, 2021.
Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial intel ligence, 89(1-2):1–29, 1997.
Mehdi Dastani, Joris Hulstijn, and Leendert Van der Torre. How to decide what to do? European Journal of Operational Research, 160(3):762–784, 2005.
Sylvie Doutre, Andreas Herzig, and Laurent Perrussel. Abstract argumentation in dynamic logic: Representation, reasoning and change. In Beishui Liao, Thomas Ågotnes, and Yì N. Wáng, editors, Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018, pages 153–185. Springer, 2018.
Sylvie Doutre and Jean-Guy Mailly. Constraints and changes: A survey of abstract argumentation dynamics. Argument Comput., 9(3):223–248, 2018.
Phan Minh Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial intel ligence, 77(2):321–357, 1995.
Phan Minh Dung. An axiomatic analysis of structured argumentation with priorities. Artif. Intel l., 231:107–150, 2016.
Phan Minh Dung, Robert A Kowalski, and Francesca Toni. Assumption-based argumentation. In Argumentation in artificial intel ligence, pages 199–218. Springer, 2009.
Phan Minh Dung and Phan Minh Thang. Fundamental properties of attack relations in structured argumentation with priorities. Artificial Intel ligence, 255:1–42, 2018.
Artur S d’Avila Garcez, Luis C Lamb, and Dov M Gabbay. Neural-symbolic cognitive reasoning. Springer, 2009.
Marcelo Alejandro Falappa, Gabriele Kern-Isberner, and Guillermo Ricardo Simari. Belief revision and argumentation theory. In Guillermo Ricardo Simari and Iyad Rahwan, editors, Argumentation in Artificial Intel ligence, pages 341–360. Springer, 2009.
Eduardo Fermé and Sven Ove Hansson. Belief change: introduction and overview. Springer, 2018.
Andrew Fuchs, Andrea Passarella, and Marco Conti. A cognitive framework for delegation between error-prone ai and human agents. In 2022 IEEE International Conference on Smart Computing (SMARTCOMP), pages 317–322. IEEE, 2022.
Dov M. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems, pages 439–457. Springer-Verlag, New York, 1985.
Dov M. Gabbay. Fibred semantics and the weaving of logics. part 1: Modal and intuitionistic logics. The Journal of Symbolic Logic, 61(4):1057–1120, 1996.
Dov M Gabbay. Label led deductive systems. Oxford university press, 1996.
Dov M Gabbay. An overview of fibred semantics and the combination of logics. In Frontiers of Combining Systems: First International Workshop, Munich, March 1996, pages 1–55. Springer, 1996.
Dov M Gabbay. Fibring logics, volume 38. Clarendon Press, 1998.
Dov M Gabbay. Fibring argumentation frames. Studia Logica, 93(2):231, 2009.
Dov M Gabbay and Sérgio Marcelino. Modal logics of reactive frames. Studia Logica, 93(2):405, 2009.
Dov M Gabbay and Lydia Rivlin. Heal2100: human effective argumentation and logic for the 21st century. the next step in the evolution of logic. IFCoLog Journal of Logics and Their Applications, 2017.
Sven Ove Hansson. A textbook of belief dynamics-theory change and database updating, volume 11 of Applied logic series. Kluwer, 1999.
Sven Ove Hansson and Renata Wassermann. Local change. Studia Logica, 70:49–76, 2002.
Adrian Haret, Johannes Peter Wallner, and Stefan Woltran. Two sides of the same coin: Belief revision and enforcing arguments. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intel ligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 1854–1860. ijcai.org, 2018.
Philips George John, Deepak Vijaykeerthy, and Diptikalyan Saha. Verifying individual fairness in machine learning models. In Conference on Uncertainty in Artificial Intel ligence, pages 749–758. PMLR, 2020.
Hirofumi Katsuno and Alberto O Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intel ligence, 52(3):263–294, 1991.
Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial intel ligence, 44(1-2):167–207, 1990.
Fabio Paglieri and Cristiano Castelfranchi. Revising beliefs through arguments: Bridging the gap between argumentation and belief revision in MAS. In Iyad Rahwan, Pav-los Moraitis, and Chris Reed, editors, Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, volume 3366 of Lecture Notes in Computer Science, pages 78–94. Springer, 2004.
Pere Pardo, Liuwen Yu, Chen Chen, and Leendert van der Torre. Weakest link, prioritized default logic and principles in argumentation. Journal of Logic and Computation, 35(4):exaf007, 2025.
Henry Prakken. An abstract framework for argumentation with structured arguments. Argument & Computation, 1(2):93–124, 2010.
Henry Prakken. Relating abstract and structured accounts of argumentation dynamics: the case of expansions. In Pierre Marquis, Tran Cao Son, and Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 562–571, 2023.
Anna Rapberger and Markus Ulbricht. On dynamics in structured argumentation formalisms. J. Artif. Intel l. Res., 77:563–643, 2023.
Marco Tulio Ribeiro, Sameer Singh, and Carlos Guestrin. "Why should I trust you?" explaining the predictions of any classifier. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining, pages 1135–1144, 2016.
Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, and Beishui Liao. A principle-based robustness analysis of admissibility-based argumentation semantics. Argument Comput., 11(3):305–339, 2020.
Leendert van der Torre and Srdjan Vesic. The principle-based approach to abstract argumentation semantics. In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, and Leendert van der Torre, editors, Handbook of Formal Argumentation, Volume 1, pages 797–838. College Publications, 2018.
Alexandros Vassiliades, Nick Bassiliades, and Theodore Patkos. Argumentation and explainable artificial intelligence: a survey. Knowl. Eng. Rev., 36:e5, 2021.
Douglas Walton and Erik CW Krabbe. Commitment in dialogue: Basic concepts of interpersonal reasoning. State University of New York Press, 1995.
Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, and Leendert van der Torre. A principle-based analysis of bipolar argumentation semantics. In European Conference on Logics in Artificial Intel ligence, pages 209–224. Springer, 2023.
Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, and Leendert van der Torre. A Principle-based Analysis of Abstract Agent Argumentation Semantics. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, pages 629–639, 11 2021.
Liuwen Yu and Leendert van der Torre. The A-BDI metamodel for human-level AI: Argumentation as balancing, dialogue and inference. In International Conference on Logic and Argumentation (CLAR 2025), Cham, 2025. Springer Nature Switzerland. To appear.
Liuwen Yu, Leendert Van der Torre, and Réka Markovich. Thirteen challenges in formal and computational argumentation. Handbook of Formal Argumentation, 3:931–1012, 2024.
