Extension Calculus and Query Answering in Prioritized Default Logic.

Farid Benhammadi, Pascal Nicolas, Torsten Schaub

Browse the full AIMSA paper archive.