Arno Schönegge

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998

4 EE 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 EE 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

1998
4	EE	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	EE	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]