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