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]
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]
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 Jos{\\'{e}}Bugar{í}n Diz, Jose Maria Alonso{-}Moral, Sen{\\'{e}}n 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]
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]
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]
Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2024).
Polynomial calculus for optimization.
Artif. Intell., 337, 104208.
https://doi.org/10.1016/J.ARTINT.2024.104208.
[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
Next