Search the dblp DataBase

Publications of Author

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