The activity of this group is centered around the logical and mathematical modelling of reasoning, with special attention to mathematical fuzzy logic, uncertainty models, logics for incomplete information and computational argumentation, and the design of efficient algorithms for solving satisfaction and optimization problems by methods based on SAT, constraints and metaheuristics.
Head of the Group: Jordi Levy Diaz
Prev
1 (current)
2
Next
In Press
Tommaso Flaminio,
Lluís Godo,
Sara Ugolini,
& Francesc Esteva
(In Press).
An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic.
H. Antunes, A. Rodrigues, & A. Roque (Eds.),
Volume in Honour of Walter Carnielli.
Springer.
[BibTeX]
[PDF]
Vicent Costa,
Jose Maria Alonso-Moral,
Zoe Falomir,
& Pilar Dellunde
(In Press).
An art painting style explainable classifier grounded on logical and commonsense reasoning.
Soft Computing.
https://doi.org/10.1007/s00500-023-08258-x.
[BibTeX]
[PDF]
Zoe Falomir,
& Vicent Costa
(In Press).
Comparing Qualitative Object Descriptors using a Visual Similarity Measure.
Vicenç Torra, & Yasuo Narukawa (Eds.),
Modeling Decisions for Artificial Intelligence - 22nd International Conference, MDAI 2025,
.
Springer.
[BibTeX]
Juan Manuel Sánchez,
& Vicent Costa
(In Press).
Explainable artificial intelligence for categorizing art genres.
Artificial Intelligence Research and Development - Proceedings of the 27th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2025
.
[BibTeX]
Vicent Costa
(In Press).
Integrating a Disability Perspective into Lethal Autonomous Weapons Systems Analysis: First Steps.
SecondDeath. Experiences of Death Across Technologies.
Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer.
[BibTeX]
Alger Sans Pinillos,
Vicent Costa,
& Jordi Vallverdú
(In Press).
Introduction: Rethinking Death in the Digital Age – Delving into A Cross-Disciplinary Inquiry.
Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer.
[BibTeX]
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(In Press).
On the non-falsity and threshold preserving variants of MTL logics.
Marie-Jeanne Lesot et_al (Eds.),
Proc. of EUSFLAT 2025
.
Springer, Cham.
[BibTeX]
[PDF]
2025
María Eugenia Cornejo,
Francesc Esteva,
Luis Fariñas,
Lluís Godo,
& Jesús Medina
(2025).
A multi-adjoint lattice logic based on Gödel logic.
László Kóczy, & Jesús Medina (Eds.),
16th European Symposium on Computational Intelligence and Mathematics, ESCIM 2025, Book of Abstracts
.
Universidad de Cádiz.
[BibTeX]
[PDF]
Juan Carlos L. Teze,
Lluís Godo,
& Gerardo I. Simari
(2025).
Defeasible Argumentation-based Epistemic Planning with Preferences.
Journal of Applied Logics — IfCoLog Journal of Logics and their Applications, 12, 787-823.
https://www.collegepublications.co.uk/ifcolog/?00071.
[BibTeX]
[PDF]
Joan Gispert,
Francesc Esteva,
Lluís Godo,
& Marcelo Coniglio
(2025).
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions.
Logic Journal of the IGPL, 33, jzae126.
https://doi.org/10.1093/jigpal/jzae126.
[BibTeX]
[PDF]
Eduardo L. Fermé,
Andreas Herzig,
& Maria Vanina Martinez
(2025).
On the Logic of Theory Base Change: Reformulation of Belief Bases.
Toby Walsh, Julie Shah, & Zico Kolter (Eds.),
AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA
(pp. 14922--14929).
{AAAI}Press.
https://doi.org/10.1609/AAAI.V39I14.33636.
[BibTeX]
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(2025).
On the paraconsistent companions of involutive fuzzy logics that preserve non-falsity.
Marie-Jeanne Lesot et_al (Eds.),
Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2024
(pp. 375-389).
Springer, Cham.
https://doi.org/10.1007/978-3-031-74000-8_31.
[BibTeX]
[PDF]
2024
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo Oscar Rodríguez
(2024).
Algebras and relational frames for Gödel modal logic and some of its extensions.
M. Coniglio, E. Koubychkina, & D. Zaitsev (Eds.),
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev (pp 179-216).
Springer (Also as CoRR, abs/2110.02528. http://arxiv.org/abs/2110.02528).
https://doi.org/10.1007/978-3-031-56595-3_7.
[BibTeX]
[PDF]
Esther Anna Corsi,
Tommaso Flaminio,
& Hykel Hosni
(2024).
A logico-geometric comparison of coherence for non-additive uncertainty measures.
Annals of Pure and Applied Logic, 175, 103342.
https://doi.org/10.1016/j.apal.2023.103342.
[BibTeX]
Yamil Soto,
Cristhian Ariel D. Deagustini,
Maria Vanina Martinez,
& Gerardo I. Simari
(2024).
A Mathematical Conceptualization of Bundle Sets in Defeasible Logic.
Proc. of ACM SAC
.
[BibTeX]
[PDF]
Maria Vanina Martinez
(2024).
Back to the Future: Symbolic Reasoning to Combat Malicious Use of Social Media.
Ulle Endriss, Francisco S. Melo, Kerstin Bach, Alberto Jose Bugarin Diz, Jose Maria Alonso{-}Moral, Senen Barro, & Fredrik Heintz (Eds.),
{ECAI}2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems {(PAIS} 2024)
(pp. 10--16).
{IOS}Press.
https://doi.org/10.3233/FAIA240460.
[BibTeX]
[PDF]
Pilar Dellunde,
Vicent Costa,
& Daniel Rivas-Barragan
(2024).
Belief Horn merging operators: Characterization results and implementations.
Fuzzy Sets and Systems, 497, 109099.
https://doi.org/10.1016/j.fss.2024.109099.
[BibTeX]
Tommaso Flaminio,
& Lluís Godo
(2024).
Conditional Objects as Possibilistic Variables.
Zied Bouraoui, & Srdjan Vesic (Eds.),
Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings
(pp. 372--385).
Springer.
https://doi.org/10.1007/978-3-031-45608-4_28.
[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
& Giuliano Rosella
(2024).
Conditional Possibilities, Possibilistic Imaging and Boolean Algebras of Conditionals.
Book of Abstracts, IPMU 2024
.
[BibTeX]
Juan Carlos L Teze,
Lluís Godo,
& Gerardo I. Simari
(2024).
Defeasible Argumentation-based Epistemic Planning with Preferences.
Dov Gabbay, Gabriele Kern-Isberner, Guillermo R. Simari, & Matthias Thimm (Eds.),
Handbook of Formal Argumentation, Volume 3 (pp 731-775).
College Publications.
[BibTeX]
[PDF]
Prev
1 (current)
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
Next