Logic & Reasoning

  1. Home
  2. Logic & Reasoning

The activity of this group is centered around the logical and mathematical modelling of reasoning, with special attention to logics for incomplete information, 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
MINECO

CI-SUSTAIN
Blum, Christian
Jun 2020 - May 2023
Ikerlan S. Coop

SAFETIA
Blum, Christian
May 2020 - Nov 2020
CSIC

SUMOL
Flaminio, Tommaso
Jan 2020 - Dec 2022
European Commision

LOGISTAR
Levy, Jordi
Jun 2018 - May 2021
EU

SYSMICS
Godo, Lluís
Mar 2016 - Mar 2019
MINECO / FEDER

RASO
Godo, Lluís
Jan 2016 - Dec 2019
CSIC (Intramural 201450E045)

LOGAL
Meseguer, Pedro
Dec 2014 - Nov 2017
Ministerio de Economía y Co...

DAMAS
Meseguer, Pedro
Jan 2014 - Dec 2015
MINECO, TIN2012-39348-C02-01

EDETRI
Godo, Lluís
Feb 2013 - Jan 2016
EPSRC:Research Grant - EP/...

PACES
Godo, Lluís
Jul 2012 - Jun 2015
European Union

MATOMUVI
Flaminio, Tommaso
Mar 2011 - Feb 2015
CICyT (TIN2010-20967-C04-01)

TASSAT
Levy, Jordi
Jan 2011 - Dec 2013
MICINN - TIN2009-14704-C03-03

ARINF
Godo, Lluís
Jan 2010 - Dec 2012
TIN2009-13951-C02-02

