Travelled to:1 × Germany
1 × USA
Collaborated with:∅ Y.Lespérance J.Mylopoulos E.S.K.Yu
Talks about:model (2) dagstuhl (1) calculus (1) problem (1) complex (1) system (1) situat (1) domain (1) boiler (1) studi (1)
Person: Todd G. Kelley
DBLP: Kelley:Todd_G=
Contributed to:
1999
1996Wrote 2 papers:
- CAiSE-1999-LesperanceKMY #modelling
- Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.
- KR-1996-Kelley #calculus #case study #modelling #problem #using
- Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem (TGK), pp. 26–37.