Temporal semantics of compositional task models and problem solving methods
- 31 January 1999
- journal article
- Published by Elsevier in Data & Knowledge Engineering
- Vol. 29 (1) , 17-42
- https://doi.org/10.1016/s0169-023x(98)00029-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Formal methods in knowledge engineeringThe Knowledge Engineering Review, 1995
- Temporal theories of reasoningJournal of Applied Non-Classical Logics, 1995
- The Knowledge Acquisition and Representation Language, KARLPublished by Springer Nature ,1995
- A comparison of languages which operationalize and formalize KADS models of expertiseThe Knowledge Engineering Review, 1994
- Constructing knowledge-based systemsIEEE Software, 1993
- A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition toolsKnowledge Acquisition, 1992