Publicaciones en colaboración con investigadores/as de University of Potsdam (36)

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. Discovery of a dormant 33 solar-mass black hole in pre-release Gaia astrometry

    Astronomy and Astrophysics, Vol. 686

  2. 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. On the Semantics of Hybrid ASP Systems Based on Clingo

    Algorithms, Vol. 16, Núm. 4

  3. Past-Present Temporal Programs over Finite Traces

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

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

  3. Towards a semantics for hybrid asp systems

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2020

  1. A Uniform Treatment of Aggregates and Constraints in Hybrid ASP

    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING

  2. A system for explainable answer set programming

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. A uniform treatment of aggregates and constraints in hybrid ASP

    17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020

  4. Autoepistemic answer set programming

    Artificial Intelligence, Vol. 289

  5. Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

    CEUR Workshop Proceedings

  6. Eclingo: A solver for epistemic logic programs

    Theory and Practice of Logic Programming

  7. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

  8. Modular Answer Set Programming as a Formal Specification Language

    Theory and Practice of Logic Programming