Formal Specification of a Rule-Based Expert System

Bryan S. Todd, Richard Stamper. Formal Specification of a Rule-Based Expert System. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 333-340, Knowledge Systems Institute, 1992. [doi]

Abstract

Abstract is missing.