A Deductive System for Non-Monotonic Reasoning.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Browse the full LPNMR paper archive.