Publications by the researcher in collaboration with Torsten Schaub (25)

2024

  1. Metric Temporal Equilibrium Logic over Timed Traces

    Theory and Practice of Logic Programming

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

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

  2. An asp semantics for constraints involving conditional aggregates

    Frontiers in Artificial Intelligence and Applications

  3. Eclingo: A solver for epistemic logic programs

    Theory and Practice of Logic Programming

  4. Implementing dynamic answer set programming over finite traces

    Frontiers in Artificial Intelligence and Applications

  5. Towards Metric Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2019

  1. Dynamic and temporal answer set programming on linear finite traces

    CEUR Workshop Proceedings

  2. Gelfond–Zhang aggregates as propositional formulas

    Artificial Intelligence, Vol. 274, pp. 26-43

  3. Lower Bound Founded Logic of Here-and-There

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

  4. Temporal Logic Programs with Temporal Description Logic Axioms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag), pp. 174-186

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

  6. Towards dynamic answer set programming over finite traces

    Electronic Proceedings in Theoretical Computer Science, EPTCS