Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2024).Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint).Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI}2024, Jeju, South Korea, August 3-9, 2024(pp. 8475).
ijcai.org.https://doi.org/10.24963/ijcai.2024/947.[BibTeX]
[PDF]
Eduardo Calò,
Jordi Levy,
Albert Gatt,
& Kees Deemter
(2023).Is Shortest Always Best? The Role of Brevity in Logic-to-Text Generation.Alexis Palmer, & José Camacho-Collados (Eds.),Proceedings of the The 12th Joint Conference on Lexical and Computational Semantics, *SEM@ACL 2023, Toronto, Canada, July 13-14, 2023(pp. 180--192).
Association for Computational Linguistics.https://doi.org/10.18653/V1/2023.STARSEM-1.17.[BibTeX]
[PDF]
Carlos Ansótegui,
Maria Luisa Bonet,
& Jordi Levy
(2023).On the Density of States of Boolean Formulas.Ismael Sanz, Raquel Ros, & Jordi Nin (Eds.),Artificial Intelligence Research and Development - Proceedings of the 25th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2023, Món Sant Benet, Spain, 25-27 October 2023(pp. 369--382).
{IOS}Press.https://doi.org/10.3233/FAIA230707.[BibTeX]
[PDF]
Ilario Bonacina,
Maria Luisa Bonet,
& Jordi Levy
(2023).Polynomial Calculus for MaxSAT.Meena Mahajan, & Friedrich Slivovsky (Eds.),26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy(pp. 5:1--5:17).
Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPICS.SAT.2023.5.[BibTeX]
[PDF]
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]
Nieves Montes,
& Carles Sierra
(2021).Value-Guided Synthesis of Parametric Normative Systems.Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems(pp. 907–915).
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]