Contributions to a Proof Theory for Generic Defaults.

Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly

Browse the full ECAI paper archive.