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