Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods
作者：Frank Cornelissen, Catholijn M. Jonker, Jan Treur
摘要
论文关键词：Compositional verification, Diagnostic reasoning model, Formal compositional modeling, Knowledge-based systems
论文评审过程：
论文官网地址：https://doi.org/10.1007/s10115-002-0083-4
