Publicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (101)

2023

  1. Encoding Ethics to Compute Value-Aligned Norms

    Minds and Machines, Vol. 33, Núm. 4, pp. 761-790

2022

  1. Incomplete MaxSAT approaches for combinatorial testing

    Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431

  2. Scale-Free Random SAT Instances

    Algorithms, Vol. 15, Núm. 6

  3. Yet Another (Fake) Proof of P=NP

    Frontiers in Artificial Intelligence and Applications

2021

  1. Clause tableaux for maximum and minimum satisfiability

    Logic Journal of the IGPL, Vol. 29, Núm. 1, pp. 7-27

  2. Reducing SAT to Max2SAT

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. Community structure in industrial SAT instances

    Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472

  2. Phase transition in realistic random SAT models

    Frontiers in Artificial Intelligence and Applications

2018

  1. A probabilistic author-centered model for twitter discussions

    Communications in Computer and Information Science

  2. Clause Branching in MaxSAT and MinSAT

    Frontiers in Artificial Intelligence and Applications

  3. Exploiting Moral Values to Choose the Right Norms

    AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society

2017

  1. Exploiting Many-Valued Variables in MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39

2016

  1. Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

    Fuzzy Sets and Systems, Vol. 292, pp. 32-48

  2. Exploiting subproblem optimization in SAT-based MaxSAT algorithms

    Journal of Heuristics, Vol. 22, Núm. 1, pp. 1-53

  3. Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming

    Journal of Experimental and Theoretical Artificial Intelligence, Vol. 28, Núm. 1-2, pp. 275-294

  4. RP-DeLP: A weighted defeasible argumentation framework based on a recursive semantics

    Journal of Logic and Computation, Vol. 26, Núm. 4, pp. 1315-1360

2015

  1. Approximate dynamic programming for automated vacuum waste collection systems

    Environmental Modelling and Software, Vol. 67, pp. 128-137

  2. On the Classification of Industrial SAT Families

    Frontiers in Artificial Intelligence and Applications

  3. Using community structure to detect relevant learnt clauses

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)