Publications

2025

• [preprint] C. Proietti and A. Yuste-Ginel. Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises. arXiv preprint arXiv:2510.18631. http://arxiv.org/abs/2510.18631 

• [preprint] A Burrieza, F Soler-Toscano, and A Yuste-Ginel. A meta-modal logic for bisimulations. arXiv preprint arXiv:2507.15117. https://arxiv.org/pdf/2507.15117 

• [book chapter] A Yuste-Ginel. Towards a formal model of the dual structure of practical reasoning. In G. Aucher, J. Lang, T. de Lima, and E. Lorini (eds.). Festschrift for Andreas Herzig on the Occasion of his 65th Birthday. Essays in Honor of Andi. College Publications.

• [conference paper] S. Doutre, M.-C. Lagasquie-Schiex, J.-G. Mailly, and A. Yuste-Ginel. Incomplete High-Order Argumentation Frameworks. In: Ågotnes, T., Doder, D. (eds) CLAR 2025: the 6th International Conference on Logic and Argumentation. Lecture Notes in Computer Science, volume 15712, DOI: 10.1007/978-981-96-7956-0_3 

  1. • [extended abstract, in French] Doutre, S., Lagasquie-Schiex, M. C., Mailly, J. G., & Yuste-Ginel, A. Attaques d’Ordre Supérieur et Incomplétude en Argumentation Abstraite. In PFIA 2025.

• [journal paper] C.I. Chesñevar, J. Dix, B. Liao, J. Luo, C. Proietti and A. Yuste-Ginel. Formal argumentation and modal logic. Journal of Applied Logics, 12 (3), 825-862.

  1. • [also published as a handbook chapter in] D. Gabbay, G. Kern-Isberner, G. R. Simari and M. Thimm, Handbook of formal argumentation, Volume 3, College Publications.

2024

• [textbook, in Spanish] A. Burrieza and A. Yuste-Ginel. Sobre cuadrados y rombos: una introducción asequible a la lógica modal. UMA editorial. DOI: 10.24310/mumaedmumaed.185 [pdf].

• [conference paper] M. C. Lagasquie-Schiex,  J. G. Mailly, and A. Yuste-Ginel. How to Manage Supports in Incomplete Argumentation. In: Meier, A., Ortiz, M. (eds) Foundations of Information and Knowledge Systems. FoIKS 2024. Lecture Notes in Computer Science, vol 14589. Springer. DOI: 10.1007/978-3-031-56940-1_18 [pdf].

  1. • [extended abstract, in French] M. C. Lagasquie-Schiex,  J. G. Mailly, and A. Yuste-Ginel. Gestion des supports dans les systèmes d'argumentation incomplets. JIAF-JFPDA 2024: 102-103

• [journal paper, in Spanish] A. Yuste-Ginel. Sobre la definición de los modelos estructurados incompletos de argumentación. Revista Iberoamericana de Argumentación, n.º Monográfico 4:169-85. DOI: 10.15366/ria2024.m4.014.

• [edited book]. C. Aguilera-Ventura, Emilio Muñoz-Velasco, M. Ojeda-Aciego, and A. Yuste-Ginel (editors). Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza. College Publications. 

  1. • [book chapter] C. Aguilera-Ventura and A. Yuste-Ginel. An educational epistemic model checker for Philosophy students.

2023

• [short conference paper] A. Yuste-Ginel and C. Proietti. On the instantiation of argument-incomplete argumentation frameworks. In G. Alfano, and S. Ferilli, editors, 7th Workshop on Advances in Argumentation in Artificial Intelligence. CEUR [pdf, corrected version].

• [technical report] M. C. Lagasquie-Schiex,  J. G. Mailly, and A. Yuste-Ginel, A. Incomplete Bipolar Argumentation Frameworks. Technical Report IRIT/RR--2023--01--FR [pdf].

• [conference paper] C. Proietti, F.R. Velázquez-Quesada, and A. Yuste-Ginel. An abstract look at awareness models and their dynamics. In Rineke Verbrugge, editor, Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), volume 379 of EPTCS, pp. 455–469. DOI: 10.4204/EPTCS.379.35 [pdf].

