Supposition-Based Logic for Automated Nonmontonic Reasoning.

Philippe Besnard, Pierre Siegel

Browse the full CADE paper archive.