Dieter Fensel (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

23 Dieter Fensel, Arno Schönegge: Inverse verification of problem-solving methods. Int. J. Hum.-Comput. Stud. 49(4): 339-361 (1998)

22 Dieter Fensel, Arno Schönegge: Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. ASE 1997: 71-

19 Dieter Fensel, Arno Schönegge: Specifying and Verifying Knowledge-Based Systems with KIV. EUROVAV 1997: 107-116

Selection of 3 from 183 records - Dieter Fensel has 181 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

23		Dieter Fensel, Arno Schönegge: Inverse verification of problem-solving methods. Int. J. Hum.-Comput. Stud. 49(4): 339-361 (1998)
22		Dieter Fensel, Arno Schönegge: Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. ASE 1997: 71-
19		Dieter Fensel, Arno Schönegge: Specifying and Verifying Knowledge-Based Systems with KIV. EUROVAV 1997: 107-116