Mark S. Boddy

	2011
28		Mark S. Boddy: Imperfect Match: PDDL 2.1 and Real Applications CoRR abs/1110.2730: (2011)
	2010
27		David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan: Reports of the AAAI 2010 Conference Workshops. AI Magazine 31(4): 95-108 (2010)
	2008
26		Mark S. Boddy, Maria Fox, Sylvie Thiébaux: The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Magazine 29(3): 116-119 (2008)
	2007
25		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
24		Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu: "Unrolling" Complex Task Models into MDPs. AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents 2007: 23-30
	2006
23		David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy: Coordinated Plan Management Using Multiagent MDPs. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 73-80
	2005
22		Robert P. Goldman, Mark S. Boddy, Steven A. Harp, Tom Haigh: Collaborative Filtering for Community Threats. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 130-132
21		Steven A. Harp, Johnathan Gohde, Thomas Haigh, Mark S. Boddy: Automated Vulnerability Analysis Using AI Planning. AAAI Spring Symposium: AI Technologies for Homeland Security 2005: 46-53
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, José Luis Vicedo González, 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

Coauthor Index

1	David W. Aha	[27]
2	Diego Mollá Aliod (Diego Mollá)	[19]
3	Eduardo Alonso	[19]
4	Srinivas Bangalore (Bangalore Srinivas)	[19]
5	Joseph E. Beck (Joseph Beck)	[19]
6	Bir Bhanu	[19]
7	Jim Blythe (James Blythe)	[19]
8	Vadim Bulitko	[27]
9	Amedeo Cesta	[19]
10	Thomas Dean	[1] [2] [3] [4] [8]
11	Mark Dietz	[18]
12	Dmitri A. Dolgov	[23]
13	Prashant Doshi	[27]
14	Edmund H. Durfee	[23] [24]
15	Stefan Edelkamp	[27]
16	Maria Fox	[25] [26]
17	Artur S. d'Avila Garcez	[27]
18	Christopher W. Geib	[27]
19	Piotr J. Gmytrasiewicz	[27]
20	Johnathan Gohde	[20] [21]
21	Robert P. Goldman	[7] [9] [10] [11] [12] [13] [15] [22] [23] [24] [27]
22	José Luis Vicedo González	[19]
23	Marko Grobelnik	[19]
24	Thomas Haigh	[20] [21]
25	Tom Haigh	[22]
26	Dilek Z. Hakkani-Tür (Dilek Hakkani-Tür, Dilek Hakkani)	[19]
27	Alon Y. Halevy (Alon Y. Levy)	[27]
28	Sanda M. Harabagiu	[19]
29	Steven A. Harp	[20] [21] [22]
30	Pascal Hitzler	[27]
31	Charles Lee Isbell Jr. (Charles L. Isbell)	[27]
32	Daniel P. Johnson	[16] [18]
33	Darsana P. Josyula	[27]
34	Leslie Pack Kaelbling	[27]
35	Keiji Kanazawa	[7]
36	Kristian Kersting	[27]
37	Kurt D. Krebsbach	[15]
38	Maithilee Kunda	[27]
39	Luís C. Lamb (Luís da Cunha Lamb)	[27]
40	Nitin Lamba	[18]
41	Alain Léger	[19]
42	Stacy Marsella (Stacy C. Marsella)	[19]
43	Bhaskara Marthi	[27]
44	Keith McGreggor	[27]
45	Deborah L. McGuinness	[19]
46	Ron van der Meyden	[27]
47	Lilyana Mihalkova	[27]
48	Natasa Milic-Frayling	[19]
49	Dunja Mladenic	[19]
50	David J. Musliner	[15] [23] [24]
51	Vivi Nastase	[27]
52	Sriraam Natarajan	[27]
53	Daniel Oblinger	[19]
54	Gregory Provan	[27]
55	Anita Raja	[27]
56	Ashwin Ram	[27]
57	Mark O. Riedl (Mark Riedl)	[27]
58	Stuart J. Russell	[27]
59	Paul E. Rybski	[19]
60	Ashish Sabharwal	[27]
61	Pavel Shvaiko	[19]
62	Jan-Georg Smaus	[27]
63	Stephen F. Smith	[19]
64	Biplav Srivastava	[19]
65	Lynn Andrea Stein	[7]
66	Gita Reese Sukthankar (Gita Sukthankar)	[27]
67	Sheila Tejada	[19]
68	Sylvie Thiébaux	[25] [26]
69	Kristinn R. Thórisson	[19]
70	Gökhan Tür	[19]
71	Karl Tuyls	[27]
72	Hannes Högni Vilhjálmsson	[19]
73	Holger Wache	[19]
74	Jianhui Wu	[23] [24]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page