Case-based Learning on Strategic Knowledge.
Lecture Notes in Artificial Intelligence. 482:398-411.
Proceedings of EUROVAV-91: European Workshop on the Verification of Knowledge Based Systems. :vi-x.
Combining Multiple-valued logics in Modular Expert Systems.
7th Conference on Uncertainty in Artificial Intelligence. :17-25.
Verification by construction in MILORD.
Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems.