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
In Press
Francesc EstevaLluís GodoSandra Sandri; A similarity-based three-valued modal logic approach to reason with prototypes and counterexamples. In Press.  [PDF]  [BibTeX]
Marcelo ConiglioFrancesc EstevaJoan GispertLluís Godo; Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency. In Press.  [PDF]  [BibTeX]
2020
Li, BohanZhang, XindiCai, ShaoweiLin, JinkunWang, YiyuanBlum, 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 FlaminioLluís GodoRicardo Oscar Rodriguez; A Representation Theorem for Finite Godel Algebras with Operators. EUSFLAT 2019 (Book of Abstracts); 2019.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoRicardo 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 ConiglioFrancesc EstevaJoan GispertLluí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 ConiglioFrancesc EstevaJoan GispertLluís Godo; Maximality in finite-valued Łukasiewicz logics defined by order filters. Journal of Logic and Computation; 2019.  [BibTeX]
Thiruvady, DhananjayBlum, ChristianErnst, Andreas T.; Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO. 2019.  [BibTeX]
Raidl, Günther R.Puchinger, JakobBlum, Christian; Metaheuristic Hybrids. 2019.  [BibTeX]
Juan C TezeAntoni Perello-MoraguesLluís GodoPablo Noriega; Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence; 2019.  [BibTeX]
Juan Carlos TezeAntoni Perelló-MoraguesLluís GodoPablo Noriega; Practical reasoning using values: an argumentative approach based on a hierarchy of values. Annals of Mathematics and Artificial Intelligence; 2019.  [PDF]  [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; Prime numbers and implication free reducts of MVn-chains. 2019.  [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics; 2019.  [PDF]  [BibTeX]
Arora, DivanshMaini, ParikshitBlum, ChristianPinacho Davidson, Pedro; Route Planning for Cooperative Air-Ground Robots with Fuel Constraints: An Approach based on CMSA. 2019.  [BibTeX]
Stefano BonzioTommaso FlaminioPaolo Galeazzi; Sure-Wins Under Coherence: A Geometrical Perspective. Symbolic and Quantitative Approaches to Reasoning with Uncertainty; 2019.  [BibTeX]
Ewa AndrejczukFilippo BistaffaBlum, ChristianJuan A. Rodríguez-AguilarCarles 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, ChristianBlesa, Maria J; A Comprehensive Comparison of Metaheuristics for the Repetition-Free Longest Common Subsequence Problem. Journal of Heuristics; 2018.  [BibTeX]
Francesc EstevaLluís GodoAmanda Vidal; A Modal Account of Preference in a Fuzzy Setting. 2018.  [PDF]  [BibTeX]
Amanda VidalFrancesc EstevaLluís Godo; An alternative axiomatization for a fuzzy modal logic of preferences. ESTYLF 2018; 2018.  [PDF]  [BibTeX]
Juan Carlos TezeLluís GodoG. Simari; An Argumentative Recommendation Approach Based on Contextual Aspects. Scalable Uncertainty Management (SUM 2018); 2018.  [PDF]  [BibTeX]
Pérez, AritzBlum, ChristianLozano, 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 BistaffaJuan A. Rodríguez-AguilarJesús CerquidesBlum, Christian; A Simulation Tool for Large-Scale Online Ridesharing (Demonstration). 2018.  [BibTeX]
Pere PardoLluís Godo; A temporal argumentation approach to cooperative planning using dialogues. Journal of Logic and Computation; 2018.  [PDF]  [BibTeX]
Pilar DellundeAngel García-CerdañaCarles Noguera; Back-and-forth systems for fuzzy first-order models. Fuzzy Sets and Systems; 2018.  [BibTeX]
Pietro CodaraFrancesc EstevaLluís GodoDiego Valota; Connecting systems of mathematical fuzzy logic with fuzzy concept lattices. IPMU 2018; 2018.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoSara 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 FlaminioLluís GodoSara 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 AndrejczukFilippo BistaffaBlum, ChristianJuan A. Rodríguez-AguilarCarles Sierra; Heterogeneous Teams for Homogeneous Performance. 2018.  [BibTeX]
Blum, ChristianBlesa, 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 MartinezLluís GodoGerardo I. Simari; Inferring Quantitative Preferences: Beyond Logical Deduction. Scalable Uncertainty Management (SUM 2018); 2018.  [PDF]  [BibTeX]
Marcelo ConiglioFrancesc EstevaJoan GispertLluís Godo; Maximality in finite-valued Lukasiewicz logics defined by order filters. Logic, Algebra and Truth Degrees (LATD 2018); 2018.  [PDF]  [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; On an implication-free reduct of MV_n chains. Logic, Algebra and Truth Degrees (LATD 2018); 2018.  [PDF]  [BibTeX]
Francesc EstevaLluís Godo; On Extending Fuzzy Preorders to Sets and Their Corresponding Strict Orders. 2018.  [PDF]  [BibTeX]
Amanda VidalFrancesc EstevaLluí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, ChristianFesta, Paola; Selected String Problems. 2018.  [BibTeX]
Ewa AndrejczukFilippo BistaffaBlum, ChristianJuan A. Rodríguez-AguilarCarles Sierra; Solving the Synergistic Team Formation Problem. 2018.  [BibTeX]
Pinacho Davidson, PedroBlum, ChristianLozano, José Antonio; The Weighted Independent Domination Problem: Integer Linear Programming Models and Metaheuristic Approaches. European Journal of Operational Research; 2018.  [BibTeX]
Tommaso FlaminioLluís GodoSara Ugolini; Towards a probability theory for product logic: states, integral representation and reasoning. Internationa Journal of Approximate Reasoning; 2018.  [PDF]  [BibTeX]
Vaishak BelleLluís GodoHenri PradeJochen RenzSteven SchockaertUte SchmidDiderich 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 BelleLluís GodoHenri PradeJochen RenzSteven SchockaertUte SchmidDidedrich Wolter; Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning. 2018.  [PDF]  [BibTeX]
2017
Blum, ChristianBlesa, 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 NegreteCarme RoigJoan 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, ChristianBlesa, Maria JDuarte, AbrahamSánchez-Oro, Jesús; An Alternative ILP Model and Algorithmic Ideas for the Maximum Edge-Disjoint Paths Problem. 2017.  [BibTeX]
Lizárraga, EveliaBlesa, Maria JBlum, 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 ErtolaFrancesc EstevaLluís Godo; Expanding FLew with a Boolean connective. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2017.  [PDF]  [BibTeX]
Lynn D´errChris CornelisLluís Godo; Fuzzy Neighborhood Operators based on Fuzzy Coverings. Fuzzy Sets and Systems; 2017.  [PDF]  [BibTeX]
Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; Higher-Order Pattern Anti-Unification in Linear Time. Journal of Automated Reasoning; 2017.  [BibTeX]
Horn, MatthiasRaidl, Günther RBlum, 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, EveliaBlesa, Maria JBlum, ChristianRaidl, Günther R; Large neighborhood search for the most strings with few bad columns problem. Soft Computing; 2017.  [BibTeX]
Tommaso FlaminioLluí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-CruJordi Levy; Locality in Random SAT Instances. 2017.  [BibTeX]
Kim BautersKevin McAreaveyWeiru LiuJun HongLluís GodoCarles 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, DavidBlum, Christian; Mining k-Reachable Sets in Real-world Networks Using Domination in Shortcut Graphs. Journal of Computational Science; 2017.  [BibTeX]
Manfred Schmidt-SchaußTemur KutsiaJordi LevyMateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let. 2017.  [BibTeX]
Amanda VidalFrancesc EstevaLluís Godo; On Modal Extensions of Product Fuzzy Logic. Journal of Logic and Computation; 2017.  [PDF]  [BibTeX]
Bouamama, SalimBlum, 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 VidalFélix BouFrancesc EstevaLluí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, EveliaBlesa, Maria JBlum, Christian; On the comparison of CMSA versus LNS for solving Combinatorial Optimization problems with different solution sizes. 2017.  [BibTeX]
Francesc EstevaLluís GodoRicardo 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 BanerjeeDidier DuboisLluís GodoHenri 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 EstevaLluí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, ChristianJuan, Angel ARamalhinho Dias Lourenco, HelenaStützle, Thomas; Special issue on "Metaheuristics". International Transactions in Operational Research; 2017.  [BibTeX]
Tommaso FlaminioLluís GodoSara Ugolini; States of free product algebras and their integral representation. 37th Linz Seminar on Fuzzy Set Theory; 2017.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; Structure features for SAT instances classification. Journal of Applied Logic; 2017.  [BibTeX]
Vicent CostaPilar Dellunde; Term Models of Horn Clauses over Rational Pavelka Predicate Logic. 2017.  [BibTeX]
Pinacho Davidson, PedroBlum, ChristianLozano, 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 BelleJames CussensMarcelo FingerLluís GodoHenri PradeGuilin Qi; Working Papers of the IJCAI-17 workshop on Logical Foundations for Uncertainty and Machine Learning LFU-2017. 2017.  [PDF]  [BibTeX]
2016
Kim BautersWeiru LiuLluís Godo; Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs. 2016.  [BibTeX]
Kim BautersWeiru LiuLluí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óteguiJoel GabàsJordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithms. Journal of Heuristics; 2016.  [BibTeX]
Teresa AlsinetRamon BejarLluís GodoFrancesc 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-CruJordi Levy; Generating SAT instances with community structure. Artificial Intelligence; 2016.  [BibTeX]
Xavier Ferrer AranJesús Giráldez-Cru; Link Prediction in Evolutionary Graphs. 2016.  [BibTeX]
Kemo AdrianPaula ChocronRoberto ConfalonieriXavier Ferrer AranJesús Giráldez-Cru; Link prediction in evolutionary graphs the case study of the CCIA network. 2016.  [BibTeX]
Kemo AdrianPaula ChocronRoberto ConfalonieriXavier FerrerJesús Giráldez-Cru; Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network. 2016.  [BibTeX]
Thomas VetterleinFrancesc EstevaLluís Godo; Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning; 2016.  [PDF]  [BibTeX]
Thomas VetterleinFrancesc EstevaLluís Godo; Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning; 2016.  [BibTeX]
Blum, ChristianFesta, Paola; Metaheuristics for String Problems in Bioinformatics. 2016.  [BibTeX]
Soma DuttaFrancesc EstevaLluís Godo; On a Three-Valued Logic to Reason with Prototypes and Counterexamples and a Similarity-Based Generalization. CAEPIA 2016; 2016.  [PDF]  [BibTeX]
Eva ArmengolPilar DellundeAngel García-Cerdaña; On similarity in fuzzy description logics. Fuzzy Sets and Systems; 2016.  [BibTeX]
Francesc EstevaLluís Godo; On the Equational Characterization of Continuous t-Norms. 2016.  [PDF]  [BibTeX]
Vicent CostaPilar Dellunde; On the existence of free models in fuzzy universal Horn classes. Journal of Applied Logic; 2016.  [BibTeX]
Mohua BanerjeeDidier DuboisLluís GodoHenri Prade; On the Relation between Possibilistic Logic and Modal Logics of Belief. 3rd Workshop on Logical Reasoning and Computation; 2016.  [PDF]  [BibTeX]
Francesc EstevaLluís Godo; On the role of Mathematical Fuzzy Logic in Knowledge Representation. Prague Seminar: The Future of Mathematical Fuzzy Logic; 2016.  [PDF]  [BibTeX]
Marcelo ConiglioFrancesc EstevaLluí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 GutierrezNardine OsmanCarme RoigCarles Sierra; Personalised Automated Assessments. 2016.  [BibTeX]
Patricia GutierrezNardine OsmanCarme RoigCarles Sierra; Personalised Automated Assessments. 2016.  [BibTeX]
Félix BouFrancesc EstevaLluís GodoRicardo Oscar Rodriguez; Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic. IPMU 2016 (Part II); 2016.  [PDF]  [BibTeX]
Teresa AlsinetRamon BejarLluís GodoFrancesc Guitart; RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics. Journal of Logic and Computation; 2016.  [PDF]  [BibTeX]
Soma DuttaFrancesc EstevaLluís Godo; Similarity-based reasoning using prototypes and counterexamples. ESTYLF 2016; 2016.  [PDF]  [BibTeX]
Francesc EstevaAngel García-CerdañaLluís Godo; Smooth finite t-norms and their equational axiomatization. 2016.  [PDF]  [BibTeX]
Luca SpadaLluís GodoDiego Valota; Syntax meets Semantics, SYMICS 2016 - Booklet of Abstracts. 2016.  [PDF]  [BibTeX]
Allouche, DavidBessiere, ChristianBoizumault, Patricede Givry, SimonPatricia GutierrezLee, Jimmy H.M.Leung, Ka LunLoudni, SamirMétivier, Jean-PhilippeSchiex, ThomasWu, Yi; Tractability-preserving Transformations of Global Cost Functions. Artificial Intelligence; 2016.  [BibTeX]
2015
Lynn D'errNele VerbiestChris CornelisLluí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 ArmengolPilar DellundeAngel García-Cerdaña; A Logical Study of Local and Global Graded Similarities. Applied Artificial Intelligence; 2015.  [BibTeX]
Jesús Giráldez-CruJordi Levy; A Modularity-Based Random SAT Instances Generator. 2015.  [BibTeX]
Ramon López de MántarasLluís GodoEnric PlazaCarles Sierra; A Survey of Contributions to Fuzzy Logic and Ils applications to Artificial Intelligence at the IIIA. 2015.  [PDF]  [BibTeX]
Patricia GutierrezNardine OsmanCarles Sierra; Automating Personalized Learning through Motivation. 2015.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoHykel Hosni; Coherence in the aggregate: a betting method for belief functions on many-valued events. International Journal of Approximate Reasoning; 2015.  [PDF]  [BibTeX]
Ismel BritoPatricia GutierrezKatina HazeldenDave de JongeLissette LemusNardine OsmanBruno RosellCarles SierraCarme Roig; Collaborative Peer Assessment using PeerLearn. 2015.  [PDF]  [BibTeX]
Marc Pujol-GonzalezJesús CerquidesAlessandro FarinelliPedro MeseguerJuan A. Rodríguez-Aguilar; Efficient Inter-Team Task Allocation in RoboCup Rescue. 2015.  [PDF]  [BibTeX]
Miquel BofillFelip ManyàAmanda VidalMateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics. 2015.  [BibTeX]
F. BobilloM. CeramiFrancesc EstevaAngel García-CerdañaR.PeñalozaU.Straccia; Fuzzy Description Logics. 2015.  [BibTeX]
Lluís GodoSiegfried Gottwald; Fuzzy Sets and Formal Logics. Fuzzy Sets and Systems; 2015.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoSiegfried GottwaldFranco Montagna; Introduction (to the book "Petr Hájek on Mathematical Fuzzy Logic"). 2015.  [PDF]  [BibTeX]
Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; Nominal Anti-Unification. 2015.  [BibTeX]
Francesc EstevaItziar García-HonradoLluís Godo; On Conjectures in t-Norm Based Fuzzy Logics. 2015.  [PDF]  [BibTeX]
Vicent CostaPilar Dellunde; On Free Models for Horn Clauses over Predicate Fuzzy Logics. 2015.  [BibTeX]
Amanda VidalLluís GodoFrancesc EstevaFèlix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. 2015.  [BibTeX]
Amanda VidalLluís GodoFrancesc EstevaFélix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS. ManyVal 2015; 2015.  [PDF]  [BibTeX]
Francesc EstevaLluís Godo; On Paraconsistency and Fuzzy Logics (A survey on the results of MaToMuVi project). third MaToMuVi meeting; 2015.  [PDF]  [BibTeX]
Fèlix BouFrancesc EstevaLluís Godo; On possibilistic modal logics defined over MTL-chains. 2015.  [PDF]  [BibTeX]
Amanda VidalLluís GodoFrancesc Esteva; On strongly standard complete fuzzy logics: MTL^Q_*and its expansions. Proc. of the Joint Conference IFSA-EUSFLAT 2015; 2015.  [PDF]  [BibTeX]
Amanda VidalFrancesc EstevaLluís Godo; On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015); 2015.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoHykel Hosni; On the algebraic structure of conditional events. ECSQARU 2015; 2015.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; On the Classification of Industrial SAT Families. 2015.  [BibTeX]
Marjon BlondeelTommaso FlaminioSteven SchockaertLluís GodoMartine de Cock; On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief. Fuzzy Sets and Systems; 2015.  [PDF]  [BibTeX]
Rodolfo ErtolaFrancesc EstevaTommaso FlaminioLluís GodoCarles Noguera; Paraconsistency properties in degree-preserving fuzzy logics. Soft Computing - A Fusion of Foundations, Methodologies and Applications; 2015.  [PDF]  [BibTeX]
Marcelo ConiglioFrancesc EstevaLluí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 GutierrezNardine OsmanCarles Sierra; Personalised Automated Assessments. 2015.  [BibTeX]
Stefano AguzzoliPietro CodaraDiego ValotaTommaso FlaminioBrunella Gerla; Querying with Łukasiewicz logic. 2015.  [BibTeX]
M. E. CornejoFrancesc EstevaJesús MedinaE. Ramírez-Poussa; Relating adjoint negations with strong adjoint negations. 2015.  [PDF]  [BibTeX]
Santiago OntañónPedro Meseguer; Speeding up operations on feature terms using constraint programming and variable symmetry. Artificial Intelligence; 2015.  [BibTeX]
Miquel BofillFelip ManyàAmanda VidalMateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules. 2015.  [BibTeX]
Petr CintulaRostislav HorcíkCarles Noguera; The quest for the basic fuzzy logic. 2015.  [PDF]  [BibTeX]
Patricia GutierrezNardine OsmanCarme RoigCarles Sierra; Trust-Based Community Assessment. Pattern Recognition Letters; 2015.  [PDF]  [BibTeX]
Nardine OsmanPatricia GutierrezCarles Sierra; Trustworthy Advice. Knowledge-Based Systems; 2015.  [PDF]  [BibTeX]
Carlos AnsóteguiJesús Giráldez-CruJordi LevyLaurent Simon; Using Community Structure to Detect Relevant Learnt Clauses. 2015.  [BibTeX]
Marcelo FingerLluís GodoHenri PradeGuilin Qi; Working Papers of the IJCAI-2015 Workshop on Weighted Logics for Artificial Intelligence. 2015.  [PDF]  [BibTeX]
2014
Amanda VidalFrancesc EstevaLluí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 DellundeAngel García-CerdañaCarles Noguera; Advances on elementary equivalence in model theory of fuzzy logics. 2014.  [BibTeX]
Temur KutsiaJordi LevyMateu 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 VidalFrancesc EstevaLluís Godo; A product modal logic. 35th Linz Seminar on Fuzzy Set Theory; 2014.  [PDF]  [BibTeX]
Kim BautersWeiru LiuJun HongLluís GodoCarles 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 VidalFrancesc EstevaLluís Godo; Axiomatising a fuzzy modal logic over the standard product algebra. Logic, Algebra and Truth Degrees 2014 (LATD 2014); 2014.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoTomas Kroupa; Belief Functions on MV-algebras of Fuzzy Sets: An Overview. 2014.  [PDF]  [BibTeX]
Marc Pujol-GonzalezJesús CerquidesAlessandro FarinelliPedro MeseguerJuan A. Rodríguez-Aguilar; Binary max-sum for multi-team task allocation in RoboCup Rescue. 2014.  [PDF]  [BibTeX]
Marc Pujol-GonzalezJesús CerquidesAlessandro FarinelliPedro MeseguerJuan A. Rodríguez-Aguilar; Binary max-sum for multi-team task allocation in RoboCup Rescue. 2014.  [BibTeX]
Kim BautersWeiru LiuJun HongCarles SierraLluí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 GutierrezNardine OsmanCarles Sierra; Collaborative Assessment. 2014.  [PDF]  [BibTeX]
Patricia GutierrezNardine OsmanCarles Sierra; Collaborative Assessment. 2014.  [PDF]  [BibTeX]
Lluís GodoEnrico Marchioni; Games for the Strategic Influence of Expectations. 2nd International Workshop on Strategic Reasoning (SR 2014); 2014.  [PDF]  [BibTeX]
Eva ArmengolPilar DellundeAngel García-Cerdaña; Local and Global Similarities in Fuzzy Class Theory.. 2014.  [BibTeX]
Marcelo ConiglioFrancesc EstevaLluís Godo; Logics of formal inconsistency arising from systems of fuzzy logic. Logic Journal of the IGPL; 2014.  [PDF]  [BibTeX]
Pilar DellundeAngel García-CerdañaCarles Noguera; Lowenheim-Skolem theorems for first-order algebraizable logics. 2014.  [BibTeX]
Marc Pujol-GonzalezJesús CerquidesPedro Meseguer; MAS-Planes: A Multi-Agent Simulation Environment to Investigate Decentralized Coordination for Teams of UAVs (Demonstration). 2014.  [PDF]  [BibTeX]
Lynn D´errNele VerbiestChris CornelisLluí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 EstevaItziar García-HonradoLluí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 CeramiAngel García-CerdañaFrancesc 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 AlsinetRamon BejarLluís GodoFrancesc Guitart; On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP. CCIA 2014; 2014.  [PDF]  [BibTeX]
Tommaso FlaminioLluís GodoHykel Hosni; On the logical structure of de Finetti's notion of event. Journal of Applied Logic; 2014.  [PDF]  [BibTeX]
Jianbing MaWeiru LiuLluís GodoCarles Sierra; Plan Selection for Probabilistic BDI Agents. 26th IEEE International Conference on Tools with Artificial Intelligence; 2014.  [PDF]  [BibTeX]
Mohua BanerjeeDidier DuboisLluís Godo; Possibilistic vs. Relational Semantics for Logics of Incomplete Information. IPMU 2014, Part I; 2014.  [PDF]  [BibTeX]
Kim BautersKevin McAreaveyJun HongYingke ChenWeiru LiuLluís GodoCarles 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 CruzPatricia GutierrezPedro Meseguer; Simulation vs Real Execution in DCOP Solving. 2014.  [PDF]  [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; The Fractal Dimension of SAT Formulas. 2014.  [BibTeX]
Nardine OsmanPatricia GutierrezCarles Sierra; Trustworthy Advice. 2014.  [PDF]  [BibTeX]
Didier DuboisLluís GodoHenri Prade; Weighted logics for artificial intelligence - an introductory discussion. Internationa Journal of Approximate Reasoning; 2014.  [PDF]  [BibTeX]
2013
Tommaso FlaminioLluís Godo; A betting metaphor for belief functions on MV-algebras and fuzzy epistemic states. ManyVal 2013, Abstracts Volume; 2013.  [PDF]  [BibTeX]
Ana CasaliLluís GodoCarles Sierra; A language for the execution of graded BDI agents. Logic Journal of the IGPL; 2013.  [PDF]  [BibTeX]
Francesc EstevaLluís GodoCarles Noguera; A logical approach to fuzzy truth hedges. Information Sciences; 2013.  [PDF]  [BibTeX]
Pere PardoLluí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 FlaminioLluí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 CintulaCarles Noguera; A note on the hierarchy of algebraizable logics. 2013.  [PDF]  [BibTeX]
Pere PardoLluí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]