Publicaciones en colaboración con investigadores/as de Universidad Rey Juan Carlos (12)

2023

  1. Computational approaches to Explainable Artificial Intelligence: Advances in theory, applications and trends

    Information Fusion, Vol. 100

2020

  1. Artificial intelligence within the interplay between natural and artificial computation: Advances in data science, trends and applications

    Neurocomputing, Vol. 410, pp. 237-270

2009

  1. Well-founded and partial stable semantics logical aspects

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

2007

  1. A purely model-theoretic semantics for disjunctive logic programs with negation

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

  2. Minimal logic programs

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

  3. 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. Logical foundations of well-founded semantics

    Proceedings of the International Conference on Knowledge Representation and Reasoning

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

  4. Strong negation in well-founded and partial stable semantics for logic programs

    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

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

  2. Reducing propositional theories in equilibrium logic to logic programs

    CEUR Workshop Proceedings