Lògica i raonament

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, Angelo Gilio, Lluís Godo, & Giuseppe Sanfilippo (In Press). On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals. International Journal of Approximate Reasoning. https://doi.org/10.1016/j.ijar.2023.108943. [BibTeX] [PDF]

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]

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]

Salim Bouamama, Christian Blum, & Pedro Pinacho-Davidson (2022). A Population-Based Iterated Greedy Algorithm for Maximizing Sensor Network Lifetime. Sensors, 22. https://doi.org/10.3390/s22051804. [BibTeX] [PDF]

Marko Djukanovic, Dragan Matic, Christian Blum, & Aleksandar Kartelj (2022). Application of A{\$}{\$}^*{\$}{\$}to the Generalized Constrained Longest Common Subsequence Problem with Many Pattern Strings. Moun{\\^i}m El Yacoubi, Eric Granger, Pong Chi Yuen, Umapada Pal, & Nicole Vincent (Eds.), Pattern Recognition and Artificial Intelligence (pp. 53--64). Springer International Publishing. [BibTeX]

Mehmet An{\i}l Akbay, Albert López Serrano, & Christian Blum (2022). A Self-Adaptive Variant of CMSA: Application to the Minimum Positive Influence Dominating Set Problem. International Journal of Computational Intelligence Systems, 15, 44. https://doi.org/10.1007/s44196-022-00098-1. [BibTeX] [PDF]

Chu-Min Li, Zhenxing Xu, Jordi Coll, Felip Manyà, Djamal Habet, & Kun He (2022). Boosting branch-and-bound MaxSAT solvers with clause learning. AI Communications, 35, 131-151. https://doi.org/10.3233/AIC-210178. [BibTeX]

Tommaso Flaminio, Angelo Gilio, Lluís Godo, & Giuseppe Sanfilippo (2022). Canonical Extensions of Conditional Probabilities and Compound Conditionals. Davide Ciucci al. (Eds.), 17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022) (pp. 584--597). Springer International Publishing. https://doi.org/10.1007/978-3-031-08974-9_47. [BibTeX] [PDF]

Tommaso Flaminio, Angelo Gilio, Lluís Godo, & Giuseppe Sanfilippo (2022). Compound Conditionals as Random Quantities and Boolean Algebras. Gabriele Kern{-}Isberner, Gerhard Lakemeyer, & Thomas Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR}2022, Haifa, Israel. July 31 - August 5, 2022 (pp. 141-151). https://doi.org/10.24963/kr.2022/15. [BibTeX] [PDF]

Marko Djukanović, Aleksandar Kartelj, Dragan Matić, Milana Grbić, Christian Blum, & Günther R. Raidl (2022). Graph search and variable neighborhood search for finding constrained longest common subsequences in artificial and real gene sequences. Applied Soft Computing, 122, 108844. https://doi.org/10.1016/j.asoc.2022.108844. [BibTeX] [PDF]

Dave de Jonge, Filippo Bistaffa, & Jordi Levy (2022). Multi-Objective Vehicle Routing with Automated Negotiation. Applied Intelligence, 52, 16916-16939. https://doi.org/10.1007/s10489-022-03329-2. [BibTeX] [PDF]

Guillem Rodríguez Corominas, Christian Blum, & Maria J. Blesa (2022). Negative Learning Ant Colony Optimization for Network Alignment. Proceedings of the Genetic and Evolutionary Computation Conference (pp. 278–286). Association for Computing Machinery. https://doi.org/10.1145/3512290.3528795. [BibTeX]

Manfred Schmidt-Schauss, Temur Kutsia, Jordi Levy, Mateu Villaret, & Yunus D. K. Kutz (2022). Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae, 185, 247--283. https://doi.org/10.3233/FI-222110. [BibTeX] [PDF]

Marco Cerami, & Francesc Esteva (2022). On decidability of concept satisfiability in Description Logic with product semantics. Fuzzy Sets and Systems, 445, 1-21. https://doi.org/10.1016/j.fss.2021.11.013. [BibTeX] [PDF]

Marcelo Coniglio, Francesc Esteva, Tommaso Flaminio, & Lluís Godo (2022). On the expressive power of Lukasiewicz’s square operator. Journal of Logic and Computation, 32, 767-807. https://doi.org/10.1093/logcom/exab064. [BibTeX] [PDF]

Christian Blum, Tome Eftimov, & Peter Koro{\v{s}}ec (2022). Preface. Natural Computing, 21, 127-130. https://doi.org/10.1007/s11047-021-09859-x. [BibTeX] [PDF]

Tommaso Flaminio, & Umberto Rivieccio (2022). Prelinearity in (quasi-)Nelson logic. Fuzzy Sets and Systems, 445, 66-89. https://doi.org/10.1016/j.fss.2022.03.021. [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 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