RECEDIT
Meseguer, Pedro
Jan 2010 - Dec 2012
MICINN (FFI2008-03126-E/FIL...

LOCOMOTION
Godo, Lluís
Feb 2009 - Jan 2012
TIN2007-68005-C04-01

MULOG 2
Esteva, Francesc
Oct 2007 - Oct 2010
TIN2006-15387-C03-01

REPLI-II-2006
Meseguer, Pedro
Oct 2006 - Sep 2009
TIN2005-09312-C03-01

REPLI-II
Meseguer, Pedro
Dec 2005 - Jun 2007
TIN2004-07933-C03-01

MULOG
Esteva, Francesc
Dec 2004 - Dec 2007
TIC2002-04470-C03-03

REPLI
Meseguer, Pedro
Nov 2002 - Oct 2005
TIC2001-1577-C03-01

LOGFAC
Esteva, Francesc
Dec 2001 - Dec 2004
BFM2000-1054-C02

DENOC
Escalada-Imaz, Gonzalo
Dec 2000 - Dec 2003
IST-1999-10948

SLIE
Agustí-Cullell, Jaume
May 2000 - Apr 2003
TAP 1999-1086-C03

COR
Meseguer, Pedro
Jan 2000 - Dec 2002
IST-1999-11969

ECSPLAIN
Meseguer, Pedro
Jan 2000 - Jun 2002
TIC97-0579-C02-01

MODELOGOS
Agustí-Cullell, Jaume
Aug 1997 - Jul 2000
TIC96-0721-C02-02

REST
Meseguer, Pedro
Aug 1996 - Jul 1999
TIC96-1038-C04-01

SMASH
Godo, Lluís
Aug 1996 - Jul 2001
EU COMPULOG-NET No III.

COMPULOG-NET
Escalada-Imaz, Gonzalo
Jun 1996 - Jun 1999
COST 15

COST-15
Esteva, Francesc
Jul 1995 - Jul 1998
TIC94-0847-C02-01

DISCOR
Agustí-Cullell, Jaume
May 1994 - May 1997
CEE

MUM
Esteva, Francesc
Apr 1994 - Mar 1996
CICYT-TIC91-0430

TESEU
Agustí-Cullell, Jaume
Aug 1991 - Aug 1994
CICYT Project 880j382

SPES
Agustí-Cullell, Jaume
Jan 1989 - Dec 1991
CICYT project 74/85

ESTELA
Agustí-Cullell, Jaume
Jan 1986 - Dec 1989
In Press
Francesc Esteva,  Lluís Godo,  & Sandra Sandri (In Press). A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (In Press). Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (In Press). Boolean algebras of conditionals, probability and logic. Artificial Intelligence, 286, 103347. [BibTeX]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (In Press). Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. [BibTeX]  [PDF]
Rodolfo Ertola,  Francesc Esteva,  & Lluís Godo (In Press). On distributive join semilattices. Proceedings ASUBL [TAKE 6]. Springer. [BibTeX]  [PDF]
2020
Li, Bohan,  Zhang, Xindi,  Cai, Shaowei,  Lin, Jinkun,  Wang, Yiyuan,  & Blum, Christian (2020). NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. Proceedings of the Twenty-Nineth International Joint Conference on Artificial Intelligence, {IJCAI-20} . International Joint Conferences on Artificial Intelligence Organization. [BibTeX]
Francesc Esteva,  Lluís Godo,  Ricardo Oscar Rodríguez,  &  Thomas Vetterlein (2020). On Ruspini's Models of Similarity-Based Approximate Reasoning. In Marie{-}Jeanne Lesot and Susana M. Vieira and Marek Z. Reformat and Jo{\~{a}}o Paulo Carvalho and Anna Wilbik and Bernadette Bouchon{-}Meunier and Ronald R. Yager (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {I} (pp. 3--13). Springer. [BibTeX]
Llu{í}s Godo,  Mart{í}n S{\'{o}}cola{-}Ramos,  &  Francesc Esteva (2020). On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms. In Marie{-}Jeanne Lesot and Susana M. Vieira and Marek Z. Reformat and Jo{\~{a}}o Paulo Carvalho and Anna Wilbik and Bernadette Bouchon{-}Meunier and Ronald R. Yager (Eds.), Information Processing and Management of Uncertainty in Knowledge-Based Systems - 18th International Conference, {IPMU}2020, Lisbon, Portugal, June 15-19, 2020, Proceedings, Part {III} (pp. 654--665). Springer. [BibTeX]
Tommaso Flaminio (2020). Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic, 1--18. [BibTeX]
2019
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). A Representation Theorem for Finite Godel Algebras with Operators. 11th conference of the European Society for Fuzzy Logic and Technology, <em>EUSFLAT</em>-<em>2019</em> (Book of Abstracts) (pp. 51). [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Ricardo Oscar Rodriguez (2019). A Representation Theorem for Finite Gödel Algebras with Operators. 26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019 (pp. 223-235). Springer. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). Maximality in finite-valued Lukasiewicz logics defined by order filters. Journal of Logic and Computation (DOI: 10.1093/logcom/exy032), 29, 125-156. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2019). Maximality in finite-valued Łukasiewicz logics defined by order filters. Journal of Logic and Computation, 29, 125-156. [BibTeX]
Thiruvady, Dhananjay,  Blum, Christian,  & Ernst, Andreas T. (2019). Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO. International Workshop on Hybrid Metaheuristics (HM 2019) (pp. 16-30). Springer. [BibTeX]
Raidl, Günther R.,  Puchinger, Jakob,  & Blum, Christian (2019). Metaheuristic Hybrids. In Gendreau, Michel and Potvin, Jean-Yves (Eds.), Handbook of Metaheuristics (pp 385-417). Springer International Publishing. [BibTeX]
Juan C Teze,  Antoni Perello-Moragues,  Lluís Godo,  & Pablo Noriega (2019). Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence. [BibTeX]
Juan Carlos Teze,  Antoni Perelló-Moragues,  Lluís Godo,  & Pablo Noriega (2019). Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics . [BibTeX]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2019). Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics (pp. 66-69). Institute for Logic, Language and Computation, University of Amsterdam. [BibTeX]  [PDF]
Arora, Divansh,  Maini, Parikshit,  Blum, Christian,  & Pinacho Davidson, Pedro (2019). Route Planning for Cooperative Air-Ground Robots with Fuel Constraints: An Approach based on CMSA. Genetic and Evolutionary Computation Conference (GECCO 2019) . [BibTeX]
Stefano Bonzio,  Tommaso Flaminio,  & Paolo Galeazzi (2019). Sure-Wins Under Coherence: A Geometrical Perspective. European Conference on Symbolic and Quantitative Approaches with Uncertainty - ECSQARU 2019 (pp. 363--373). Springer. [BibTeX]
Tommaso Flaminio (2019). Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings. In Gabriele Kern{-}Isberner and Zoran Ognjanovic (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, {ECSQARU}2019, Belgrade, Serbia, September 18-20, 2019, Proceedings (pp. 397--407). Springer. [BibTeX]
Ewa Andrejczuk,  Filippo Bistaffa,  Blum, Christian,  Juan A. Rodríguez-Aguilar,  & Carles Sierra (2019). Synergistic team composition: A computational approach to foster diversity in teams. Knowledge-Based Systems. [BibTeX]
2018
Blum, Christian,  & Blesa, Maria J (2018). A Comprehensive Comparison of Metaheuristics for the Repetition-Free Longest Common Subsequence Problem. Journal of Heuristics. [BibTeX]
Francesc Esteva,  Lluís Godo,  & Amanda Vidal (2018). A Modal Account of Preference in a Fuzzy Setting. Soft Computing Based Optimization and Decision Models. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2018). An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018 (pp. 370-378). Universidad de Granada. [BibTeX]  [PDF]
Juan Carlos Teze,  Lluís Godo,  & G. Simari (2018). An Argumentative Recommendation Approach Based on Contextual Aspects. Scalable Uncertainty Management (SUM 2018) (pp. 405-412). Springer. [BibTeX]  [PDF]
Pérez, Aritz,  Blum, Christian,  & Lozano, José Antonio (2018). Approximating the maximum weighted decomposable graph problem with applications to probabilistic graphical models . [BibTeX]
Teresa Alsinet,  J. Argerlich,  Javier Béjar,  Francesc Esteva,  & Lluís Godo (2018). A probabilistic author-centered model for Twitter discussions. IPMU 2018 (pp. 683-695). [BibTeX]  [PDF]
Filippo Bistaffa,  Juan A. Rodríguez-Aguilar,  Jesús Cerquides,  & Blum, Christian (2018). A Simulation Tool for Large-Scale Online Ridesharing (Demonstration). International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018) . [BibTeX]
Pere Pardo,  & Lluís Godo (2018). A temporal argumentation approach to cooperative planning using dialogues. Journal of Logic and Computation. [BibTeX]  [PDF]
Pilar Dellunde,  Angel García-Cerdaña,  & Carles Noguera (2018). Back-and-forth systems for fuzzy first-order models. Fuzzy Sets and Systems. [BibTeX]
Pietro Codara,  Francesc Esteva,  Lluís Godo,  & Diego Valota (2018). Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. IPMU 2018 (pp. 275-286). [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2018). Corrigendum to "Towards a probability theory for product logic: States, integral representation and reasoning" [Int. J. Approx. Reason. 93 (2018) 199-218]. Int. J. Approx. Reasoning. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2018). Corrigendum to "Towards a probability theory for product logic: States, integral representation and reasoning" [Int. J. Approx. Reason. 93 (2018) 199-218]. International Journal of Approximate Reasoning. [BibTeX]  [PDF]
Ewa Andrejczuk,  Filippo Bistaffa,  Blum, Christian,  Juan A. Rodríguez-Aguilar,  & Carles Sierra (2018). Heterogeneous Teams for Homogeneous Performance. Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018) . [BibTeX]
Blum, Christian,  & Blesa, Maria J (2018). Hybrid Techniques Based on Solving Reduced Problem Instances for a Longest Common Subsequence Problem. Applied Soft Computing. [BibTeX]
Blum, Christian (2018). ILP-Based Reduced Variable Neighborhood Search for Large-Scale Minimum Common String Partition. Electronic Notes in Discrete Mathematics. [BibTeX]
Maria Vanina Martinez,  Lluís Godo,  & Gerardo I. Simari (2018). Inferring Quantitative Preferences: Beyond Logical Deduction. Scalable Uncertainty Management (SUM 2018) (pp. 387-395). Springer. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Joan Gispert,  & Lluís Godo (2018). Maximality in finite-valued Lukasiewicz logics defined by order filters. Logic, Algebra and Truth Degrees (LATD 2018) (pp. 39-42). University of Bern. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  Tommaso Flaminio,  & Lluís Godo (2018). On an implication-free reduct of MV_n chains. Logic, Algebra and Truth Degrees (LATD 2018) (pp. 43-46). University of Bern. [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2018). On Extending Fuzzy Preorders to Sets and Their Corresponding Strict Orders. The Mathematics of the Uncertain. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2018). On finite-valued bimodal logics with an application to reasoning about preferences. Advances in Fuzzy Logic and Technology, Proc. of EUSFLAT 2017 (pp. 505-517). Springer AC. [BibTeX]  [PDF]
Blum, Christian,  & Festa, Paola (2018). Selected String Problems. Handbook of Heuristics. [BibTeX]
Ewa Andrejczuk,  Filippo Bistaffa,  Blum, Christian,  Juan A. Rodríguez-Aguilar,  & Carles Sierra (2018). Solving the Synergistic Team Formation Problem. Proceedings of the 17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2018) . [BibTeX]
Pinacho Davidson, Pedro,  Blum, Christian,  & Lozano, José Antonio (2018). The Weighted Independent Domination Problem: Integer Linear Programming Models and Metaheuristic Approaches. European Journal of Operational Research. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2018). Towards a probability theory for product logic: states, integral representation and reasoning. Internationa Journal of Approximate Reasoning. [BibTeX]  [PDF]
Vaishak Belle,  Lluís Godo,  Henri Prade,  Jochen Renz,  Steven Schockaert,  Ute Schmid,  & Diderich Wolter (2018). Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning (L&R 2018) . [BibTeX]
2017
Blum, Christian,  & Blesa, Maria J (2017). A Hybrid Evolutionary Algorithm Based on Solution Merging for the Longest Arc-Preserving Common Subsequence Problem . [BibTeX]
Felip Manyà,  Santiago Negrete,  Carme Roig,  & Joan Ramon Soler (2017). A MaxSAT-Based Approach to the Team Composition Problem in a Classroom . [BibTeX]
Blum, Christian,  Blesa, Maria J,  Duarte, Abraham,  & Sánchez-Oro, Jesús (2017). An Alternative ILP Model and Algorithmic Ideas for the Maximum Edge-Disjoint Paths Problem. Metaheuristics International Conference (MIC) . [BibTeX]
Lizárraga, Evelia,  Blesa, Maria J,  & Blum, Christian (2017). Construct, Merge, Solve and Adapt Versus Large Neighborhood Search for Solving the Multi-dimensional Knapsack Problem: Which One Works Better When? . [BibTeX]
Rodolfo Ertola,  Francesc Esteva,  & Lluís Godo (2017). Expanding FLew with a Boolean connective. Soft Computing - A Fusion of Foundations, Methodologies and Applications. [BibTeX]  [PDF]
Lynn D´err,  Chris Cornelis,  & Lluís Godo (2017). Fuzzy Neighborhood Operators based on Fuzzy Coverings. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2017). Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning. [BibTeX]
Horn, Matthias,  Raidl, Günther R,  & Blum, Christian (2017). Job Sequencing with One Common and Multiple Secondary Resources: A Problem Motivated from Particle Therapy for Cancer Treatment . [BibTeX]
Lizárraga, Evelia,  Blesa, Maria J,  Blum, Christian,  & Raidl, Günther R (2017). Large neighborhood search for the most strings with few bad columns problem. Soft Computing. [BibTeX]
Tommaso Flaminio,  & Lluís Godo (2017). Layers for zero-probability and stable coherence over Lukasiewicz events. Soft Computing - A Fusion of Foundations, Methodologies and Applications. [BibTeX]  [PDF]
Jesús Giráldez-Cru,  & Jordi Levy (2017). Locality in Random SAT Instances. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017 . [BibTeX]
Kim Bauters,  Kevin McAreavey,  Weiru Liu,  Jun Hong,  Lluís Godo,  & Carles Sierra (2017). Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments. Journal of Artificial Intelligence Research. [BibTeX]  [PDF]
Chalupa, David,  & Blum, Christian (2017). Mining k-Reachable Sets in Real-world Networks Using Domination in Shortcut Graphs. Journal of Computational Science. [BibTeX]
Manfred Schmidt-Schauß,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2017). Nominal Unification of Higher Order Expressions with Recursive Let. Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016 . [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2017). On Boolean Algebras of Conditionals and Their Logical Counterpart. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017 (pp. 246-256). Springer. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2017). On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation. [BibTeX]  [PDF]
Bouamama, Salim,  & Blum, Christian (2017). On Solving Large-Scale Instances of the Knapsack Problem with Setup by means of an Iterated Greedy Algorithm . [BibTeX]
Amanda Vidal,  Félix Bou,  Francesc Esteva,  & Lluís Godo (2017). On strong standard completeness in some MTL$_\Delta$ expansions. Soft Computing - A Fusion of Foundations, Methodologies and Applications. [BibTeX]  [PDF]
Lizárraga, Evelia,  Blesa, Maria J,  & Blum, Christian (2017). On the comparison of CMSA versus LNS for solving Combinatorial Optimization problems with different solution sizes. Metaheuristics International Conference (MIC) . [BibTeX]
Francesc Esteva,  Lluís Godo,  & Ricardo Oscar Rodriguez (2017). On the relation between modal and multi-modal logics over Lukasiewicz logic. 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (pp. 1-6). IEEE. [BibTeX]  [PDF]
Mohua Banerjee,  Didier Dubois,  Lluís Godo,  & Henri Prade (2017). On the relation between possibilistic logic and modal logics of belief and knowledge. Journal of Applied Non-Classical Logics (Published online: 05 Mar 2018). [BibTeX]  [PDF]
Zuzana Haniková,  & Lluís Godo (2017). Petr Hájek, Obituary. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Lluís Godo (2017). Similarity-Based Logics for Approximate Entailments. Quantitative Logic and Soft Computing 2016 (pp. 5-6). Springer. [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2017). Some observations on paraconsistent degree-preserving fuzzy logics. Symposia on Mathematical Techniques Applied to Data Analysis and Processing (SMATAD) (pp. 52-53). [BibTeX]  [PDF]
Blum, Christian,  Juan, Angel A,  Ramalhinho Dias Lourenco, Helena,  & Stützle, Thomas (2017). Special issue on "Metaheuristics". International Transactions in Operational Research. [BibTeX]
Tommaso Flaminio,  Lluís Godo,  & Sara Ugolini (2017). States of free product algebras and their integral representation. In I. Stubbe, U. Hoehle, S. Saminger-Platz, T. Vetterlein (Eds.), 37th Linz Seminar on Fuzzy Set Theory (pp. 35-38). [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jesús Giráldez-Cru,  & Jordi Levy (2017). Structure features for SAT instances classification. Journal of Applied Logic. [BibTeX]
Vicent Costa,  & Pilar Dellunde (2017). Term Models of Horn Clauses over Rational Pavelka Predicate Logic. IEEE International Symposium on Multiple-Valued Logic . [BibTeX]
Pinacho Davidson, Pedro,  Blum, Christian,  & Lozano, José Antonio (2017). The Weighted Independent Domination Problem: ILP Model and Algorithmic Approaches . [BibTeX]
Vaishak Belle,  James Cussens,  Marcelo Finger,  Lluís Godo,  Henri Prade,  & Guilin Qi (2017). Working Papers of the IJCAI-17 workshop on Logical Foundations for Uncertainty and Machine Learning (LFU-2017) . [BibTeX]  [PDF]
2016
Kim Bauters,  Weiru Liu,  & Lluís Godo (2016). Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016 . [BibTeX]
Kim Bauters,  Weiru Liu,  & Lluís Godo (2016). Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016 (pp. 24-41). Springer. [BibTeX]  [PDF]
Carlos Ansótegui,  Joel Gabàs,  & Jordi Levy (2016). Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics. [BibTeX]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2016). Formalization and logical properties of the Maximal Ideal Recursive Semantics for Weighted Defeasible Logic Programming. Journal of Experimental & Theoretical Artificial Intelligence. [BibTeX]  [PDF]
Jesús Giráldez-Cru,  & Jordi Levy (2016). Generating SAT instances with community structure. Artificial Intelligence. [BibTeX]
Xavier Ferrer Aran,  & Jesús Giráldez-Cru (2016). Link Prediction in Evolutionary Graphs. Artificial Intelligence Research and Development: Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016 . [BibTeX]
Kemo Adrian,  Paula Chocron,  Roberto Confalonieri,  Xavier Ferrer Aran,  & Jesús Giráldez-Cru (2016). Link prediction in evolutionary graphs the case study of the CCIA network. 19 October 2016 through 21 October 2016 . [BibTeX]
Kemo Adrian,  Paula Chocron,  Roberto Confalonieri,  Xavier Ferrer,  & Jesús Giráldez-Cru (2016). Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016 . [BibTeX]
Thomas Vetterlein,  Francesc Esteva,  & Lluís Godo (2016). Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning. [BibTeX]  [PDF]
Thomas Vetterlein,  Francesc Esteva,  & Lluís Godo (2016). Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning. [BibTeX]
Blum, Christian,  & Festa, Paola (2016). Metaheuristics for String Problems in Bioinformatics . [BibTeX]
Soma Dutta,  Francesc Esteva,  & Lluís Godo (2016). On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization. CAEPIA 2016 (pp. 498-508). Springer. [BibTeX]  [PDF]
Eva Armengol,  Pilar Dellunde,  & Angel García-Cerdaña (2016). On similarity in fuzzy description logics. Fuzzy Sets and Systems. [BibTeX]
Francesc Esteva,  & Lluís Godo (2016). On the Equational Characterization of Continuous t-Norms. On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory. [BibTeX]  [PDF]
Vicent Costa,  & Pilar Dellunde (2016). On the existence of free models in fuzzy universal Horn classes. Journal of Applied Logic. [BibTeX]
Mohua Banerjee,  Didier Dubois,  Lluís Godo,  & Henri Prade (2016). On the Relation between Possibilistic Logic and Modal Logics of Belief. In Pedro Cabalar, Martín Diéguez, Andreas Herzig and David Pearce (Eds.), 3rd Workshop on Logical Reasoning and Computation (pp. 127-137). [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2016). On the role of Mathematical Fuzzy Logic in Knowledge Representation. Prague Seminar: The Future of Mathematical Fuzzy Logic . [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  & Lluís Godo (2016). On the set of intermediate logics between the truth and degree preserving Lukasiewicz logics. Logic Journal of the IGPL. [BibTeX]  [PDF]
Patricia Gutierrez,  Nardine Osman,  Carme Roig,  & Carles Sierra (2016). Personalised Automated Assessments. . [BibTeX]
Patricia Gutierrez,  Nardine Osman,  Carme Roig,  & Carles Sierra (2016). Personalised Automated Assessments. Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016 . [BibTeX]
Félix Bou,  Francesc Esteva,  Lluís Godo,  & Ricardo Oscar Rodriguez (2016). Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic. IPMU 2016 (Part II) (pp. 123-135). Springer. [BibTeX]  [PDF]
Teresa Alsinet,  Ramon Bejar,  Lluís Godo,  & Francesc Guitart (2016). RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics. Journal of Logic and Computation. [BibTeX]  [PDF]
Soma Dutta,  Francesc Esteva,  & Lluís Godo (2016). Similarity-based reasoning using prototypes and counterexamples. ESTYLF 2016 . [BibTeX]  [PDF]
Francesc Esteva,  Angel García-Cerdaña,  & Lluís Godo (2016). Smooth finite t-norms and their equational axiomatization. Fuzzy Logic and Information Fusion. [BibTeX]  [PDF]
Luca Spada,  Lluís Godo,  & Diego Valota (2016). Syntax meets Semantics, SYMICS 2016 - Booklet of Abstracts . [BibTeX]  [PDF]
Allouche, David,  Bessiere, Christian,  Boizumault, Patrice,  de Givry, Simon,  Patricia Gutierrez,  Lee, Jimmy H.M.,  Leung, Ka Lun,  Loudni, Samir,  Métivier, Jean-Philippe,  Schiex, Thomas,  & Wu, Yi (2016). Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence. [BibTeX]
2015
Lynn D'err,  Nele Verbiest,  Chris Cornelis,  & Lluís Godo (2015). A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: Definitions, properties and robustness analysis. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Eva Armengol,  Pilar Dellunde,  & Angel García-Cerdaña (2015). A Logical Study of Local and Global Graded Similarities. Applied Artificial Intelligence. [BibTeX]
Jesús Giráldez-Cru,  & Jordi Levy (2015). A Modularity-Based Random SAT Instances Generator. Proc. of the 24th Int. Joint Conf on Artificial Intelligence, IJCAI'15 . [BibTeX]
Ramon López de Mántaras,  Lluís Godo,  Enric Plaza,  & Carles Sierra (2015). A Survey of Contributions to Fuzzy Logic and Ils applications to Artificial Intelligence at the IIIA. Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic. [BibTeX]  [PDF]
Patricia Gutierrez,  Nardine Osman,  & Carles Sierra (2015). Automating Personalized Learning through Motivation. 3rd International Conference on Agreement Technologies . [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2015). Coherence in the aggregate: a betting method for belief functions on many-valued events. International Journal of Approximate Reasoning. [BibTeX]  [PDF]
Ismel Brito,  Patricia Gutierrez,  Katina Hazelden,  Dave de Jonge,  Lissette Lemus,  Nardine Osman,  Bruno Rosell,  Carles Sierra,  & Carme Roig (2015). Collaborative Peer Assessment using PeerLearn. Music Learning with Massive Open Online Courses (MOOCs). [BibTeX]  [PDF]
Marc Pujol-Gonzalez,  Jesús Cerquides,  Alessandro Farinelli,  Pedro Meseguer,  & Juan A. Rodríguez-Aguilar (2015). Efficient Inter-Team Task Allocation in RoboCup Rescue. AAMAS '15: Proceedings of the 14th international conference on autonomous agents and multiagent systems . [BibTeX]  [PDF]
Miquel Bofill,  Felip Manyà,  Amanda Vidal,  & Mateu Villaret (2015). Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015 IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015 . [BibTeX]
F. Bobillo,  M. Cerami,  Francesc Esteva,  Angel García-Cerdaña,  R.Peñaloza,  & U.Straccia (2015). Fuzzy Description Logics . [BibTeX]
Lluís Godo,  & Siegfried Gottwald (2015). Fuzzy Sets and Formal Logics. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Francesc Esteva,  Lluís Godo,  Siegfried Gottwald,  & Franco Montagna (2015). Introduction (to the book "Petr Hájek on Mathematical Fuzzy Logic"). Petr Hájek on Mathematical Fuzzy Logic. [BibTeX]  [PDF]
Alexander Baumgartner,  Temur Kutsia,  Jordi Levy,  & Mateu Villaret (2015). Nominal Anti-Unification. Proc. of the 26th Int. Conf. on Rewriting Techniques and Applications, RTA'15 . [BibTeX]
Francesc Esteva,  Itziar García-Honrado,  & Lluís Godo (2015). On Conjectures in t-Norm Based Fuzzy Logics. Enric Trillas: A Passion for Fuzzy Sets - A Collection of Recent Works on Fuzzy Logic. [BibTeX]  [PDF]
Vicent Costa,  & Pilar Dellunde (2015). On Free Models for Horn Clauses over Predicate Fuzzy Logics. 18th International Conference of the Catalan Association for Artificial Intelligence . [BibTeX]
Amanda Vidal,  Lluís Godo,  Francesc Esteva,  & Fèlix Bou (2015). ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015 . [BibTeX]
Amanda Vidal,  Lluís Godo,  Francesc Esteva,  & Félix Bou (2015). ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015 . [BibTeX]  [PDF]
Francesc Esteva,  & Lluís Godo (2015). On Paraconsistency and Fuzzy Logics (A survey on the results of MaToMuVi project). In R.Cignoli, R.Rodriguez (Eds.), third MaToMuVi meeting (pp. 12-13). Instituto Matemático Argentino. [BibTeX]  [PDF]
Fèlix Bou,  Francesc Esteva,  & Lluís Godo (2015). On possibilistic modal logics defined over MTL-chains. Petr Hájek on Mathematical Fuzzy Logic. [BibTeX]  [PDF]
Amanda Vidal,  Lluís Godo,  & Francesc Esteva (2015). On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015 (pp. 828-835). Atlantis Press. [BibTeX]  [PDF]
Amanda Vidal,  Francesc Esteva,  & Lluís Godo (2015). On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015) . [BibTeX]  [PDF]
Tommaso Flaminio,  Lluís Godo,  & Hykel Hosni (2015). On the algebraic structure of conditional events. ECSQARU 2015 (pp. 106-116). Springer. [BibTeX]  [PDF]
Carlos Ansótegui,  María Luisa Bonet,  Jesús Giráldez-Cru,  & Jordi Levy (2015). On the Classification of Industrial SAT Families. Proc. of the 18th Int. Conf. of the Catalan Association for Artificial Intelligence, CCIA'15 . [BibTeX]
Marjon Blondeel,  Tommaso Flaminio,  Steven Schockaert,  Lluís Godo,  & Martine de Cock (2015). On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems. [BibTeX]  [PDF]
Rodolfo Ertola,  Francesc Esteva,  Tommaso Flaminio,  Lluís Godo,  & Carles Noguera (2015). Paraconsistency properties in degree-preserving fuzzy logics. Soft Computing - A Fusion of Foundations, Methodologies and Applications. [BibTeX]  [PDF]
Marcelo Coniglio,  Francesc Esteva,  & Lluís Godo (2015). Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite valued Lukasiewicz logic. Ninth Principia International Symposium: Possible Worlds and their Applications in Philosophy and the Sciences (pp. 103-105). [BibTeX]  [PDF]