NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Browse the full CADE paper archive.