Find Academic Supervisors

• Knowledge Representation
• Answer Set Programming
• Non-monotonic Reasoning
• +5 more

Pedro Cabalar is Full Professor at the Department of Computer Science of the University of Corunna, Galicia, Spain, and current coordinator of the inter-university Master in Artificial Intelligence (Universities of A Coruña, Santiago de Compostela and Vigo). He also serves as Area Editor (Theory Foundations) for Theory and Practice of Logic Programming and as Standard Editor for the Artificial Intelligence journal. Education: PhD in Computer Science, University of Corunna, 2001 Master in Computer Science, Politéchnic University of Madrid, 1993 Bachelor in Computer Science (3-year degree), University of Santiago de Compostela / University of Corunna, 1989 Research interests revolve around Knowledge Representation & Reasoning , especially Answer Set Programming , non-monotonic reasoning , temporal and modal logics , and causal reasoning . He investigates theoretical foundations (equilibrium logic, temporal extensions, deontic operators) and practical systems (telingo, eclingo, aspBEEF), with applications ranging from planning and diagnosis to explainable AI and healthcare decision support. His recent articles (2023-2025) exhibit a clear trend toward temporal and metric extensions of ASP , explainability , and hybrid reasoning systems , often combining logic programming with deontic or probabilistic features. Scientific awards & recognition: University of Corunna Dissertation Award, 2003 Best Paper Award at LPNMR 2019 Best Student Paper at ICLP 2020 Best Student Paper at JELIA 2019 Grants & projects: He currently leads or co-leads nationally funded Spanish projects (GEISER 2024-2028, ARLEKIN 2021-2024) and has coordinated EU COST actions (DigForASP) as well as earlier MINECO projects on temporal ASP and medical reasoning (TARDIS, MERLOT, FEAST, etc.). PhD supervision: He has successfully supervised three PhD theses (Martín Diéguez, Jorge Fandiño, Brais Muñiz) and continues to advise students within the Information Retrieval Laboratory (IRLab) and the Spanish node of Potassco Solutions.

• Constraint Logic Programming
• Answer Set Programming (ASP)
• Stream Data Analysis
• +3 more

Joaquín Arias is an Associate Professor at the Universidad Rey Juan Carlos (URJC) in Madrid, Spain, since 2025. He previously served as an Assistant Professor at URJC (2020–2025) and as a Pre-Doctoral Researcher at the IMDEA Software Institute (2013–2020). He holds a Ph.D. in Computer Science (2020), a Master of Science in Computer Science (2015), a Bachelor of Science in Computer Science (2014), and a Master of Architecture (2002), all from the Universidad Politécnica de Madrid (UPM). His research focuses on constraint logic programming, answer set programming (ASP), and their applications in stream data analysis, spatial reasoning, and legal reasoning systems. His main research interests include (Constraint) Logic Programming, TCLP, s(CASP), and value-aware systems. He has developed frameworks like Modular TCLP and ATCLP for constraint integration and aggregate computation. Notable projects include applying s(CASP) to legal reasoning (s(LAW)), BIM modeling, and automated conversational agents using LLMs and ASP. His work emphasizes explainable AI and ethical alignment in automated decision-making. Key contributions include the Automated Legal Reasoning with Discretion framework (2024), a socialbot leveraging LLMs and ASP (2024), and a legal reasoning system for administrative processes (2024). He has contributed to proceedings of the ICLP workshops and edited volumes for conferences like AAAI and CAEPIA. His academic awards include the Best Paper Prize at CAEPIA 2021. Collaborations include the University of Texas at Dallas (2017), Aalto University (2019), and IMDEA Software Institute. His teaching includes promoting logic programming in computer science curricula, as highlighted in his 2023 SIIE conference paper.