C.L. Chang

Validation of nonmonotonic knowledge-based systems

C.L. Chang, R.A. Stachowitz, J.B. Combs, 1990, [1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence.