Published journal articles
[ACF+24] Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal: Syntactic ASP forgetting with forks. Artificial Intellligence 326: 104033 (2024)
[ACF+22b] F. Aguado, P. Cabalar, J. Fandinno, D. Pearce, G. Pérez and C. Vidal, "A Polynomial Reduction of Forks into Logic Programs", Artificial Intelligence 308 (103712), July 2022.
[BCD+23] Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann: Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33(3-4): 495-519 (2023)
[BBHN23] Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel: Epistemic planning: Perspectives on the special issue. Artificial Intelligence 316: 103842 (2023)
[CM24] Pedro Cabalar, Brais Muñiz: Model Explanation via Support Graphs. Theory and Practice of Logic Programming (TPLP) 2024:1-14. doi:10.1017/S1471068424000048
[YH23] Antonio Yuste-Ginel, Andreas Herzig: Qualitative uncertainty and dynamics of argumentation through dynamic logic. J. Log. Comput. 33(2): 370-405 (2023)
Book chapters and proceedings
[ACF+22] Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal: Syntactic ASP Forgetting with Forks. Logic Programming and Non Monotonic Reasoning (LPNMR) 2022: 3-15.
[AHLL23] C.Aguilera-Ventura, A. Herzig , Xinghan Liu , E. Lorini: Counterfactual Reasoning via Grounded Distance. KR 2023.: 2-11.
[BCD+24] Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero and Torsten Schaub, "Compiling Metric Temporal Answer Set Programming", Proc. of the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR’24), (to appear).
[CCT23] P. Cabalar, A. Ciabattoni & L. van der Torre, Deontic Equilibrium Logic with eXplicit negation, Proceedings of the European Conference of Logic in Artificial Intelligence (JELIA) 2023, Springer, LNCS, pp. 498-514.
[CDF+24] Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz and Joel Sare, "tExplain: Information Extraction with Explanations“, Proc. of the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR’24), (to appear).
[CES24] P. Cabalar, T. Eiter and D. Soldà, "Contracted Temporal Here and There", 21st International Conference on Principles of Knowledge Representation and Reasoning (KR'2024), Hanoi, Vietnam, November 2 - 8, 2024.
[CFF23] Pedro Cabalar, Jorge Fandinno and Luis Fariñas del Cerro: Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning (aceptado, pendiente de publicación como capítulo de libro).
[CFF23b] P. Cabalar, J. Fandinno and L. Fariñas del Cerro, "Probabilistic Autoepistemic Equilibrium Logic", In: Abe, J.M. (eds) Advances in Applied Logics. Intelligent Systems Reference Library, vol 243. Springer, Cham, 2023.
[CEF+24] Pedro Cabalar, Esra Erdem, Müge Fidan and Brais Muñiz. A preliminary taxonomy of explanations in problem solving. 15th European Symposium on Computational Intelligence and Mathematics (ESCIM 2024). Krakow (Poland). May 12th-15th, 2024
[CP23] P. Cabalar & D. Pearce, Logic, Accountability and Design. JELIA European Conference on Logics in AI, 2023, pp. 65-72.
[CM23] P. Cabalar & B. Muñiz Castro, Explanation Graphs for Stable Models of Labelled Logic Programs. International Workshop on Answer Set Programming and Other Computer Paradigms (ASPOCP) 2023, CEUR Workshop Proceedings, volume 3437, url = https://ceur-ws.org/Vol-3437/paper3ASPOCP.pdf,
[CM23b] Pedro Cabalar, Brais Muñiz: Commonsense Explanations for the Blocks World. Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023)
[CFAN24] Fernández-Fernández, Claudia y Ángel Nepomuceno Fernández (2024), Lógica interrogativa epistémica, en Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza, Carlos Aguilera-Ventura, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego y Antonio Yuste-Ginel (eds.), “Cuadernos de lógica, Epistemología y Lenguaje”. Londres: College Publications, pp. 53-78. ISBN: 978-1-84890-450-7 https://www.collegepublications.co.uk/cuadernos/?00022
[CFFV24] Fernández-Fernández, Claudia y Fernando R. Velázquez-Quesada (2024), Conciencia-de y conciencia-de-que: su combinación y dinámicas, en Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza, Carlos Aguilera-Ventura, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego y Antonio Yuste-Ginel (eds.), “Cuadernos de lógica, Epistemología y Lenguaje”. Londres: College Publications, pp. 79-132.
[DP24] D. Pearce, Logics for integrating policies and science, Carlos Aguilera-Ventura et al (eds), Ensayos sobre lógica y lenguaje en honor a Alfredo Burrieza, College Publications, Cuadernos de lógica, epistemología y lenguaje, Volumen 22, 2024, pp. 157-182.
[EHP24] Thorsten Engesser, Andreas Herzig, Elise Perrotin: Towards Epistemic-Doxastic Planning with Observation and Revision. AAAI 2024: 10501-10508
[HLP24] Andreas Herzig, Emiliano Lorini, Henri Prade, A Novel View of Analogical Proportion between Formulas. Proc. European Conf. on AI, ECAI 2024, to appear.
[CEF+24] Pedro Cabalar, Esra Erdem, Müge Fidan and Brais Muñiz. A preliminary taxonomy of explanations in problem solving. 15th European Symposium on Computational Intelligence and Mathematics (ESCIM 2024). Krakow (Poland). May 12th-15th, 2024
[PV24a] D. Pearce & A. Valverde, Stable Reasoning, ASP and the Interrogative Model of Inquiry, Proceedings ESCIM 2024 European Symposium on Computational Intelligence and Mathematics, Krakow, 2024.
Articles under review process
[PV24b] D. Pearce & A. Valverde, Skolem Forms and Equilibrium Semantics for Existential Datalog Rules, submitted (Festschrift in preparation).
[PM+24] Irina Perfilieva, Nicolás Madrid, Manuel Ojeda-Aciego, Piotr Artiemjew, Agnieszka Niemczynowicz. A Critical Analysis of the Theoretical Framework of the Extreme Learning Machine. Submitted to Neurocomputing
[MO24] Nicolas Madrid y Manuel Ojeda-Aciego. Composition as a fuzzy conjunction between indexes of inclusion. Submitted to Fuzzy Sets and Systems
Doctoral thesis
[BM24] Brais Muñiz Castro, Generating Commonsense Explanations with Answer Set Programming, Doctoral Thesis, Universidade da Coruña, 2024. Título otorgado en junio de 2024.
Talks
[AH22a] A. Herzig, Social logics from the point of view of knowledge representation and reasoning, LRC22, Sada, sept 2022.
[AH22b] A. Herzig, Trust and Logic, Workshop on Explanation and Epistemic Reasoning, Toulouse, Dec 6, 2022.
[AH22c] A. Herzig, On Logics of Knowledge and Belief, Tsinghua Logic Salon, Oct 20, 2022.
[AH23] Andreas Herzig. A minimal logic of trust, ACLAI23, Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence 2023, Málaga, Nov 2-5, 2023.
[BM23] Brais Muñiz Castro. Common sense Explanations for the Blocks World, ACLAI23, Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence 2023, Málaga, Nov 2-5, 2023.
[CF22] C. Fernández, Dynamics of Information and its Epistemological Foundations, LRC Workshop, Sada, Sept 2022.
[CF22a] C. Fernández, Awareness in Knowledge Representation: why, how and what for?, ACLAI22 Workshop Madrid, November, 2022.
[CF22b] C. Fernández, Awareness Neighbourhood Model for representing Explicit Aware Knowledge, Toulouse Workshop, dic, 2022.
[DP24a] David Pearce, Stable Reasoning, ASP and the Interrogative Model of Inquiry, Invited talk, Universität Potsdam, May 22, 2024.
[DP24b] David Pearce, Here-and-there in the landscape of logics, Invited talk, Universität Potsdam, May 29, 2024.
[DP24c] David Pearce, Quantified Equilibrium Logic, ASP and the Interrogative Model of Inquiry, Invited talk, Technische Universität Wien, June 11, 2024.
[DP24d] David Pearce, Logic, Accountability and Design, Invited talk, Technische Universität Wien and Universität Potsdam (online), June 5, 2024.
[FN22a] C. Fernández & A. Nepomuceno, Medical investigation and the inquiry logic game: a proposal for the underlying logic, Logic, Philosophy and the History of Medicine, Sevilla, oct 2022.
[HLP22a] A. Herzig, E. Lorini, E. Perrotin, A Computationally Grounded Logic of ‘Seeing-to-it-that’, Int. Joint. Conf. of Artificial Intelligence, IJCAI22, Vienna, July 2022.
[HLP22b] A. Herzig, E. Lorini, E. Perrotin, A Lightweight Logic of Agency, Int. Symposium LOGICA, Teplá, Sept 12, 2022.
[KPMGJ23] P. Kowalski, D. Pérez-Medina, N. Madrid, S.Gostojic, A. Jevremovic, Admissibility of AI techniques in digital forensics investigations, Workshop of the DIGforASP COST Action, Cádiz, March 2023.
[NM23] Nicolas Madrid. Adequacy of AI techniques for Digital Forensic tasks, ACLAI23, Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence 2023, Málaga, Nov 2-5, 2023.
[NM24a] Nicolas Madrid. Representación de retículos residuados sobre [0, 1] a través de f-índices de inclusión y del operador composición. En Congreso Bianual de la Real Sociedad Matemática Española 2024.
[NM24b] Nicolas Madrid y Eloisa Ramírez-Poussa. Analysis of the phi-index of inclusion restricted to a set of indexes. En la 20º Conferencia Internacional Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU24).
[NM24c] Nicolas Madrid, Jesús Medina y Eloisa Ramírez-Poussa. Generalized multi-adjoint fuzzy rough set. En el International Joint Conference on Rough Sets (IJCRS24)
[PC23] Pedro Cabalar, Explaining a Representation requires Representing Explanations, invited talk in the Current Trends in Computer Science series, TU Wien Informatics Doctoral School, Austria, Viena. June 13th, 2023.
[PC23b] Pedro Cabalar, Causal Explanations in Practical Knowledge Representation, invited talk at the AI Seminar Mathematical Institute of the Serbian Academy of Sciences and Arts, May 31st, 2023. Belgrade, Serbia (online).
[PC24] Pedro Cabalar: Recent Results on Deontic Equilibrium Logic with Explicit Negation. In 6th Workshop on Logical Reasoning and Computation (LRC 2024), A Coruña, June 25th, 2024.
[TG23] Tobias Geibinger, Explaining Answer-Set Programs with Abstract Constraint Atoms, ACLAI23, Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence 2023, Málaga, Nov 2-5, 2023.
