An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System.

Hartmut Freitag, Michael Reinfrank

Browse the full KI paper archive.