NoMoRe : Non-monotonic Reasoning with Logic Programs.

Christian Anger, Kathrin Konczak, Thomas Linke

Browse the full JELIA paper archive.