NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Browse the full LPNMR paper archive.