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: Pedro Meseguer
Prev
1 (current)
2
Next
In Press
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo Oscar Rodríguez
(In Press).
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.
Springer (Also as CoRR, abs/2110.02528. http://arxiv.org/abs/2110.02528).
[BibTeX]
[PDF]
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]
Tommaso Flaminio,
& Lluís Godo
(In Press).
Conditional Objects as Possibilistic Variables.
The 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2023
.
[BibTeX]
2023
Esther Anna Corsi,
Tommaso Flaminio,
& Hykel Hosni
(2023).
A logico-geometric comparison of coherence for non-additive uncertainty measures.
Annals of Pure and Applied Logic, 103342.
https://doi.org/10.1016/j.apal.2023.103342.
[BibTeX]
Tommaso Flaminio,
Lluis Godo,
Nicolás Madrid,
& Manuel Ojeda-Aciego
(2023).
A Logic to Reason About f-Indices of Inclusion over $\L_n$.
Sebastia Massanet al. (Eds.),
Fuzzy Logic and Technology, and Aggregation Operators. EUSFLAT 2023, AGOP 2023
(pp. 530--539).
Springer Nature Switzerland.
https://doi.org/10.1007/978-3-031-39965-7_44.
[BibTeX]
Esther Anna Corsi,
Tommaso Flaminio,
Lluís Godo,
& Hykel Hosni
(2023).
A modal logic for uncertainty: a completeness theorem.
13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023
(pp. 119-129).
[BibTeX]
[PDF]
Didier Dubois,
Lluís Godo,
& Henri Prade
(2023).
An elementary belief function logic.
Journal of Applied Non-Classical Logics.
https://doi.org/10.1080/11663081.2023.2244366.
[BibTeX]
[PDF]
Sergio Abriola,
Santiago Cifuentes,
Maria Vanina Martinez,
Nina Pardal,
& Edwin Pin
(2023).
An epistemic approach to model uncertainty in data-graphs.
Int. J. Approx. Reason., 160, 108948.
https://doi.org/10.1016/j.ijar.2023.108948.
[BibTeX]
Damian Ariel Furman,
Pablo Torres,
Jose A. Rodriguez,
Diego Letzen,
Maria Vanina Martinez,
& Laura Alonso Alemany
(2023).
An Initial Exploration of How Argumentative Information Impacts Automatic Generation of Counter-Narratives Against Hate Speech.
Oana Cocarascu, Sylvie Doutre, Jean{-}Guy Mailly, & Antonio Rago (Eds.),
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning {(KR}2023), Rhodes, Greece, September 2-8, 2023
(pp. 26--39).
CEUR-WS.org.
https://doi.org/https://ceur-ws.org/Vol-3472/paper2.pdf.
[BibTeX]
(2023).
Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles (Eds.) - Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), Santiago de Chile, Chile, May 22-26, 2023
.
CEUR-WS.org.
https://doi.org/https://ceur-ws.org/Vol-3409.
[BibTeX]
Giuliano Rosella,
Tommaso Flaminio,
& Stefano Bonzio
(2023).
Counterfactuals as modal conditionals, and their probability.
Artificial Intelligence, 323, 103970.
https://doi.org/10.1016/j.artint.2023.103970.
[BibTeX]
[PDF]
Tommaso Flaminio,
& Sara Ugolini
(2023).
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.
Annals of Pure and Applied Logic, 103337.
https://doi.org/10.1016/j.apal.2023.103337.
[BibTeX]
[PDF]
Tommaso Flaminio,
Angelo Gilio,
Lluis Godo,
& Giuseppe Sanfilippo
(2023).
On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals.
International Journal of Approximate Reasoning, 159, 108943.
https://doi.org/10.1016/j.ijar.2023.108943.
[BibTeX]
[PDF]
Sergio Abriola,
Maria Vanina Martinez,
Nina Pardal,
Santiago Cifuentes,
& Edwin Pin Baque
(2023).
On the Complexity of Finding Set Repairs for Data-Graphs.
J. Artif. Intell. Res., 76, 721--759.
https://doi.org/10.1613/jair.1.13994.
[BibTeX]
[PDF]
Gaston E. Zanitti,
Yamil Soto,
Valentin Iovene,
Maria Vanina Martinez,
Ricardo Oscar Rodriguez,
Gerardo I. Simari,
& Demian Wassermann
(2023).
Scalable Query Answering Under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach.
Neuroinformatics, 21, 407--425.
https://doi.org/10.1007/s12021-022-09612-4.
[BibTeX]
[PDF]
Damian Ariel Furman,
Pablo Torres,
Jose A. Rodriguez,
Diego Letzen,
Maria Vanina Martinez,
& Laura Alonso Alemany
(2023).
Which Argumentative Aspects of Hate Speech in Social Media can be reliably identified?.
CoRR, abs/2306.02978.
https://doi.org/10.48550/arXiv.2306.02978.
[BibTeX]
2022
Albert L\'{o}pez Serrano,
& Christian Blum
(2022).
A Biased Random Key Genetic Algorithm Applied to Target Set Selection in Viral Marketing.
Proceedings of the Genetic and Evolutionary Computation Conference
(pp. 241–250).
Association for Computing Machinery.
https://doi.org/10.1145/3512290.3528785.
[BibTeX]
Tommaso Flaminio,
Lluís Godo,
Sara Ugolini,
& Francesc Esteva
(2022).
A fuzzy logic-based approach to reason with inconsistent probabilistic theories.
Actas del XXI Congreso de Tecnologías y Lógica Fuzzy (ESTYLF’22)
(pp. 73–-74).
Universidad de Castilla-La Mancha.
[BibTeX]
[PDF]
Juan C. L. Teze,
Lluís Godo,
& Gerardo I. Simari
(2022).
An Approach to Improve Argumentation-Based Epistemic Planning with Contextual Preferences.
International Journal of Approximate Reasoning, 151, 130-163.
https://doi.org/10.1016/j.ijar.2022.09.005.
[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
& Sara Ugolini
(2022).
An Approach to Inconsistency-Tolerant Reasoning About Probability Based on Łukasiewicz Logic.
F. Dupin al. (Eds.),
SUM 2022
(pp. 124–-138).
Springer.
https://doi.org/10.1007/978-3-031-18843-5_9.
[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
Next