Publicaciones en colaboración con investigadores/as de Universidad de Málaga (17)

2024

  1. Preface

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

2018

  1. Answer Set Programming from a Logical Point of View

    KI - Kunstliche Intelligenz, Vol. 32, Núm. 2-3, pp. 109-118

  2. Integrating the common variability language with multilanguage annotations for web engineering

    ACM International Conference Proceeding Series

2017

  1. Machine learning models to search relevant genetic signatures in clinical context

    Proceedings of the International Joint Conference on Neural Networks

  2. On the properties of atom definability and well-supportedness in logic programming

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

  3. Stable reasoning

    Journal of Applied Non-Classical Logics, Vol. 27, Núm. 3-4, pp. 238-254

2014

  1. A free logic for stable models with partial intensional functions

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8761, pp. 340-354

2009

  1. A revised concept of safety for general answer set programs

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

2007

  1. Minimal logic programs

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

  2. Partial equilibrium logic

    Annals of Mathematics and Artificial Intelligence

2006

  1. Analysing and extending well-founded and partial stable semantics using partial equilibrium logic

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

  2. On the logic and computation of partial equilibrium models

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

2005

  1. Reducing propositional theories in equilibrium logic to logic programs

    CEUR Workshop Proceedings

  2. Reducing propositional theories in equilibrium logic to logic programs

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