Collaborated with:
D.Fensel
Talks about:
architectur (1) knowledg (1) specifi (1) verifi (1) system (1) base (1) use (1) kiv (1)
Person: Arno Schönegge
DBLP: Sch=ouml=negge:Arno
Contributed to:
Wrote 1 papers:
- ASE-1997-FenselS #architecture #knowledge-based #using #verification
- Using KIV to Specify and Verify Architectures of Knowledge-Based Systems (DF, AS), p. 71–?.