Specification and verification of knowledge-based systems

Dieter Fensel(Universität Innsbruck), Bob Wielinga(Amsterdam University of Applied Sciences), Rix Groenboom(University of Groningen)
Unknown
January 1, 1996
Cited by 36


Related Papers

Using explicit ontologies in KBS development
|International Journal of Human-Computer Studies|1997|696
Knowledge Engineering and Management
|The MIT Press eBooks|1999|442