Publicaciones en las que colabora con Agustín Valverde Ramos (12)

2018

  1. Answer Set Programming from a Logical Point of View

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

2017

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

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

2013

  1. Foreword

    Journal of Applied Non-Classical Logics

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

    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