An Implementation Platform for Query-Answering in Default Logics: Theoretical Underpinnings.

Torsten Schaub, Pascal Nicolas

Browse the full ISMIS paper archive.