• [journal paper] A. Yuste-Ginel and A. Herzig. Qualitative Uncertainty and Dynamics of Argumentation through Dynamic Logic. Journal of Logic and Computation, 2023, DOI: 10.1093/logcom/exac098  [pdf, web final version |||| pdf, penultimate version].

2022

• [conference paper] A. Burrieza, I. Perez de Guzmán, and A. Yuste-Ginel. A multi-modal logic for Galois connections. In D. Fernández-Duque, A. Palmigiano, and S. Pinchinat, editors, Advances in modal logic, volume 14, pages 155–176. College Publication, 2022. [pdf].

• [PhD thesis] A. Yuste-Ginel. Arguments to believe and beliefs to argue. Epistemic logics for argumentation and its dynamics. PhD Thesis. UMA Editorial, 2022 [pdf].

  1. • [paper-length abstract] A. Yuste-Ginel. On some formal relations between arguing and believing. In F. Castagna, F. Mosca, J. Mumford, S. Sarkadi, and A. Xydis, editors, Online Handbook of Argumentation for AI, volume 2, pages 67–71, 2021 [pdf].

     • [extended abstract] A. Burrieza and Yuste-Ginel. Formal argumentation and epistemic logic: what can they do for each other? In A. Cuevas, O. Torres, V. Aranda, A. Moldovan (edst). Proceedings of the X Conference of the  Spanish Society of Logic, Methodology and Philosophy of Science. 

2021

• [journal paper] C. Proietti and A. Yuste-Ginel. Dynamic epistemic logics for abstract argumentation. Synthese, 199(3), 8641-8700. 2021. DOI: 10.1007/s11229-021-03178-5 [pdf].

• [conference paper] A. Herzig and A. Yuste-Ginel. Abstract argumentation with qualitative uncertainty: An analysis in dynamic logic. In P. Baroni, C. Benzmuller, and Y. N. Wang, editors, Logic and Argumentation, volume 13040 of LNCS, pages 190–208. Springer, 2021. ISBN 978-3-030-89391-0. DOI: 10.1007/978-3-030-89391-0_11 [web version].

• [conference paper] A. Herzig and A. Yuste-Ginel. Multi-agent abstract argumentation frameworks with incomplete knowledge of attacks. In Z.-H. Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21, pages 1922–1928. IJCAI Organization, 2021. DOI: 10.24963/ijcai.2021/265 [pdf].

• [short conference paper] A. Herzig and A. Yuste-Ginel. On the Epistemic Logic of Incomplete Argumentation Frameworks. In M. Bienvenu, G. Lakemeyer, and E. Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, pages 681–685, 11 2021. DOI: 10.24963/kr.2021/69 [pdf].

• [conference paper] A. Burrieza and A. Yuste-Ginel. An awareness epistemic framework for belief, argumentation and their dynamics. In J. Y. Halpern and A. Perea, editors, Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), volume 335 of EPTCS, pages 69–83, 2021. DOI: 10.4204/EPTCS.335.6 [pdf].

2020

• [conference paper] A. Burrieza and A. Yuste-Ginel. Basic beliefs and argument-based beliefs in awareness epistemic logic with structured arguments. In H. Prakken, S. Bistarelli, F. Santini, and C. Taticchi, editors, Proceedings of the COMMA 2020, pages 123–134. IOS Press, 2020. DOI: 10.3233/FAIA200498 [pdf].

• [conference paper] C. Proietti and A. Yuste-Ginel. Persuasive argumentation and epistemic attitudes. In L. Soares Barbosa and A. Baltag, editors, Dynamic Logic. New Trends and Applications, volume 12005 of LNCS, pages 104–123. Springer, 2020. DOI: 10.1007/978-3-030-38808-9_7 [pdf, preprint version].

2019

• [journal paper] A. Burrieza and A. Yuste-Ginel. Argument evaluation in multi-agent justification logics. Logic Journal of the IGPL, 29(4):672–696, 2021. DOI: 10.1093/jigpal/jzz046 [pdf].

• [conference paper] A. Burrieza and A. Yuste-Ginel. A justification logic for argument evaluation. In M. Blicha and I. Sedlar, editors, The Logica Yearbook 2018. College Publications, 2019. ISBN 978-1-84890-307-4.