|
Treur J and Wetter T. (eds.), 1993, Formal Specification of Complex Reasoning Systems. Ellis Horwood. |
|
Fensel D and van Harmelen F, 1994, “A comparison of languages which operationalize and formalize KADS models of expertise.” The Knowledge Engineering Review9 (2) 105–146. |