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
 
 
Joan Ramon Soler
PhD Student

ext. 301
In Press
2020
Tommaso Flaminio; Three Characterizations of Strict Coherence on Infinite-Valued EventsThe Review of Symbolic Logic; 2020. [BibTeX]
2019
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. [BibTeX]
Carlos Ansótegui and Maria Luisa Bonet and Jesús Giráldez-Cru and Jordi Levy and Laurent Simon; Community Structure in Industrial SAT InstancesCarlos Ansótegui and Maria Luisa Bonet and Jesús Giráldez-Cru and Jordi Levy and Laurent Simon; 2019. [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. [BibTeX]
Marcelo ConiglioFrancesc EstevaJoan GispertLluís Godo; Maximality in finite-valued Łukasiewicz logics defined by order filtersJournal of Logic and Computation; 2019. [BibTeX]
Thiruvady, DhananjayBlum, ChristianErnst, Andreas T.; Maximising the Net Present Value of Project Schedules Using CMSA and Parallel ACO2019. [BibTeX]
Raidl, Günther R.Puchinger, JakobBlum, Christian; Metaheuristic Hybrids2019. [BibTeX]
Carlos Ans{\'{o}}tegui and Maria Luisa Bonet and Jordi Levy; Phase Transition in Realistic Random {SAT}Models2019. [BibTeX]
Juan C TezeAntoni Perello-MoraguesLluís GodoPablo Noriega; Practical reasoning using values: an argumentative approach based on a hierarchy of valuesAnnals 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. [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; Prime numbers and implication free reducts of MVn-chains2019. [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; Prime numbers and implication free reducts of MVn-chains. SYSMICS 2019 - Syntax meets Semantics; 2019. [BibTeX]
Arora, DivanshMaini, ParikshitBlum, ChristianPinacho Davidson, Pedro; Route Planning for Cooperative Air-Ground Robots with Fuel Constraints: An Approach based on CMSA2019. [BibTeX]
Stefano BonzioTommaso FlaminioPaolo Galeazzi; Sure-Wins Under Coherence: A Geometrical PerspectiveSymbolic 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 teamsKnowledge-Based Systems; 2019. [BibTeX]
Ewa AndrejczukFilippo BistaffaBlum, ChristianJuan A. Rodríguez-AguilarCarles Sierra; Synergistic team composition: A computational approach to foster diversity in teamsKnowledge-Based Systems; 2019. [BibTeX]
Tommaso Flaminio; Towards a Standard Completeness for a Probabilistic Logic on Infinite-Valued EventsSymbolic 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 ProblemJournal of Heuristics; 2018. [BibTeX]
Juan Carlos TezeLluís GodoG. Simari; An Argumentative Recommendation Approach Based on Contextual Aspects. Scalable Uncertainty Management (SUM 2018); 2018. [BibTeX]
Pérez, AritzBlum, ChristianLozano, José Antonio; Approximating the maximum weighted decomposable graph problem with applications to probabilistic graphical modelsThe 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]
Pilar DellundeAngel García-CerdañaCarles Noguera; Back-and-forth systems for fuzzy first-order modelsFuzzy Sets and Systems; 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]Int. J. Approx. Reasoning; 2018. [BibTeX]
Ewa AndrejczukFilippo BistaffaBlum, ChristianJuan A. Rodríguez-AguilarCarles Sierra; Heterogeneous Teams for Homogeneous Performance2018. [BibTeX]
Blum, ChristianBlesa, Maria J; Hybrid Techniques Based on Solving Reduced Problem Instances for a Longest Common Subsequence ProblemApplied Soft Computing; 2018. [BibTeX]
Blum, Christian; ILP-Based Reduced Variable Neighborhood Search for Large-Scale Minimum Common String PartitionElectronic 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. [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. [BibTeX]
Marcelo ConiglioFrancesc EstevaTommaso FlaminioLluís Godo; On an implication-free reduct of MV_n chains. Logic, Algebra and Truth Degrees (LATD 2018); 2018. [BibTeX]
Blum, ChristianFesta, Paola; Selected String Problems2018. [BibTeX]
Ewa AndrejczukFilippo BistaffaBlum, ChristianJuan A. Rodríguez-AguilarCarles Sierra; Solving the Synergistic Team Formation Problem2018. [BibTeX]
Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret; Term-Graph Anti-Unification2018. [BibTeX]
Pinacho Davidson, PedroBlum, ChristianLozano, José Antonio; The Weighted Independent Domination Problem: Integer Linear Programming Models and Metaheuristic ApproachesEuropean Journal of Operational Research; 2018. [BibTeX]
Vaishak BelleLluís GodoHenri PradeJochen RenzSteven SchockaertUte SchmidDiderich Wolter; Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and ReasoningIJCAI-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. [BibTeX]
2017
Blum, ChristianBlesa, Maria J; A Hybrid Evolutionary Algorithm Based on Solution Merging for the Longest Arc-Preserving Common Subsequence ProblemCEC 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 ClassroomFIRST 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 Problem2017. [BibTeX]
https://www.sciencedirect.com/science/article/pii/B9780081011072000415; An Information-Based Discussion of Borderline Cases in Categorization: Six Scenarios Leading to Vagueness. 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. [BibTeX]
Lynn D´errChris CornelisLluís Godo; Fuzzy Neighborhood Operators based on Fuzzy Coverings. Fuzzy Sets and Systems; 2017. [BibTeX]
Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; Higher-Order Pattern Anti-Unification in Linear TimeJournal 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 TreatmentMOD 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 problemSoft 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. [BibTeX]
Jesús Giráldez-CruJordi Levy; Locality in Random SAT Instances2017. [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. [BibTeX]
Chalupa, DavidBlum, Christian; Mining k-Reachable Sets in Real-world Networks Using Domination in Shortcut GraphsJournal of Computational Science; 2017. [BibTeX]
Manfred Schmidt-SchaußTemur KutsiaJordi LevyMateu Villaret; Nominal Unification of Higher Order Expressions with Recursive Let2017. [BibTeX]
https://link.springer.com/chapter/10.1007/978-3-319-61581-3_23; On Boolean Algebras of Conditionals and Their Logical Counterpart. Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017; 2017. [BibTeX]
Bouamama, SalimBlum, Christian; On Solving Large-Scale Instances of the Knapsack Problem with Setup by means of an Iterated Greedy AlgorithmICSC 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. [BibTeX]
Lizárraga, EveliaBlesa, Maria JBlum, Christian; On the comparison of CMSA versus LNS for solving Combinatorial Optimization problems with different solution sizes2017. [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. [BibTeX]
Zuzana HanikováLluís Godo; Petr Hájek, Obituary. Fuzzy Sets and Systems; 2017. [BibTeX]
Lluís Godo; Similarity-Based Logics for Approximate Entailments. Quantitative Logic and Soft Computing 2016; 2017. [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. [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. [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; Structure features for SAT instances classificationJournal of Applied Logic; 2017. [BibTeX]
Vicent CostaPilar Dellunde; Term Models of Horn Clauses over Rational Pavelka Predicate Logic2017. [BibTeX]
Pinacho Davidson, PedroBlum, ChristianLozano, José Antonio; The Weighted Independent Domination Problem: ILP Model and Algorithmic ApproachesEvoCOP 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. [BibTeX]
2016
Kim BautersWeiru LiuLluís Godo; Anytime Algorithms for Solving Possibilistic MDPs and Hybrid MDPs2016. [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. [BibTeX]
Carlos AnsóteguiJoel GabàsJordi Levy; Exploiting subproblem optimization in SAT-based MaxSAT algorithmsJournal 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. [BibTeX]
Jesús Giráldez-CruJordi Levy; Generating SAT instances with community structureArtificial Intelligence; 2016. [BibTeX]
Xavier Ferrer AranJesús Giráldez-Cru; Link Prediction in Evolutionary Graphs2016. [BibTeX]
Kemo AdrianPaula ChocronRoberto ConfalonieriXavier Ferrer AranJesús Giráldez-Cru; Link prediction in evolutionary graphs the case study of the CCIA network2016. [BibTeX]
Kemo AdrianPaula ChocronRoberto ConfalonieriXavier FerrerJesús Giráldez-Cru; Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network2016. [BibTeX]
Thomas VetterleinFrancesc EstevaLluís Godo; Logics for approximate entailment in ordered universes of discourse. International Journal of Approximate Reasoning; 2016. [BibTeX]
Thomas VetterleinFrancesc EstevaLluís Godo; Logics for approximate entailment in ordered universes of discourseInternational Journal of Approximate Reasoning; 2016. [BibTeX]
Blum, ChristianFesta, Paola; Metaheuristics for String Problems in Bioinformatics2016. [BibTeX]
Eva ArmengolPilar DellundeAngel García-Cerdaña; On similarity in fuzzy description logicsFuzzy Sets and Systems; 2016. [BibTeX]
Vicent CostaPilar Dellunde; On the existence of free models in fuzzy universal Horn classesJournal 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. [BibTeX]
Francesc EstevaLluís Godo; On the role of Mathematical Fuzzy Logic in Knowledge Representation. Prague Seminar: The Future of Mathematical Fuzzy Logic; 2016. [BibTeX]
Patricia GutierrezNardine OsmanCarme RoigCarles Sierra; Personalised Automated Assessments2016. [BibTeX]
Patricia GutierrezNardine OsmanCarme RoigCarles Sierra; Personalised Automated Assessments2016. [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. [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 FunctionsArtificial Intelligence; 2016. [BibTeX]
2015
Eva ArmengolPilar DellundeAngel García-Cerdaña; A Logical Study of Local and Global Graded SimilaritiesApplied Artificial Intelligence; 2015. [BibTeX]
Jesús Giráldez-CruJordi Levy; A Modularity-Based Random SAT Instances Generator2015. [BibTeX]
Miquel BofillFelip ManyàAmanda VidalMateu Villaret; Finding Hard Instances of Satisfiability in Lukasiewicz Logics2015. [BibTeX]
F. BobilloM. CeramiFrancesc EstevaAngel García-CerdañaR.PeñalozaU.Straccia; Fuzzy Description Logics2015. [BibTeX]
Lluís GodoSiegfried Gottwald; Fuzzy Sets and Formal Logics. Fuzzy Sets and Systems; 2015. [BibTeX]
Alexander BaumgartnerTemur KutsiaJordi LevyMateu Villaret; Nominal Anti-Unification2015. [BibTeX]
Vicent CostaPilar Dellunde; On Free Models for Horn Clauses over Predicate Fuzzy Logics2015. [BibTeX]
Amanda VidalLluís GodoFrancesc EstevaFèlix Bou; ON MODAL EXPANSIONS OF LEFT-CONTINUOUS T-NORM LOGICS2015. [BibTeX]
Amanda VidalFrancesc EstevaLluís Godo; On strong standard completeness of MTL*(Q) expansions. Topology, Algebra and Categories in Logic (TACL 2015); 2015. [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; On the Classification of Industrial SAT Families2015. [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. [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. [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. [BibTeX]
Patricia GutierrezNardine OsmanCarles Sierra; Personalised Automated Assessments2015. [BibTeX]
Stefano AguzzoliPietro CodaraDiego ValotaTommaso FlaminioBrunella Gerla; Querying with Łukasiewicz logic2015. [BibTeX]
M. E. CornejoFrancesc EstevaJesús MedinaE. Ramírez-Poussa; Relating adjoint negations with strong adjoint negations. 2015. [BibTeX]
Santiago OntañónPedro Meseguer; Speeding up operations on feature terms using constraint programming and variable symmetryArtificial Intelligence; 2015. [BibTeX]
Miquel BofillFelip ManyàAmanda VidalMateu Villaret; The Complexity of 3-Valued Lukasiewicz Rules2015. [BibTeX]
Petr CintulaRostislav HorcíkCarles Noguera; The quest for the basic fuzzy logic. 2015. [BibTeX]
Patricia GutierrezNardine OsmanCarme RoigCarles Sierra; Trust-Based Community Assessment. Pattern Recognition Letters; 2015. [BibTeX]
Carlos AnsóteguiJesús Giráldez-CruJordi LevyLaurent Simon; Using Community Structure to Detect Relevant Learnt Clauses2015. [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. [BibTeX]
Pilar DellundeAngel García-CerdañaCarles Noguera; Advances on elementary equivalence in model theory of fuzzy logics2014. [BibTeX]
Temur KutsiaJordi LevyMateu Villaret; Anti-unification for Unranked Terms and HedgesJournal of Automated Reasoning; 2014. [BibTeX]
Pilar Dellunde; Applications of ultraproducts: from compactness to fuzzy elementary classesLogic Journal of the IGPL; 2014. [BibTeX]
Amanda VidalFrancesc EstevaLluís Godo; A product modal logic. 35th Linz Seminar on Fuzzy Set Theory; 2014. [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. [BibTeX]
Marc Pujol-GonzalezJesús CerquidesAlessandro FarinelliPedro MeseguerJuan A. Rodríguez-Aguilar; Binary max-sum for multi-team task allocation in RoboCup Rescue2014. [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. [BibTeX]
Lluís GodoEnrico Marchioni; Games for the Strategic Influence of Expectations. 2nd International Workshop on Strategic Reasoning (SR 2014); 2014. [BibTeX]
Eva ArmengolPilar DellundeAngel García-Cerdaña; Local and Global Similarities in Fuzzy Class Theory.2014. [BibTeX]
Pilar DellundeAngel García-CerdañaCarles Noguera; Lowenheim-Skolem theorems for first-order algebraizable logics2014. [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. [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. [BibTeX]
Marco CeramiAngel García-CerdañaFrancesc Esteva; On finitely-valued Fuzzy Description LogicsInternational Journal of Appoximate Reasoning (http://dx.doi.org/10.1016/j.ijar.2013.09.021); 2014. [BibTeX]
Jianbing MaWeiru LiuLluís GodoCarles Sierra; Plan Selection for Probabilistic BDI Agents. 26th IEEE International Conference on Tools with Artificial Intelligence; 2014. [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. [BibTeX]
Amanda Vidal; Progress report on a modal extension of the solver NiBLos2014. [BibTeX]
Carlos AnsóteguiMaría Luisa BonetJesús Giráldez-CruJordi Levy; The Fractal Dimension of SAT Formulas2014. [BibTeX]
Didier DuboisLluís GodoHenri Prade; Weighted logics for artificial intelligence - an introductory discussion. Internationa Journal of Approximate Reasoning; 2014. [BibTeX]
2013
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. [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. [BibTeX]