A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.

Joeri Engelfriet, Jan Treur

Browse the full ECSQARU paper archive.