AAAAAA

   
Results: 1-7 |
Results: 7
CONSTRUCTION OF PROBLEM-SOLVING METHODS AS PARAMETRIC DESIGN
Authors: TENTEIJE A VANHARMELEN F SCHREIBER AT WIELINGA BJ
Citation: A. Tenteije et al., CONSTRUCTION OF PROBLEM-SOLVING METHODS AS PARAMETRIC DESIGN, International journal of human-computer studies, 49(4), 1998, pp. 363-389
FORMALIZATION FOR DECISION-SUPPORT IN ANESTHESIOLOGY
Authors: DELAVALETTE GRR GROENBOOM R ROTTERDAM E VANHARMELEN F TENTEIJE A DEGEUS F
Citation: Grr. Delavalette et al., FORMALIZATION FOR DECISION-SUPPORT IN ANESTHESIOLOGY, Artificial intelligence in medicine, 11(3), 1997, pp. 189-214
APPLYING RULE-BASE ANOMALIES TO KADS INFERENCE STRUCTURES
Authors: VANHARMELEN F
Citation: F. Vanharmelen, APPLYING RULE-BASE ANOMALIES TO KADS INFERENCE STRUCTURES, Decision support systems, 21(4), 1997, pp. 271-280
STRUCTURE-PRESERVING SPECIFICATION LANGUAGES FOR KNOWLEDGE-BASED SYSTEMS
Authors: VANHARMELEN F ABEN M
Citation: F. Vanharmelen et M. Aben, STRUCTURE-PRESERVING SPECIFICATION LANGUAGES FOR KNOWLEDGE-BASED SYSTEMS, International journal of human-computer studies, 44(2), 1996, pp. 187-212
EVALUATING A FORMAL KBS SPECIFICATION LANGUAGE
Authors: VANHARMELEN F ABEN M RUIZ F VANDEPLASSCHE J
Citation: F. Vanharmelen et al., EVALUATING A FORMAL KBS SPECIFICATION LANGUAGE, IEEE expert, 11(1), 1996, pp. 56-62
USING REFLECTION TECHNIQUES FOR FLEXIBLE PROBLEM-SOLVING (WITH EXAMPLES FROM DIAGNOSIS)
Authors: TENTEIJE A VANHARMELEN F
Citation: A. Tenteije et F. Vanharmelen, USING REFLECTION TECHNIQUES FOR FLEXIBLE PROBLEM-SOLVING (WITH EXAMPLES FROM DIAGNOSIS), Future generations computer systems, 12(2-3), 1996, pp. 217-234
RIPPLING - A HEURISTIC FOR GUIDING INDUCTIVE PROOFS
Authors: BUNDY A STEVENS A VANHARMELEN F IRELAND A SMAILL A
Citation: A. Bundy et al., RIPPLING - A HEURISTIC FOR GUIDING INDUCTIVE PROOFS, Artificial intelligence, 62(2), 1993, pp. 185-253
Risultati: 1-7 |