Knowledge Processing and Information Systems Complex reasoning with answer set programming
@phdthesis{DBLP:phd/dnb/Kaminski23,
title = {Complex reasoning with answer set programming},
author = {Kaminski, Roland},
pages = {301},
school = {University of Potsdam},
type = {doctoralthesis},
year = {2023}
}