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

Dieter Fensel, Rix Groenboom

Browse the full ECAI paper archive.