An Implementation of Nonmonotonic Reasoning with System W.

Christoph Beierle, Jonas Haldimann, Daniel Kollr, Kai Sauerwald, Leon Schwarzer

Browse the full KI paper archive.