default search action
Mark S. Boddy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [j10]Mark S. Boddy:
The Evolution of Scheduling Applications and Tools. AI Mag. 38(1): 107-108 (2017) - [c26]Hayley Borck, Mark S. Boddy:
Automated case generation using a genetic algorithm. GECCO (Companion) 2017: 187-188 - 2016
- [c25]Hayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy:
Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System. ICCBR Workshops 2016: 132-141 - [c24]Hayley Borck, Mark S. Boddy, Ian J. De Silva, Steven A. Harp, Ken Hoyme, Steven Johnston, August Schwerdfeger, Mary Southern:
Frankencode: Creating Diverse Programs Using Code Clones. SANER 2016: 604-608 - 2015
- [c23]Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston:
Capturing Human Route Preferences From Track Information: New Results. AAAI 2015: 3961-3966 - 2014
- [c22]Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso:
Reasoner Performance on Ontologies for Operations. KEOD 2014: 304-311 - 2013
- [c21]Scott Bell, R. Peter Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost:
PRONTOE - A Case Study for Developing Ontologies for Operations. KEOD 2013: 17-25 - [c20]Scott Bell, Pete Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost:
PRONTOE: An Ontology Editor for Domain Experts. IC3K 2013: 153-167 - [i2]Robert P. Goldman, Mark S. Boddy:
Epsilon-Safe Planning. CoRR abs/1302.6810 (2013) - 2011
- [c19]Martin Michalowski, Mark S. Boddy, Mike Neilsen:
Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. AAAI 2011: 815-820 - [i1]Mark S. Boddy:
Imperfect Match: PDDL 2.1 and Real Applications. CoRR abs/1110.2730 (2011) - 2010
- [j9]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 Jr., Darsana P. Josyula
, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart 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 Mag. 31(4): 95-108 (2010)
2000 – 2009
- 2008
- [j8]Mark S. Boddy, Maria Fox
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. 29(3): 116-119 (2008) - 2007
- [c18]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 - [e1]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, ISBN 978-1-57735-344-7 [contents] - 2006
- [c17]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
- [j7]Diego Mollá Aliod, Eduardo Alonso, Srinivas Bangalore, Joseph E. Beck, Bir Bhanu, Jim Blythe, Mark S. Boddy, Amedeo Cesta, Marko Grobelnik, Dilek 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 Mag. 26(4): 102-108 (2005) - [c16]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 - [c15]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 - [c14]Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp:
Course of Action Generation for Cyber Security Using Classical Planning. ICAPS 2005: 12-21 - 2003
- [j6]Mark S. Boddy:
Imperfect Match: PDDL 2.1 and Real Applications. J. Artif. Intell. Res. 20: 133-137 (2003) - [c13]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 - 2002
- [c12]Mark S. Boddy, Daniel P. Johnson:
A New Method for the Global Solution of Large Systems of Continuous Constraints. COCOS 2002: 142-156
1990 – 1999
- 1997
- [j5]Robert P. Goldman, Mark S. Boddy:
A Constraint-Based Scheduler for Batch Manufacturing. IEEE Expert 12(1): 49-56 (1997) - [c11]David J. Musliner, Mark S. Boddy:
Contract-Based Distributed Scheduling for Distributed Processing. AAAI Workshop: Constraints & Agents 1997: 118-128 - [c10]Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy:
Dynamic Abstraction Planning. AAAI/IAAI 1997: 680-686 - [c9]Mark S. Boddy:
Practical Temporal Reasoning for Real Scheduling Applications. TIME 1997: 71 - 1996
- [c8]Robert P. Goldman, Mark S. Boddy:
Expressive Planning and Explicit Knowledge. AIPS 1996: 110-117 - 1994
- [j4]Mark S. Boddy, Thomas L. Dean:
Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artif. Intell. 67(2): 245-285 (1994) - [j3]Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein:
A Critical Examination of Model Preference Defaults. Fundam. Informaticae 21(1/2): 23-38 (1994) - [c7]Robert P. Goldman, Mark S. Boddy:
Conditional Linear Planning. AIPS 1994: 80-85 - [c6]Robert P. Goldman, Mark S. Boddy:
Representing Uncertainty in Simple Planners. KR 1994: 238-245 - [c5]Robert P. Goldman, Mark S. Boddy:
Epsilon-Safe Planning. UAI 1994: 253-261 - 1993
- [j2]Mark S. Boddy:
Temporal Reasoning for Planning and Scheduling. SIGART Bull. 4(3): 17-20 (1993) - 1991
- [c4]Mark S. Boddy:
Anytime Problem Solving Using Dynamic Programming. AAAI 1991: 738-743
1980 – 1989
- 1989
- [c3]Mark S. Boddy, Thomas L. Dean:
Solving Time-Dependent Planning Problems. IJCAI 1989: 979-984 - 1988
- [j1]Thomas L. Dean, Mark S. Boddy:
Reasoning About Partially Ordered Events. Artif. Intell. 36(3): 375-399 (1988) - [c2]Thomas L. Dean, Mark S. Boddy:
An Analysis of Time-Dependent Planning. AAAI 1988: 49-54 - 1987
- [c1]Thomas L. Dean, Mark S. Boddy:
Incremental Causal Reasoning. AAAI 1987: 196-201
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: