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

2018

  1. A probabilistic author-centered model for twitter discussions

    Communications in Computer and Information Science

2016

  1. 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

  2. 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

2014

  1. On the characterization of the maximal ideal recursive semantics of RP-DeLP

    Frontiers in Artificial Intelligence and Applications

2013

  1. On the implementation of a fuzzy dl solver over infinite-valued product logic with smt solvers

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

  2. On the implementation of a multiple output algorithm for defeasible argumentation

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

  3. Web based system for weighted defeasible argumentation

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

2012

  1. Optimizing energy consumption in automated vacuum waste collection systems

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

  2. The Automated Vacuum Waste Collection Optimization Problem

    Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012

  3. The automated vacuum waste collection optimization problem

    Proceedings of the National Conference on Artificial Intelligence

  4. Using answer set programming for an scalable implementation of defeasible argumentation

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

2011

  1. Maximal ideal recursive semantics for defeasible argumentation

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

2010

  1. A characterization of collective conflict for defeasible argumentation

    Frontiers in Artificial Intelligence and Applications

  2. A computational method for defeasible argumentation based on a recursive warrant semantics

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

2007

  1. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626

2006

  1. The impact of balancing on problem hardness in a highly structured domain

    Proceedings of the National Conference on Artificial Intelligence