Model-based reasoning using answer set programming - Wotawa, Franz; Kaufmann, David (Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems, 2022)