![]() |
| 1998 | ||
|---|---|---|
| 6 | Daniel J. Clancy, Benjamin Kuipers: Qualitative Simulation as a Temporally-extended Constraint Satisfaction Problem. AAAI/IAAI 1998: 240-247 | |
| 5 | Giorgio Brajnik, Daniel J. Clancy: Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations. Ann. Math. Artif. Intell. 22(1-2): 59-86 (1998) | |
| 1997 | ||
| 4 | Daniel J. Clancy, Benjamin Kuipers: Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm. AAAI/IAAI 1997: 118-124 | |
| 3 | Daniel J. Clancy, Benjamin Kuipers: Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation. AAAI/IAAI 1997: 125-131 | |
| 1996 | ||
| 2 | Giorgio Brajnik, Daniel J. Clancy: Trajectory Constraints in Qualitative Simulation. AAAI/IAAI, Vol. 2 1996: 979-984 | |
| 1 | Giorgio Brajnik, Daniel J. Clancy: Guiding and refining simulation using temporal logic. TIME 1996: 144-151 | |
| 1 | Giorgio Brajnik | [1] [2] [5] |
| 2 | Benjamin Kuipers | [3] [4] [6] |