Travelled to:1 × Canada
Collaborated with:D.Fensel R.Studer N.S.Friedland P.G.Allen M.J.Witbrock G.Matthews N.Salay P.Miraglia S.Staab D.J.Israel V.K.Chaudhri B.W.Porter K.Barker P.Clark
Talks about:analysi (2) techniqu (1) structur (1) platform (1) knowledg (1) independ (1) quantit (1) toward (1) system (1) semant (1)
Person: Jürgen Angele
DBLP: Angele:J=uuml=rgen
Contributed to:
2004
1993Wrote 2 papers:
- KR-2004-FriedlandAWMSMASICPBC #analysis #independence #towards
- Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems (NSF, PGA, MJW, GM, NS, PM, JA, SS, DJI, VKC, BWP, KB, PC), pp. 507–515.
- ICRE-1993-FenselAS #analysis #semantics
- Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL (DF, JA, RS), pp. 267–286.