Manfred Aben

According to our database, Manfred Aben authored at least 9 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Preserving conceptual structures in design and implementation of industrial KBS.

Piet-Hein Speel, Manfred Aben

Int. J. Hum. Comput. Stud., 1998

1997

Applying a library of problem-solving methods on a real-life task.

Piet-Hein Speel, Manfred Aben

Int. J. Hum. Comput. Stud., 1997

Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis.

V. Richard Benjamins, Manfred Aben

Int. J. Hum. Comput. Stud., 1997

1996

Structure-preserving specification languages for knowledge-based systems.

Frank van Harmelen, Manfred Aben

Int. J. Hum. Comput. Stud., 1996

Evaluating a Formal KBS Specification Language.

Frank van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche

IEEE Expert, 1996

A Conceptual and Formal Model of a Diagnostic Reasoner.

V. Richard Benjamins, Manfred Aben

Proceedings of the Advances in Knowledge Acquisition, 1996

1994

Evaluating a Formal Modelling Language.

Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke van de Plassche

Proceedings of the A Future for Knowledge Acquisition, 1994

1993

Formally specifying reusable knowledge model components.

Manfred Aben

Knowl. Acquis., 1993

1990

Heuristic Refinement of Logic Programs.

Manfred Aben, Maarten van Someren

Proceedings of the 9th European Conference on Artificial Intelligence, 1990