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

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

2008

  1. A level-based approach to computing warranted arguments in possibilistic defeasible programming

    Frontiers in Artificial Intelligence and Applications

  2. A logic programming framework for possibilistic argumentation: Formalization and logical properties

    Fuzzy Sets and Systems, Vol. 159, Núm. 10, pp. 1208-1228

  3. An efficient solver for weighted Max-SAT

    Journal of Global Optimization, Vol. 41, Núm. 1, pp. 61-73

  4. Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

    International Journal of Approximate Reasoning, Vol. 48, Núm. 3, pp. 711-729

  5. Preface

    Frontiers in Artificial Intelligence and Applications

2005

  1. Argument-based expansion operators in possibilistic defeasible logic programming: Characterization and logical properties

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

  2. Improved exact solvers for weighted Max-SAT

    Lecture Notes in Computer Science

  3. On warranted inference in possibilistic defeasible logic programming

    Frontiers in Artificial Intelligence and Applications

2004

  1. Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

    Fuzzy Sets and Systems, Vol. 144, Núm. 1, pp. 43-65