Lògica i raonament

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]

Vicent Costa, Pilar Dellunde, & Diego Fraile Parra (In Press). 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 . [BibTeX]

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]

Tommaso Flaminio, Lluís Godo, & Giuliano Rosella (In Press). Possibility of Conditionals and Conditional Possibilities: From a Triviality Result to Possibilistic Imaging. Proc. KR 2024 . [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, & 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]

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 Asociación Españ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). 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]

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]

Prev 1 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

IIIA-CSIC. CAMPUS DE LA UAB, E-08193. BELLATERRA, CATALONIA (SPAIN)

Phone. (+34) 93 580 9570 − Fax. (+34) 93 580 9661

© 2020 IIIA | All Rights reserved

Privacy Policy | Cookie Policy