Publications in collaboration with researchers from University of Potsdam (4)

2021

  1. Linear-Time Temporal Answer Set Programming

    Theory and Practice of Logic Programming

2020

  1. Forgetting Auxiliary Atoms in Forks

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

  2. Forgetting auxiliary atoms in forks

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. Forgetting auxiliary atoms in forks

    Artificial Intelligence, Vol. 275, pp. 575-601