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
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]
Pilar Dellunde,
Vicent Costa,
& Daniel Rivas-Barragan
(In Press).
Belief Horn merging operators: characterization results and implementations.
Fuzzy Sets and Systems.
[BibTeX]
Joan Gispert,
Francesc Esteva,
Lluís Godo,
& Marcelo Coniglio
(In Press).
On Nilpotent Minimum logics defined by lattice filters and their paraconsistent non-falsity preserving companions.
Logic Journal of the IGPL.
[BibTeX]
[PDF]
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(In Press).
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, Proceedings of the 20th International Conference (IPMU 2024)
.
Springer.
[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]
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]
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]
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]
Daniel Grimaldi,
Maria Vanina Martinez,
& Ricardo O Rodriguez
(2024).
Moderated revision.
International Journal of Approximate Reasoning, 166, 109126.
https://doi.org/10.1016/j.ijar.2024.109126.
[BibTeX]
[PDF]
Vicent Costa,
Pilar Dellunde,
& Diego Fraile Parra
(2024).
Neurosymbolic AI for studying the quality of life's dimensions of people with intellectual disability.
Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2024
(pp. 174-177).
[BibTeX]
[PDF]
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(2024).
Nilpotent Minimum logic preserving non-falsity and consistency operators.
A. Alonso al. (Eds.),
Actas XX Conf. de la Asociación Española para la Inteligencia Artificial, CAEPIA 2024 - ESTYLF 2024
(pp. 246-251).
https://caepia24.aepia.org/inicio_files/XX%20Caepia_2024_Actas_General.pdf.
[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
& Giuliano Rosella
(2024).
Possibility of Conditionals and Conditional Possibilities: From a Triviality Result to Possibilistic Imaging.
Pierre Marquis, Magdalena Ortiz, & Maurice Pagnucco (Eds.),
Proc. of the 21st International Conference on Principles of Knowledge Representation and Reasoning - Main Track (KR 2024)
(pp. 372-382).
https://doi.org/10.24963/kr.2024/35.
[BibTeX]
[PDF]
Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2024).
Weighted, Circular and Semi-Algebraic Proofs.
J. Artif. Intell. Res., 79, 447--482.
https://doi.org/10.1613/JAIR.1.15075.
[BibTeX]
[PDF]
2023
Gonzalo E. Imaz
(2023).
A first polynomial non-clausal class in many-valued logic.
Fuzzy Sets Syst., 456, 1--37.
https://doi.org/10.1016/J.FSS.2022.10.008.
[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