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]
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]
2025
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, jzae126.
https://doi.org/10.1093/jigpal/jzae126.
[BibTeX]
[PDF]
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]
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]
Tommaso Flaminio,
& Sara Ugolini
(2024).
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.
Annals of Pure and Applied Logic, 175, 103337.
https://doi.org/10.1016/j.apal.2023.103337.
[BibTeX]
Juan Carlos Teze,
Jos{\'{e}}Paredes,
Maria Vanina Martinez,
& Gerardo Ignacio Simari
(2024).
Engineering user-centered explanations to query answers in ontology-driven socio-technical systems.
Semantic Web, 15, 991--1020.
https://doi.org/10.3233/SW-233297.
[BibTeX]
[PDF]
Pol Rodríguez-Farrés,
Rocco Ballester,
Carlos Ansótegui,
Jordi Levy,
& Jesus Cerquides
(2024).
Implementing 3-SAT Gadgets for Quantum Annealers with Random Instances.
Leonardo Franco, Clélia Mulatier, Maciej Paszynski, Valeria V. Krzhizhanovskaya, Jack J. Dongarra, & Peter M. A. Sloot (Eds.),
Computational Science -- ICCS 2024
(pp. 277--291).
Springer Nature Switzerland.
[BibTeX]
[PDF]
Vicent Costa,
Alger Sans Pinillos,
& David Casacuberta
(2024).
Injusticia epistémica para un análisis filosófico de las exposiciones digitales del arte visual.
Euphyía, 17, 86-113.
https://doi.org/10.33064/33euph6520.
[BibTeX]
Diego Fraile Parra,
Vicent Costa,
& Pilar Dellunde
(2024).
LENs for Analyzing the Quality of Life of People with Intellectual Disability.
T. R. Besold, A. Garcez, E. Jimenez-Ruiz, R. Confalonieri, & B. Wagner (Eds.),
Neural-Symbolic Learning and Reasoning
(pp. 165-174).
Springer.
https://doi.org/10.1007/978-3-031-71170-1_15.
[BibTeX]
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
Next