Citation: D. Fensel et A. Schonegge, INVERSE VERIFICATION OF PROBLEM-SOLVING METHODS, International journal of human-computer studies, 49(4), 1998, pp. 339-361
Citation: D. Fensel et R. Straatman, THE ESSENCE OF PROBLEM-SOLVING METHODS - MAKING ASSUMPTIONS TO GAIN EFFICIENCY, International journal of human-computer studies, 48(2), 1998, pp. 181-215
Citation: D. Fensel et al., THE KNOWLEDGE-ACQUISITION-AND-REPRESENTATION-LANGUAGE, KARL, IEEE transactions on knowledge and data engineering, 10(4), 1998, pp. 527-550
Citation: D. Fensel et Vr. Benjamins, THE ROLE OF ASSUMPTIONS IN KNOWLEDGE ENGINEERING, International journal of intelligent systems, 13(8), 1998, pp. 715-747
Citation: D. Fensel et al., MODAL CHANGE LOGIC (MCL) - SPECIFYING THE REASONING OF KNOWLEDGE-BASED SYSTEMS, Data & knowledge engineering, 26(3), 1998, pp. 243-269
Citation: Vr. Benjamins et al., PSMS DO IT - SUMMARY OF TRACK ON SHARABLE AND REUSABLE PROBLEM-SOLVING METHODS OF THE 10TH KAW96, BANFF, CANADA, International journal of human-computer studies, 47(4), 1997, pp. 603-607
Citation: Vr. Benjamins et al., PSMS DO IT - SUMMARY OF TRACK ON SHARABLE AND REUSABLE PROBLEM-SOLVING METHODS OF THE 10TH KAW96, BANFF, CANADA, International journal of human-computer studies, 47(2), 1997, pp. 347-351
Citation: K. Poeck et al., COMBINING KARL AND CRLM FOR DESIGNING VERTICAL TRANSPORTATION SYSTEMS, International journal of human-computer studies, 44(3-4), 1996, pp. 435-467
Citation: D. Fensel et al., CONCEPTUAL AND FORMAL SPECIFICATIONS OF PROBLEM-SOLVING METHODS, International journal of expert systems, 9(4), 1996, pp. 507-532