2023-08-022023-08-02https://publica.fraunhofer.de/handle/publica/446403Workshop on Goal-directed Execution of Answer Set Programs 2023