Validation of nonmonotonic knowledge-based systems.

Chin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs

Browse the full ICTAI paper archive.