Designing verifiable expert systems

John Yen, Jonathan Lee, David Hamilton. Designing verifiable expert systems. In Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990. pages 878-884, IEEE, 1990. [doi]

Abstract

Abstract is missing.