A Non-Monotonic Deduction System Based on (A)TMS.

Hartmut Freitag, Michael Reinfrank

Browse the full ECAI paper archive.