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
Christian Blum
Scientific Researcher

ext. 214
Vicent Costa
PhD Student

ext. 303
Pilar Dellunde
Adjunct Scientist

ext. 239
Gonzalo Escalada-Imaz
Scientific Researcher

ext. 212
Francesc Esteva
Adjunct Professor Ad Honorem

ext. 219
Tommaso Flaminio
Contract Researcher

ext. 233
Angel García-Cerdaña
Adjunct Scientist

ext. 238
Lluís Godo
Research Professor

ext. 217
Jordi Levy
Tenured Scientist

ext. 240
Marco Mantilla
PhD Student
 
 
Felip Manyà
Tenured Scientist

ext. 248
Pedro Meseguer
Scientific Researcher

ext. 237
Teddy Nurcahyadi
PhD Student
 
ext. 234
Joan Ramon Soler
PhD Student

ext. 204
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; A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. In Press.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo; Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. In Press.  [PDF]  [BibTeX]
2020
Li, Bohan, Zhang, Xindi, Cai, Shaowei, Lin, Jinkun, Wang, Yiyuan, Blum, Christian; NuCDS: An Efficient Local Search Algorithm for Minimum Connected Dominating Set. 2020.  [BibTeX]
Tommaso Flaminio; Three Characterizations of Strict Coherence on Infinite-Valued Events. The Review of Symbolic Logic; 2020.  [BibTeX]
2019
Tommaso Flaminio, Lluís Godo, Ricardo Oscar Rodriguez; A Representation Theorem for Finite Godel Algebras with Operators. EUSFLAT 2019 (Book of Abstracts); 2019.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo, Ricardo Oscar Rodriguez; A Representation Theorem for Finite Gödel Algebras with Operators. 26th Workshop on Logic, Language, Information and Computation, WoLLIC 2019; 2019.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo; Maximality in finite-valued Lukasiewicz logics defined by order filters. Journal of Logic and Computation (DOI: 10.1093/logcom/exy032); 2019.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo; Maximality in finite-valued Łukasiewicz logics defined by order filters. Journal of Logic and Computation; 2019.  [BibTeX]
Thiruvady, Dhananjay, Blum, Christian, Ernst, Andreas T.; Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO. 2019.  [BibTeX]
Raidl, Günther R., Puchinger, Jakob, Blum, Christian; Metaheuristic Hybrids. 2019.  [BibTeX]
Juan C Teze, Antoni Perello-Moragues, Lluís Godo, Pablo Noriega; Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence; 2019.  [BibTeX]
Juan Carlos Teze, Antoni Perelló-Moragues, Lluís Godo, Pablo Noriega; Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence; 2019.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo; Prime numbers and implication free reducts of MVn-chains. 2019.  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo; Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics; 2019.  [PDF]  [BibTeX]
Arora, Divansh, Maini, Parikshit, Blum, Christian, Pinacho Davidson, Pedro; Route Planning for Cooperative Air-Ground Robots with Fuel Constraints: An Approach based on CMSA. 2019.  [BibTeX]
Stefano Bonzio, Tommaso Flaminio, Paolo Galeazzi; Sure-Wins Under Coherence: A Geometrical Perspective. Symbolic and Quantitative Approaches to Reasoning with Uncertainty; 2019.  [BibTeX]
Ewa Andrejczuk, Filippo Bistaffa, Blum, Christian, Juan A. Rodríguez-Aguilar, Carles Sierra; Synergistic team composition: A computational approach to foster diversity in teams. Knowledge-Based Systems; 2019.  [BibTeX]
Tommaso Flaminio; Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued Events. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 15th European Conference, ECSQARU; 2019.  [BibTeX]
2018
Blum, Christian, Blesa, Maria J; A Comprehensive Comparison of Metaheuristics for the Repetition-Free Longest Common Subsequence Problem. Journal of Heuristics; 2018.  [BibTeX]
Francesc Esteva, Lluís Godo, Amanda Vidal; A Modal Account of Preference in a Fuzzy Setting. 2018.  [PDF]  [BibTeX]
Amanda Vidal, Francesc Esteva, Lluís Godo; An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018; 2018.  [PDF]  [BibTeX]
Juan Carlos Teze, Lluís Godo, G. Simari; An Argumentative Recommendation Approach Based on Contextual Aspects. Scalable Uncertainty Management (SUM 2018); 2018.  [PDF]  [BibTeX]
Pérez, Aritz, Blum, Christian, Lozano, José Antonio; Approximating the maximum weighted decomposable graph problem with applications to probabilistic graphical models. The 9th International Conference on Probabilistic Graphical Models; 2018.  [BibTeX]
Filippo Bistaffa, Juan A. Rodríguez-Aguilar, Jesús Cerquides, Blum, Christian; A Simulation Tool for Large-Scale Online Ridesharing (Demonstration). 2018.  [BibTeX]
Pere Pardo, Lluís Godo; A temporal argumentation approach to cooperative planning using dialogues. Journal of Logic and Computation; 2018.  [PDF]  [BibTeX]
Pilar Dellunde, Angel García-Cerdaña, Carles Noguera; Back-and-forth systems for fuzzy first-order models. Fuzzy Sets and Systems; 2018.  [BibTeX]
Pietro Codara, Francesc Esteva, Lluís Godo, Diego Valota; Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. IPMU 2018; 2018.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo, Sara Ugolini; 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; 2018.  [BibTeX]
Tommaso Flaminio, Lluís Godo, Sara Ugolini; 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; 2018.  [PDF]  [BibTeX]
Ewa Andrejczuk, Filippo Bistaffa, Blum, Christian, Juan A. Rodríguez-Aguilar, Carles Sierra; Heterogeneous Teams for Homogeneous Performance. 2018.  [BibTeX]
Blum, Christian, Blesa, Maria J; Hybrid Techniques Based on Solving Reduced Problem Instances for a Longest Common Subsequence Problem. Applied Soft Computing; 2018.  [BibTeX]
Blum, Christian; ILP-Based Reduced Variable Neighborhood Search for Large-Scale Minimum Common String Partition. Electronic Notes in Discrete Mathematics; 2018.  [BibTeX]
Maria Vanina Martinez, Lluís Godo, Gerardo I. Simari; Inferring Quantitative Preferences: Beyond Logical Deduction. Scalable Uncertainty Management (SUM 2018); 2018.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Joan Gispert, Lluís Godo; Maximality in finite-valued Lukasiewicz logics defined by order filters. Logic, Algebra and Truth Degrees (LATD 2018); 2018.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo; On an implication-free reduct of MV_n chains. Logic, Algebra and Truth Degrees (LATD 2018); 2018.  [PDF]  [BibTeX]
Francesc Esteva, Lluís Godo; On Extending Fuzzy Preorders to Sets and Their Corresponding Strict Orders. 2018.  [PDF]  [BibTeX]
Amanda Vidal, Francesc Esteva, Lluís Godo; On finite-valued bimodal logics with an application to reasoning about preferences. Advances in Fuzzy Logic and Technology, Proc. of EUSFLAT 2017; 2018.  [PDF]  [BibTeX]
Blum, Christian, Festa, Paola; Selected String Problems. 2018.  [BibTeX]
Ewa Andrejczuk, Filippo Bistaffa, Blum, Christian, Juan A. Rodríguez-Aguilar, Carles Sierra; Solving the Synergistic Team Formation Problem. 2018.  [BibTeX]
Pinacho Davidson, Pedro, Blum, Christian, Lozano, José Antonio; The Weighted Independent Domination Problem: Integer Linear Programming Models and Metaheuristic Approaches. European Journal of Operational Research; 2018.  [BibTeX]
Tommaso Flaminio, Lluís Godo, Sara Ugolini; Towards a probability theory for product logic: states, integral representation and reasoning. Internationa Journal of Approximate Reasoning; 2018.  [PDF]  [BibTeX]
Vaishak Belle, Lluís Godo, Henri Prade, Jochen Renz, Steven Schockaert, Ute Schmid, Diderich Wolter; Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning. IJCAI-ECAI-2018 Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge; 2018.  [BibTeX]
Vaishak Belle, Lluís Godo, Henri Prade, Jochen Renz, Steven Schockaert, Ute Schmid, Didedrich Wolter; Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning. 2018.  [PDF]  [BibTeX]
2017
Blum, Christian, Blesa, Maria J; A Hybrid Evolutionary Algorithm Based on Solution Merging for the Longest Arc-Preserving Common Subsequence Problem. CEC 2017 -- Congress on Evolutionary Computation; 2017.  [BibTeX]
Felip Manyà, Santiago Negrete, Carme Roig, Joan Ramon Soler; A MaxSAT-Based Approach to the Team Composition Problem in a Classroom. FIRST INTERNATIONAL WORKSHOP ON TEAMS IN MULTIAGENT SYSTEMS; 2017.  [BibTeX]
Blum, Christian, Blesa, Maria J, Duarte, Abraham, Sánchez-Oro, Jesús; An Alternative ILP Model and Algorithmic Ideas for the Maximum Edge-Disjoint Paths Problem. 2017.  [BibTeX]
Lizárraga, Evelia, Blesa, Maria J, Blum, Christian; Construct, Merge, Solve and Adapt Versus Large Neighborhood Search for Solving the Multi-dimensional Knapsack Problem: Which One Works Better When?. EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization; 2017.  [BibTeX]
Rodolfo Ertola, Francesc Esteva, Lluís Godo; Expanding FLew with a Boolean connective. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.  [PDF]  [BibTeX]
Lynn D´err, Chris Cornelis, Lluís Godo; Fuzzy Neighborhood Operators based on Fuzzy Coverings. Fuzzy Sets and Systems; 2017.  [PDF]  [BibTeX]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 2017.  [BibTeX]
Horn, Matthias, Raidl, Günther R, Blum, Christian; Job Sequencing with One Common and Multiple Secondary Resources: A Problem Motivated from Particle Therapy for Cancer Treatment. MOD 2017 -- The Third International Conference on Machine Learning, Optimization and Big Data; 2017.  [BibTeX]
Lizárraga, Evelia, Blesa, Maria J, Blum, Christian, Raidl, Günther R; Large neighborhood search for the most strings with few bad columns problem. Soft Computing; 2017.  [BibTeX]
Tommaso Flaminio, Lluís Godo; Layers for zero-probability and stable coherence over Lukasiewicz events. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.  [PDF]  [BibTeX]
Jesús Giráldez-Cru, Jordi Levy; Locality in Random SAT Instances. 2017.  [BibTeX]
Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo, Carles Sierra; Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments. Journal of Artificial Intelligence Research; 2017.  [PDF]  [BibTeX]
Chalupa, David, Blum, Christian; Mining k-Reachable Sets in Real-world Networks Using Domination in Shortcut Graphs. Journal of Computational Science; 2017.  [BibTeX]
Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. 2017.  [BibTeX]
Amanda Vidal, Francesc Esteva, Lluís Godo; On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation; 2017.  [PDF]  [BibTeX]
Bouamama, Salim, Blum, Christian; On Solving Large-Scale Instances of the Knapsack Problem with Setup by means of an Iterated Greedy Algorithm. ICSC 2017 -- 6th International Conference on Systems and Control; 2017.  [BibTeX]
Amanda Vidal, Félix Bou, Francesc Esteva, Lluís Godo; On strong standard completeness in some MTL$_\Delta$ expansions. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.  [PDF]  [BibTeX]
Lizárraga, Evelia, Blesa, Maria J, Blum, Christian; On the comparison of CMSA versus LNS for solving Combinatorial Optimization problems with different solution sizes. 2017.  [BibTeX]
Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez; On the relation between modal and multi-modal logics over Lukasiewicz logic. 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE),; 2017.  [PDF]  [BibTeX]
Mohua Banerjee, Didier Dubois, Lluís Godo, Henri Prade; On the relation between possibilistic logic and modal logics of belief and knowledge. Journal of Applied Non-Classical Logics (Published online: 05 Mar 2018); 2017.  [PDF]  [BibTeX]
Zuzana Haniková, Lluís Godo; Petr Hájek, Obituary. Fuzzy Sets and Systems; 2017.  [PDF]  [BibTeX]
Lluís Godo; Similarity-Based Logics for Approximate Entailments. Quantitative Logic and Soft Computing 2016; 2017.  [PDF]  [BibTeX]
Francesc Esteva, Lluís Godo; Some observations on paraconsistent degree-preserving fuzzy logics. Symposia on Mathematical Techniques Applied to Data Analysis and Processing (SMATAD); 2017.  [PDF]  [BibTeX]
Blum, Christian, Juan, Angel A, Ramalhinho Dias Lourenco, Helena, Stützle, Thomas; Special issue on "Metaheuristics". International Transactions in Operational Research; 2017.  [BibTeX]
Tommaso Flaminio, Lluís Godo, Sara Ugolini; States of free product algebras and their integral representation. 37th Linz Seminar on Fuzzy Set Theory; 2017.  [PDF]  [BibTeX]
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.  [BibTeX]
Vicent Costa, Pilar Dellunde; Term Models of Horn Clauses over Rational Pavelka Predicate Logic. 2017.  [BibTeX]
Pinacho Davidson, Pedro, Blum, Christian, Lozano, José Antonio; The Weighted Independent Domination Problem: ILP Model and Algorithmic Approaches. EvoCOP 2017 -- 17th European Conference on Evolutionary Computation in Combinatorial Optimization; 2017.  [BibTeX]
Vaishak Belle, James Cussens, Marcelo Finger, Lluís Godo, Henri Prade, Guilin Qi; Working Papers of the IJCAI-17 workshop on Logical Foundations for Uncertainty and Machine Learning LFU-2017. 2017.  [PDF]  [BibTeX]
2016
Kim Bauters, Weiru Liu, Lluís Godo; Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. 2016.  [BibTeX]
Kim Bauters, Weiru Liu, Lluís Godo; Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016; 2016.  [PDF]  [BibTeX]
Carlos Ansótegui, Joel Gabàs, Jordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.  [BibTeX]
Teresa Alsinet, Ramon Bejar, Lluís Godo, Francesc Guitart; Formalization and logical properties of the Maximal Ideal Recursive Semantics for Weighted Defeasible Logic Programming. Journal of Experimental & Theoretical Artificial Intelligence; 2016.  [PDF]  [BibTeX]
Jesús Giráldez-Cru, Jordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.  [BibTeX]
Xavier Ferrer Aran, Jesús Giráldez-Cru; Link Prediction in Evolutionary Graphs. 2016.  [BibTeX]
Kemo Adrian, Paula Chocron, Roberto Confalonieri, Xavier Ferrer Aran, Jesús Giráldez-Cru; Link prediction in evolutionary graphs the case study of the CCIA network. 2016.  [BibTeX]
Kemo Adrian, Paula Chocron, Roberto Confalonieri, Xavier Ferrer, Jesús Giráldez-Cru; Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. 2016.  [BibTeX]
Thomas Vetterlein, Francesc Esteva, Lluís Godo; Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning; 2016.  [PDF]  [BibTeX]
Thomas Vetterlein, Francesc Esteva, Lluís Godo; Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning; 2016.  [BibTeX]
Blum, Christian, Festa, Paola; Metaheuristics for String Problems in Bioinformatics. 2016.  [BibTeX]
Soma Dutta, Francesc Esteva, Lluís Godo; On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization. CAEPIA 2016; 2016.  [PDF]  [BibTeX]
Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; On similarity in fuzzy description logics. Fuzzy Sets and Systems; 2016.  [BibTeX]
Francesc Esteva, Lluís Godo; On the Equational Characterization of Continuous t-Norms. 2016.  [PDF]  [BibTeX]
Vicent Costa, Pilar Dellunde; On the existence of free models in fuzzy universal Horn classes. Journal of Applied Logic; 2016.  [BibTeX]
Mohua Banerjee, Didier Dubois, Lluís Godo, Henri Prade; On the Relation between Possibilistic Logic and Modal Logics of Belief. 3rd Workshop on Logical Reasoning and Computation; 2016.  [PDF]  [BibTeX]
Francesc Esteva, Lluís Godo; On the role of Mathematical Fuzzy Logic in Knowledge Representation. Prague Seminar: The Future of Mathematical Fuzzy Logic; 2016.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Lluís Godo; On the set of intermediate logics between the truth and degree preserving Lukasiewicz logics. Logic Journal of the IGPL; 2016.  [PDF]  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carme Roig, Carles Sierra; Personalised Automated Assessments. 2016.  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carme Roig, Carles Sierra; Personalised Automated Assessments. 2016.  [BibTeX]
Félix Bou, Francesc Esteva, Lluís Godo, Ricardo Oscar Rodriguez; Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic. IPMU 2016 (Part II); 2016.  [PDF]  [BibTeX]
Teresa Alsinet, Ramon Bejar, Lluís Godo, Francesc Guitart; RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics. Journal of Logic and Computation; 2016.  [PDF]  [BibTeX]
Soma Dutta, Francesc Esteva, Lluís Godo; Similarity-based reasoning using prototypes and counterexamples. ESTYLF 2016; 2016.  [PDF]  [BibTeX]
Francesc Esteva, Angel García-Cerdaña, Lluís Godo; Smooth finite t-norms and their equational axiomatization. 2016.  [PDF]  [BibTeX]
Luca Spada, Lluís Godo, Diego Valota; Syntax meets Semantics, SYMICS 2016 - Booklet of Abstracts. 2016.  [PDF]  [BibTeX]
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; Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence; 2016.  [BibTeX]
2015
Lynn D'err, Nele Verbiest, Chris Cornelis, Lluís Godo; A comprehensive study of implicator-conjunctor-based and noise-tolerant fuzzy rough sets: Definitions, properties and robustness analysis. Fuzzy Sets and Systems; 2015.  [PDF]  [BibTeX]
Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; A Logical Study of Local and Global Graded Similarities. Applied Artificial Intelligence; 2015.  [BibTeX]
Jesús Giráldez-Cru, Jordi Levy; A Modularity-Based Random SAT Instances Generator. 2015.  [BibTeX]
Ramon López de Mántaras, Lluís Godo, Enric Plaza, Carles Sierra; A Survey of Contributions to Fuzzy Logic and Ils applications to Artificial Intelligence at the IIIA. 2015.  [PDF]  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carles Sierra; Automating Personalized Learning through Motivation. 2015.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo, Hykel Hosni; Coherence in the aggregate: a betting method for belief functions on many-valued events. International Journal of Approximate Reasoning; 2015.  [PDF]  [BibTeX]
Ismel Brito, Patricia Gutierrez, Katina Hazelden, Dave de Jonge, Lissette Lemus, Nardine Osman, Bruno Rosell, Carles Sierra, Carme Roig; Collaborative Peer Assessment using PeerLearn. 2015.  [PDF]  [BibTeX]
Marc Pujol-Gonzalez, Jesús Cerquides, Alessandro Farinelli, Pedro Meseguer, Juan A. Rodríguez-Aguilar; Efficient Inter-Team Task Allocation in RoboCup Rescue. 2015.  [PDF]  [BibTeX]
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015.  [BibTeX]
F. Bobillo, M. Cerami, Francesc Esteva, Angel García-Cerdaña, R.Peñaloza, U.Straccia; Fuzzy Description Logics. 2015.  [BibTeX]
Lluís Godo, Siegfried Gottwald; Fuzzy Sets and Formal Logics. Fuzzy Sets and Systems; 2015.  [PDF]  [BibTeX]
Francesc Esteva, Lluís Godo, Siegfried Gottwald, Franco Montagna; Introduction (to the book "Petr Hájek on Mathematical Fuzzy Logic"). 2015.  [PDF]  [BibTeX]
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret; Nominal Anti-Unification. 2015.  [BibTeX]
Francesc Esteva, Itziar García-Honrado, Lluís Godo; On Conjectures in t-Norm Based Fuzzy Logics. 2015.  [PDF]  [BibTeX]
Vicent Costa, Pilar Dellunde; On Free Models for Horn Clauses over Predicate Fuzzy Logics. 2015.  [BibTeX]
Amanda Vidal, Lluís Godo, Francesc Esteva, Fèlix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. 2015.  [BibTeX]
Amanda Vidal, Lluís Godo, Francesc Esteva, Félix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015; 2015.  [PDF]  [BibTeX]
Francesc Esteva, Lluís Godo; On Paraconsistency and Fuzzy Logics (A survey on the results of MaToMuVi project). third MaToMuVi meeting; 2015.  [PDF]  [BibTeX]
Fèlix Bou, Francesc Esteva, Lluís Godo; On possibilistic modal logics defined over MTL-chains. 2015.  [PDF]  [BibTeX]
Amanda Vidal, Lluís Godo, Francesc Esteva; On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015; 2015.  [PDF]  [BibTeX]
Amanda Vidal, Francesc Esteva, Lluís Godo; On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015); 2015.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo, Hykel Hosni; On the algebraic structure of conditional events. ECSQARU 2015; 2015.  [PDF]  [BibTeX]
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; On the Classification of Industrial SAT Families. 2015.  [BibTeX]
Marjon Blondeel, Tommaso Flaminio, Steven Schockaert, Lluís Godo, Martine de Cock; On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems; 2015.  [PDF]  [BibTeX]
Rodolfo Ertola, Francesc Esteva, Tommaso Flaminio, Lluís Godo, Carles Noguera; Paraconsistency properties in degree-preserving fuzzy logics. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2015.  [PDF]  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Lluís Godo; 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; 2015.  [PDF]  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carles Sierra; Personalised Automated Assessments. 2015.  [BibTeX]
Stefano Aguzzoli, Pietro Codara, Diego Valota, Tommaso Flaminio, Brunella Gerla; Querying with Łukasiewicz logic. 2015.  [BibTeX]
M. E. Cornejo, Francesc Esteva, Jesús Medina, E. Ramírez-Poussa; Relating adjoint negations with strong adjoint negations. 2015.  [PDF]  [BibTeX]
Santiago Ontañón, Pedro Meseguer; Speeding up operations on feature terms using constraint programming and variable symmetry. Artificial Intelligence; 2015.  [BibTeX]
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 2015.  [BibTeX]
Petr Cintula, Rostislav Horcík, Carles Noguera; The quest for the basic fuzzy logic. 2015.  [PDF]  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carme Roig, Carles Sierra; Trust-Based Community Assessment. Pattern Recognition Letters; 2015.  [PDF]  [BibTeX]
Nardine Osman, Patricia Gutierrez, Carles Sierra; Trustworthy Advice. Knowledge-Based Systems; 2015.  [PDF]  [BibTeX]
Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. 2015.  [BibTeX]
Marcelo Finger, Lluís Godo, Henri Prade, Guilin Qi; Working Papers of the IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence. 2015.  [PDF]  [BibTeX]
2014
Amanda Vidal, Francesc Esteva, Lluís Godo; About standard completeness of Product logic. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014); 2014.  [PDF]  [BibTeX]
Pilar Dellunde, Angel García-Cerdaña, Carles Noguera; Advances on elementary equivalence in model theory of fuzzy logics. 2014.  [BibTeX]
Temur Kutsia, Jordi Levy, Mateu Villaret; Anti-unification for Unranked Terms and Hedges. Journal of Automated Reasoning; 2014.  [BibTeX]
Pilar Dellunde; Applications of ultraproducts: from compactness to fuzzy elementary classes. Logic Journal of the IGPL; 2014.  [BibTeX]
Amanda Vidal, Francesc Esteva, Lluís Godo; A product modal logic. 35th Linz Seminar on Fuzzy Set Theory; 2014.  [PDF]  [BibTeX]
Kim Bauters, Weiru Liu, Jun Hong, Lluís Godo, Carles Sierra; A Syntactic Approach to Revising Epistemic States with Uncertain Inputs. 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014; 2014.  [PDF]  [BibTeX]
Amanda Vidal, Francesc Esteva, Lluís Godo; Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014); 2014.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo, Tomas Kroupa; Belief Functions on MV-algebras of Fuzzy Sets: An Overview. 2014.  [PDF]  [BibTeX]
Marc Pujol-Gonzalez, Jesús Cerquides, Alessandro Farinelli, Pedro Meseguer, Juan A. Rodríguez-Aguilar; Binary max-sum for multi-team task allocation in RoboCup Rescue. 2014.  [PDF]  [BibTeX]
Marc Pujol-Gonzalez, Jesús Cerquides, Alessandro Farinelli, Pedro Meseguer, Juan A. Rodríguez-Aguilar; Binary max-sum for multi-team task allocation in RoboCup Rescue. 2014.  [BibTeX]
Kim Bauters, Weiru Liu, Jun Hong, Carles Sierra, Lluís Godo; CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information. 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014); 2014.  [PDF]  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carles Sierra; Collaborative Assessment. 2014.  [PDF]  [BibTeX]
Patricia Gutierrez, Nardine Osman, Carles Sierra; Collaborative Assessment. 2014.  [PDF]  [BibTeX]
Lluís Godo, Enrico Marchioni; Games for the Strategic Influence of Expectations. 2nd International Workshop on Strategic Reasoning (SR 2014); 2014.  [PDF]  [BibTeX]
Eva Armengol, Pilar Dellunde, Angel García-Cerdaña; Local and Global Similarities in Fuzzy Class Theory.. 2014.  [BibTeX]
Marcelo Coniglio, Francesc Esteva, Lluís Godo; Logics of formal inconsistency arising from systems of fuzzy logic. Logic Journal of the IGPL; 2014.  [PDF]  [BibTeX]
Pilar Dellunde, Angel García-Cerdaña, Carles Noguera; Lowenheim-Skolem theorems for first-order algebraizable logics. 2014.  [BibTeX]
Marc Pujol-Gonzalez, Jesús Cerquides, Pedro Meseguer; MAS-Planes: A Multi-Agent Simulation Environment to Investigate Decentralized Coordination for Teams of UAVs (Demonstration). 2014.  [PDF]  [BibTeX]
Lynn D´err, Nele Verbiest, Chris Cornelis, Lluís Godo; Modelos de Conjuntos Rugosos Difusos Tolerantes al Ruido: Definiciones y Propiedades. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014); 2014.  [PDF]  [BibTeX]
Francesc Esteva, Itziar García-Honrado, Lluís Godo; On conjectures in t-norm based fuzzy logics. XVII Congreso Español sobre Tecnologías y Lógica Fuzzy (ESTYLF 2014); 2014.  [PDF]  [BibTeX]
Marco Cerami, Angel García-Cerdaña, Francesc Esteva; On finitely-valued Fuzzy Description Logics. International Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021); 2014.  [BibTeX]
Teresa Alsinet, Ramon Bejar, Lluís Godo, Francesc Guitart; On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA 2014; 2014.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo, Hykel Hosni; On the logical structure of de Finetti's notion of event. Journal of Applied Logic; 2014.  [PDF]  [BibTeX]
Jianbing Ma, Weiru Liu, Lluís Godo, Carles Sierra; Plan Selection for Probabilistic BDI Agents. 26th IEEE International Conference on Tools with Artificial Intelligence; 2014.  [PDF]  [BibTeX]
Mohua Banerjee, Didier Dubois, Lluís Godo; Possibilistic vs. Relational Semantics for Logics of Incomplete Information. IPMU 2014, Part I; 2014.  [PDF]  [BibTeX]
Kim Bauters, Kevin McAreavey, Jun Hong, Yingke Chen, Weiru Liu, Lluís Godo, Carles Sierra; Probabilistic Planning in AgentSpeak using the POMDP framework. 4th Intl. Workshop on Combinations of Intelligent Methods and Applications (CIMA'14), extended version; 2014.  [PDF]  [BibTeX]
Amanda Vidal; Progress report on a modal extension of the solver NiBLos. 2014.  [BibTeX]
Francisco Cruz, Patricia Gutierrez, Pedro Meseguer; Simulation vs Real Execution in DCOP Solving. 2014.  [PDF]  [BibTeX]
Carlos Ansótegui, María Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy; The Fractal Dimension of SAT Formulas. 2014.  [BibTeX]
Nardine Osman, Patricia Gutierrez, Carles Sierra; Trustworthy Advice. 2014.  [PDF]  [BibTeX]
Didier Dubois, Lluís Godo, Henri Prade; Weighted logics for artificial intelligence - an introductory discussion. Internationa Journal of Approximate Reasoning; 2014.  [PDF]  [BibTeX]
2013
Tommaso Flaminio, Lluís Godo; A betting metaphor for belief functions on MV-algebras and fuzzy epistemic states. ManyVal 2013, Abstracts Volume; 2013.  [PDF]  [BibTeX]
Ana Casali, Lluís Godo, Carles Sierra; A language for the execution of graded BDI agents. Logic Journal of the IGPL; 2013.  [PDF]  [BibTeX]
Francesc Esteva, Lluís Godo, Carles Noguera; A logical approach to fuzzy truth hedges. Information Sciences; 2013.  [PDF]  [BibTeX]
Pere Pardo, Lluís Godo; An argumentation-based multi-agent temporal planning system built on t-DeLP. 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013; 2013.  [PDF]  [BibTeX]
Tommaso Flaminio, Lluís Godo; A note on the convex structure of uncertainty measures on MV-algebras. Synergies of Soft Computing and Statistics for Intelligent Data Analysis --6th International Conference on Soft Methods for Probability and Statistics (SMPS 2012); 2013.  [PDF]  [BibTeX]
Petr Cintula, Carles Noguera; A note on the hierarchy of algebraizable logics. 2013.  [PDF]  [BibTeX]
Pere Pardo, Lluís Godo; A temporal argumentation approach to cooperative planning using dialogues. 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV; 2013.  [PDF]  [BibTeX]