Christian Anger

Approaching the core of unfounded sets

Martin Gebser, Torsten Schaub, Christian Anger, 2006 .

noMoRe A Graph-Based System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics

Christian Anger, Andreas Bösel, Thomas Linke, 2022 .

The nomore++ Approach to Answer Set Solving

Martin Gebser, Torsten Schaub, Thomas Linke, 2005, LPAR.

A Glimpse of Answer Set Programming

Torsten Schaub, Thomas Linke, Kathrin Konczak, 2005, Künstliche Intell..