| 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 |