Integration of Semiformal and Formal Methods for Specifying Knowledge-Based Systems.

Dieter Fensel, Susanne Neubert

Browse the full GI paper archive.