A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.

Jrme Mengin

Browse the full ECSQARU paper archive.