1999 | ||
---|---|---|
2 | EE | Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu: Modeling Dynamic Domains with ConGolog. CAiSE 1999: 365-380 |
1996 | ||
1 | Todd G. Kelley: Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. KR 1996: 26-37 |
1 | Yves Lespérance | [2] |
2 | John Mylopoulos | [2] |
3 | Eric S. K. Yu | [2] |