Tommaso Flaminio,
Angelo Gilio,
Lluís Godo,
& Giuseppe Sanfilippo
(In Press).Canonical extensions of conditional probabilities and compound conditionals.17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022), Milan, Italy
.
[BibTeX]
Tommaso Flaminio,
Angelo Gilio,
Lluís Godo,
& Giuseppe Sanfilippo
(In Press).Compound conditionals as random quantities and Boolean algebras.Principles of Knowledge Representation and Reasoning - 19th International Conference, KR 2022, Haifa, Israel
.
[BibTeX]
Nardine Osman,
Ronald Chenu-Abente,
Qiang Shen,
Carles Sierra,
& Fausto Giunchiglia
(In Press).Empowering Users in Online Open Communities.SN Computer Science.[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo Oscar Rodriguez
(In Press).Rotations of G\"odel algebras with modal operators.17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022), Milan, Italy
.
[BibTeX]
Tomas Trescak,
Roger Lera-Leri,
Filippo Bistaffa,
& Juan A. Rodríguez-Aguilar
(2022).Agent-Assisted Life-Long Education and Learning.Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems
.
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Dave de Jonge
(2022).An Analysis of the Linear Bilateral {ANAC}Domains Using the {M}i{CRO}Benchmark Strategy.IJCAI 2022, Vienna, Austria
.
[BibTeX]
[PDF]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Ornella Mich,
Raman Kazhamiakin,
Alessio P. Approsio,
& Jean-Christophe Pazzaglia
(2022).An Anytime Heuristic Algorithm for Allocating Many Teams to Many Tasks.Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems
.
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
& Carles Sierra
(2022).Building Contrastive Explanations for Multi-Agent Team Formation.Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems
.
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Dave de Jonge,
& Dongmo Zhang
(2022).{GDL}as a Unifying Domain Description Language for Declarative Automated Negotiation.Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, & Matthew E. Taylor (Eds.),21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS}2022, Auckland, New Zealand, May 9-13, 2022(pp. 1935--1937).
International Foundation for Autonomous Agents and Multiagent Systems {(IFAAMAS)}.https://doi.org/10.5555/3535850.3536158.[BibTeX]
[PDF]
Errikos Streviniotis,
Athina Georgara,
& Georgios Chalkiadakis
(2022).ε−MC nets: A Compact Representation Scheme for Large Cooperative Game Settings.15th International Conference on Knowledge Science, Engineering and Management (KSEM 2022), Singapore, August 6-8, 2022
.
Springer-Verlag.[BibTeX]
[PDF]
2021
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2021).A Cognitively-Inspired Model for Making Sense of Hasse Diagrams.Proc. of the 23rd International Conference of the Catalan Association for Artificial Intelligence (CCIA 2021), October 20-22, Lleida, Catalonia, Spain
.
[BibTeX]
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo Oscar Rodríguez
(2021).Algebras and relational frames for Godel modal logic and some of its extensions.CoRR, abs/2110.02528.[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
& Sara Ugolini
(2021).Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals.Jirina Vejnarová, & Nic Wilson (Eds.),Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings(pp. 543--556).
Springer.https://doi.org/10.1007/978-3-030-86772-0_39.[BibTeX]
[PDF]
Chu-Min Li,
Zhenxing Xu,
Jordi Coll,
Felip Manyà,
Djamal Habet,
& Kun He
(2021).{Combining Clause Learning and Branch and Bound for MaxSAT}.{27th International Conference on Principles and Practice of Constraint Programming (CP 2021)}
.
https://doi.org/10.4230/LIPIcs.CP.2021.38.[BibTeX]
[PDF]
Marcelo Coniglio,
Francesc Esteva,
Joan Gispert,
& Lluís Godo
(2021).Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency.O. Arielli, & A. Zamansky (Eds.),Arnon Avron on Semantics and Proof Theory of Non-Classical Logics (pp 107--139).Springer.https://doi.org/10.1007/978-3-030-71258-7_6.[BibTeX]
[PDF]
Emma Segura,
Jennifer Grau-Sánchez,
David Sanchez-Pinsach,
Esther Duarte,
Josep Lluis Arcos,
& Antoni Rodríguez-Fornells
(2021).Enriched music-supported therapy in the improvement of motor function and quality of life of chronic stroke patients: a pilot study.NeuroMusic VII
.
[BibTeX]
Pablo Noriega,
& Txetxu Ausìn
(2021).Ethical, Legal, Economic and Social Implications.Sara Degli Esposti, & Carles Sierra (Eds.),White Paper on Artificial Intelligence, Robotics and Data Science (pp 120-141).Consejo Superior de Investigaciones Científicas (España).[BibTeX]
[PDF]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2021).Image Schemas and Conceptual Blending in Diagrammatic Reasoning: the Case of Hasse Diagrams.Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, & Petrucio Viana (Eds.),Diagrammatic Representation and Inference. 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings(pp. 297-314).
[BibTeX]
Maite Lopez-Sanchez,
Marc Serramia,
& Juan A Rodríguez-Aguilar
(2021).Improving on-line debates by aggregating citizen support.Artificial Intelligence Research and Development.IOS Press.[BibTeX]
[PDF]
Núria Correa,
Rita Vassena,
Jesus Cerquides,
& Josep Lluis Arcos
(2021).Limits of conventional Machine Learning methods to predict pregnancy and multiple pregnancy after embryo transfer.Ada Valls, & Mateu Villaret (Eds.),Frontiers in Artificial Intelligence and Applications (pp In Press).IOS Press.[BibTeX]
Chu Min Li,
& Felip Manyà
(2021).MaxSAT, Hard and Soft Constraints.Handbook of satisfiability, second edition (pp 903--927).IOS Press.[BibTeX]
[PDF]
Ariadna Quattoni,
& Xavier Carreras
(2021).Minimizing Annotation Effort via Max-Volume Spectral Sampling.Findings of the Association for Computational Linguistics: EMNLP 2021(pp. To appear).
Association for Computational Linguistics.[BibTeX]
[PDF]
Antoni Perello-Moragues,
Manel Poch,
David Sauri,
Lucia Alexandra Popartan,
& Pablo Noriega
(2021).Modelling Domestic Water Use in Metropolitan Areas Using Socio-Cognitive Agents.Water, 13.https://doi.org/10.3390/w13081024.[BibTeX]
[PDF]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2021).Modelling the Sense-Making of Diagrams Using Image Schemas.Proc. of the 43rd Annual Meeting of the Cognitive Science Society (CogSci 2021), 26--29 July 2021, Vienna, Austria(pp. 1105-1111).
[BibTeX]
[PDF]
Albert López Serrano,
Teddy Nurcahyadi,
Salim Bouamama,
& Christian Blum
(2021).Negative Learning Ant Colony Optimization for the Minimum Positive Influence Dominating Set Problem.Proceedings of the Genetic and Evolutionary Computation Conference Companion(pp. 1974–1977).
Association for Computing Machinery.https://doi.org/10.1145/3449726.3463130.[BibTeX]
Teddy Nurcahyadi,
& Christian Blum
(2021).Negative Learning in Ant Colony Optimization: Application to the Multi Dimensional Knapsack Problem.2021 5th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence(pp. 22–27).
Association for Computing Machinery.https://doi.org/10.1145/3461598.3461602.[BibTeX]
Manfred Schmidt-Schauß,
Temur Kutsia,
Jordi Levy,
Mateu Villaret,
& Yunus Kutz
(2021).Nominal Unification and Matching of Higher Order Expressions with Recursive Let.[BibTeX]
[PDF]
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
David Pla-Santamaria,
& Ana García-Bernabeu
(2021).On the formal foundations of cash management systems.Operational Research, 1081--1095.[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo Rodriguez
(2021).On the role of Dunn and Fisher Servi axioms in relational frames for Godel modal logics.Third International Conference on Non-Classical Modal and Predicate Logics (NCMPL 2021) - Book of Abstracts(pp. 52-54).
Ruhr University Bochum.[BibTeX]
[PDF]
Christian Blum
(2021).On the Use of Learning in Hybrid Algorithms Combining Metaheuristics with Exact Techniques.
.
[BibTeX]
Antoni Perello-Moragues,
Pablo Noriega,
Lucia Alexandra Popartan,
& Manel Poch
(2021).On Three Ethical Aspects Involved in Using Agent-Based Social Simulation for Policy-Making.Petra Ahrweiler, & Martin Neumann (Eds.),Advances in Social Simulation(pp. 415--427).
Springer International Publishing.[BibTeX]
[PDF]
Pilar Dellunde,
Lluís Godo,
& Amanda Vidal
(2021).Probabilistic argumentation: an approach based on conditional probability -- a preliminary report--.Wolfgang Faber, Gerhard Friedrich, Martin Gebser, & Michael Morak (Eds.),Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings(pp. 25--32).
Springer.https://doi.org/10.1007/978-3-030-75775-5\_3.[BibTeX]
[PDF]
Carlos Ansótegui,
& Jordi Levy
(2021).Reducing SAT to Max2SAT.Zhi-Hua Zhou (Eds.),Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI-21}(pp. 1367--1373).
International Joint Conferences on Artificial Intelligence Organization.https://doi.org/10.24963/ijcai.2021/189.[BibTeX]
[PDF]
Esther Anna Corsi,
Tommaso Flaminio,
& Hykel Hosni
(2021).Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison.Jirina Vejnarová, & Nic Wilson (Eds.),Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21-24, 2021, Proceedings(pp. 301--313).
Springer.https://doi.org/10.1007/978-3-030-86772-0_22.[BibTeX]
[PDF]
Baxter E.J.,
Adhikari S.,
Vega-Ferrero J.,
Cui W.,
Chang C.,
Jain B.,
& Knebe A.
(2021).Shocks in the stacked Sunyaev-Zel'dovich profiles of clusters - I. Analysis with the Three Hundred simulations.Monthly Notices of the Royal Astronomical Society, 508, 1777 – 1787.https://doi.org/10.1093/mnras/stab2720.[BibTeX]
[PDF]
Ignacio D. Lopez-Miguel,
Borja Fern\'{a}ndez Adiego,
Jean-Charles Tournier,
Enrique Blanco Vi\~{n}uela,
& Juan A. Rodriguez-Aguilar
(2021).Simplification of Numeric Variables for PLC Model Checking.Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design(pp. 10–20).
Association for Computing Machinery.https://doi.org/10.1145/3487212.3487334.[BibTeX]
Christian Blum,
Marko Djukanovic,
Alberto Santini,
Hua Jiang,
Chu-Min Li,
Felip Manyà,
& Günter R. Raidl
(2021).Solving Longest Common Subsequence Problems via a Transformation to the Maximum Clique Problem.Computers & Operations Research, article number 105089.https://doi.org/10.1016/j.cor.2020.105089.[BibTeX]
Francesc Esteva,
Aldo Figallo-Orellano,
Tommaso Flaminio,
& Lluís Godo
(2021).Some Categorical Equivalences for Nelson Algebras with Consistency Operators.Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP)(pp. 420-426).
Atlantis Press.https://doi.org/10.2991/asum.k.210827.056.[BibTeX]
[PDF]
(2021).Theory and Applications of Satisfiability Testing - {SAT}2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
.
Springer.https://doi.org/10.1007/978-3-030-80223-3.[BibTeX]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
& Carles Sierra
(2021).Towards a Competence-Based Approach to Allocate Teams to Tasks.Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems(pp. 1504–1506).
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Adri{\'{a}}n Torres{-}Mart{í}n,
Jer{\'{o}}nimo Hern{\'{a}}ndez{-}Gonz{\'{a}}lez,
& Jes{\'{u}}s Cerquides
(2021).Validation on Real Data of an Extended Embryo-Uterine Probabilistic Graphical Model for Embryo Selection.Mateu Villaret, Teresa Alsinet, C{\\`{e}}sar Fern{\\'{a}}ndez, & A{\\"{\\i}}da Valls (Eds.),Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, {CCIA}2021, Virtual Event, 20-22 October, 2021(pp. 225--234).
{IOS}Press.https://doi.org/10.3233/FAIA210139.[BibTeX]
[PDF]