MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems

Dieter Fensel, Rix Groenboom. MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems. In Wolfgang Wahlster, editor, 12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings. pages 423-427, John Wiley and Sons, Chichester, 1996.

Bibliographies