| 1999 | ||
|---|---|---|
| 2 | 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] |