1998 |
8 | EE | Piet-Hein Speel,
Manfred Aben:
Preserving conceptual structures in design and implementation of industrial KBS.
Int. J. Hum.-Comput. Stud. 49(4): 547-575 (1998) |
1997 |
7 | EE | Piet-Hein Speel,
Manfred Aben:
Applying a library of problem-solving methods on a real-life task.
Int. J. Hum.-Comput. Stud. 46(5): 627-652 (1997) |
6 | EE | V. Richard Benjamins,
Manfred Aben:
Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis.
Int. J. Hum.-Comput. Stud. 47(2): 259-288 (1997) |
1996 |
5 | | V. Richard Benjamins,
Manfred Aben:
A Conceptual and Formal Model of a Diagnostic Reasoner.
EKAW 1996: 82-97 |
4 | EE | Frank van Harmelen,
Manfred Aben,
Fidel Ruiz,
Joke van de Plassche:
Evaluating a Formal KBS Specification Language.
IEEE Expert 11(1): 56-62 (1996) |
3 | EE | Frank van Harmelen,
Manfred Aben:
Structure-preserving specification languages for knowledge-based systems.
Int. J. Hum.-Comput. Stud. 44(2): 187-212 (1996) |
1994 |
2 | | Fidel Ruiz,
Frank van Harmelen,
Manfred Aben,
Joke van de Plassche:
Evaluating a Formal Modelling Language.
EKAW 1994: 26-45 |
1990 |
1 | | Manfred Aben,
Maarten van Someren:
Heuristic Refinement of Logic Programs.
ECAI 1990: 7-12 |