Mark S. Boddy

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	EE	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	EE	Mark S. Boddy: Imperfect Match: PDDL 2.1 and Real Applications. J. Artif. Intell. Res. (JAIR) 20: 133-137 (2003)
2002
16	EE	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	EE	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	EE	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

Coauthor Index

1	Diego Mollá Aliod	[19]
2	Eduardo Alonso	[19]
3	Srinivas Bangalore	[19]
4	Joseph E. Beck (Joseph Beck)	[19]
5	Bir Bhanu	[19]
6	Jim Blythe (James Blythe)	[19]
7	Amedeo Cesta	[19]
8	Thomas Dean	[1] [2] [3] [4] [8]
9	Mark Dietz	[18]
10	Maria Fox	[21]
11	Johnathan Gohde	[20]
12	Robert P. Goldman	[7] [9] [10] [11] [12] [13] [15]
13	Marko Grobelnik	[19]
14	Thomas Haigh	[20]
15	Dilek Z. Hakkani-Tür (Dilek Hakkani-Tür)	[19]
16	Sanda M. Harabagiu	[19]
17	Steven A. Harp	[20]
18	Daniel P. Johnson	[16] [18]
19	Keiji Kanazawa	[7]
20	Kurt D. Krebsbach	[15]
21	Nitin Lamba	[18]
22	Alain Léger	[19]
23	Stacy Marsella	[19]
24	Deborah L. McGuinness	[19]
25	Natasa Milic-Frayling	[19]
26	Dunja Mladenic	[19]
27	David J. Musliner	[15]
28	Daniel Oblinger	[19]
29	Paul E. Rybski	[19]
30	Pavel Shvaiko	[19]
31	Stephen F. Smith	[19]
32	Biplav Srivastava	[19]
33	Lynn Andrea Stein	[7]
34	Sheila Tejada	[19]
35	Sylvie Thiébaux	[21]
36	Kristinn R. Thórisson	[19]
37	Gökhan Tür	[19]
38	Hannes Högni Vilhjálmsson	[19]
39	Holger Wache	[19]

Colors in the list of coauthors