| 2007 | ||
|---|---|---|
| 21 | Mark S. Boddy, Maria Fox, Sylvie Thiébaux: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 AAAI 2007 | |
| 2005 | ||
| 20 | Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp: Course of Action Generation for Cyber Security Using Classical Planning. ICAPS 2005: 12-21 | |
| 19 | Diego Mollá Aliod, Eduardo Alonso, Srinivas Bangalore, Joseph E. Beck, Bir Bhanu, Jim Blythe, Mark S. Boddy, Amedeo Cesta, Marko Grobelnik, Dilek Z. Hakkani-Tür, Sanda M. Harabagiu, Alain Léger, Deborah L. McGuinness, Stacy Marsella, Natasa Milic-Frayling, Dunja Mladenic, Daniel Oblinger, Paul E. Rybski, Pavel Shvaiko, Stephen F. Smith, Biplav Srivastava, Sheila Tejada, Hannes Högni Vilhjálmsson, Kristinn R. Thórisson, Gökhan Tür, Holger Wache: The Workshops at the Twentieth National Conference on Artificial Intelligence. AI Magazine 26(4): 102-108 (2005) | |
| 2003 | ||
| 18 | Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy: A Method for Global Optimization of Large Systems of Quadratic Constraints. COCOS 2003: 61-70 | |
| 17 | Mark S. Boddy: Imperfect Match: PDDL 2.1 and Real Applications. J. Artif. Intell. Res. (JAIR) 20: 133-137 (2003) | |
| 2002 | ||
| 16 | Mark S. Boddy, Daniel P. Johnson: A New Method for the Global Solution of Large Systems of Continuous Constraints. COCOS 2002: 142-156 | |
| 1997 | ||
| 15 | Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy: Dynamic Abstraction Planning. AAAI/IAAI 1997: 680-686 | |
| 14 | Mark S. Boddy: Practical Temporal Reasoning for Real Scheduling Applications. TIME 1997: 71 | |
| 13 | Robert P. Goldman, Mark S. Boddy: A Constraint-Based Scheduler for Batch Manufacturing. IEEE Expert 12(1): 49-56 (1997) | |
| 1996 | ||
| 12 | Robert P. Goldman, Mark S. Boddy: Expressive Planning and Explicit Knowledge. AIPS 1996: 110-117 | |
| 1994 | ||
| 11 | Robert P. Goldman, Mark S. Boddy: Conditional Linear Planning. AIPS 1994: 80-85 | |
| 10 | Robert P. Goldman, Mark S. Boddy: Representing Uncertainty in Simple Planners. KR 1994: 238-245 | |
| 9 | Robert P. Goldman, Mark S. Boddy: Epsilon-Safe Planning. UAI 1994: 253-261 | |
| 8 | Mark S. Boddy, Thomas Dean: Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artif. Intell. 67(2): 245-285 (1994) | |
| 7 | Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein: A Critical Examination of Model Preference Defaults. Fundam. Inform. 21(1/2): 23-38 (1994) | |
| 1993 | ||
| 6 | Mark S. Boddy: Temporal Reasoning for Planning and Scheduling. SIGART Bulletin 4(3): 17-20 (1993) | |
| 1991 | ||
| 5 | Mark S. Boddy: Anytime Problem Solving Using Dynamic Programming. AAAI 1991: 738-743 | |
| 1989 | ||
| 4 | Mark S. Boddy, Thomas Dean: Solving Time-Dependent Planning Problems. IJCAI 1989: 979-984 | |
| 1988 | ||
| 3 | Thomas Dean, Mark S. Boddy: An Analysis of Time-Dependent Planning. AAAI 1988: 49-54 | |
| 2 | Thomas Dean, Mark S. Boddy: Reasoning About Partially Ordered Events. Artif. Intell. 36(3): 375-399 (1988) | |
| 1987 | ||
| 1 | Thomas Dean, Mark S. Boddy: Incremental Causal Reasoning. AAAI 1987: 196-201 | |