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

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. A rule-based system for explainable donor-patient matching in liver transplantation

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Forgetting auxiliary atoms in forks

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