Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results

Joost Vennekens, Marc Denecker

Previous research into the relation between ASP and classical logic has identified at least two different ways in which the former extends the latter. First, ASP program typically…