Publications by the researcher in collaboration with Martín Diéguez Lodeiro (23)

2025

  1. A Fixpoint Characterisation of Temporal Equilibrium Logic

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

  2. Compiling Metric Temporal Answer Set Programming

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

2024

  1. Metric Temporal Equilibrium Logic over Timed Traces

    Theory and Practice of Logic Programming, Vol. 24, Núm. 3, pp. 425-452

2023

  1. Metric dynamic equilibrium logic

    Journal of Applied Non-Classical Logics, Vol. 33, Núm. 3-4, pp. 495-519

  2. Past-Present Temporal Programs over Finite Traces

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

  3. Past-present temporal programs over finite traces: a preliminary report

    CEUR Workshop Proceedings

2022

  1. Metric Temporal Answer Set Programming over Timed Traces

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

2021

  1. Automata for dynamic answer set solving: Preliminary report

    CEUR Workshop Proceedings

  2. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2020

  1. Implementing dynamic answer set programming over finite traces

    Frontiers in Artificial Intelligence and Applications

  2. Towards Metric Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2019

  1. Towards Dynamic Answer Set Programming over Finite Traces

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

  2. Towards dynamic answer set programming over finite traces

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2018

  1. Introducing temporal stable models for linear dynamic logic

    Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018

2017

  1. A short biography of Luis Fariñas del Cerro

    Journal of Applied Non-Classical Logics

  2. Temporal Equilibrium Logic with past operators

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

  3. Temporal logic programs with variables

    Theory and Practice of Logic Programming, Vol. 17, Núm. 2, pp. 226-243

2015

  1. An infinitary encoding of temporal equilibrium logic

    Theory and Practice of Logic Programming, Vol. 15, Núm. 4-5, pp. 666-680

2014

  1. Strong equivalence of non-monotonic temporal theories

    Proc. Int. Workshop Tempor. Represent. Reason.

  2. Temporal stable models are LTL-representable

    Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014