dblp.uni-trier.dewww.uni-trier.de

Mark S. Boddy Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
18EENitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy: A Method for Global Optimization of Large Systems of Quadratic Constraints. COCOS 2003: 61-70
17EEMark S. Boddy: Imperfect Match: PDDL 2.1 and Real Applications. J. Artif. Intell. Res. (JAIR) 20: 133-137 (2003)
2002
16EEMark 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
14EEMark 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
9EERobert 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)