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

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

    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE

  8. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

  9. Modular Answer Set Programming as a Formal Specification Language

    Theory and Practice of Logic Programming

  10. On the Splitting Property for Epistemic Logic Programs

    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE

  11. On the splitting property for epistemic logic programs (extended abstract)

    IJCAI International Joint Conference on Artificial Intelligence

  12. Splitting Epistemic Logic Programs

    Theory and Practice of Logic Programming