Arno Schönegge

	1998
4		Dieter Fensel, Arno Schönegge: Inverse verification of problem-solving methods. Int. J. Hum.-Comput. Stud. 49(4): 339-361 (1998)
	1997
3		Arno Schönegge: The Hidden Function Question Revisited. AMAST 1997: 451-464
2		Dieter Fensel, Arno Schönegge: Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. ASE 1997: 71-
1		Dieter Fensel, Arno Schönegge: Specifying and Verifying Knowledge-Based Systems with KIV. EUROVAV 1997: 107-116

Coauthor Index

1

Dieter Fensel

[1] [2] [4]