A decidable query answering algorithm for circumscriptive theories.

Teodor C. Przymusinski

Browse the full ISMIS paper archive.