L'activitat d'aquest grup se centra en la modelització lògica i matemàtica del raonament, amb atenció especial a la lògica difusa matemàtica, els models d'incertesa, la lògica per a informació incompleta i l'argumentació computacional, i el disseny d'algorismes eficients per a la resolució de problemes de satisfacció i optimització per mètodes basats en SAT, restriccions i metaheurístiques.
Cap de departament:
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, 33, 582-605.
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