Mark S. Boddy

Publication Activity (10 Years)

Years Active: 1987-2017
Publications (10 Years): 5

Top Topics

Genetic Algorithm

Semantic Web Technologies

Attention Deficit Hyperactivity Disorder

Top Venues

GECCO (Companion)

Publications

Mark S. Boddy
The Evolution of Scheduling Applications and Tools. AI Mag. 38 (1) (2017)
Hayley Borck, Mark S. Boddy
Automated case generation using a genetic algorithm. GECCO (Companion) (2017)
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)
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)
Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston
Capturing Human Route Preferences From Track Information: New Results. AAAI (2015)
Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso
Reasoner Performance on Ontologies for Operations. KEOD (2014)
Robert P. Goldman, Mark S. Boddy
Epsilon-Safe Planning CoRR (2013)
Scott Bell, Pete Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost
PRONTOE: An Ontology Editor for Domain Experts. IC3K (2013)
Scott Bell, R. Peter Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost
PRONTOE - A Case Study for Developing Ontologies for Operations. KEOD (2013)
Martin Michalowski, Mark S. Boddy, Mike Neilsen
Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. AAAI (2011)
Mark S. Boddy
Imperfect Match: PDDL 2.1 and Real Applications CoRR (2011)
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 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 Mag. 31 (4) (2010)
Mark S. Boddy, Maria Fox, Sylvie Thiébaux
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. 29 (3) (2008)
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)
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)
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)
Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp
Course of Action Generation for Cyber Security Using Classical Planning. ICAPS (2005)
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)
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) (2005)
Mark S. Boddy
Imperfect Match: PDDL 2.1 and Real Applications. J. Artif. Intell. Res. 20 (2003)
Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy
A Method for Global Optimization of Large Systems of Quadratic Constraints. COCOS (2003)
Mark S. Boddy, Daniel P. Johnson
A New Method for the Global Solution of Large Systems of Continuous Constraints. COCOS (2002)
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy
Dynamic Abstraction Planning. AAAI/IAAI (1997)
David J. Musliner, Mark S. Boddy
Contract-Based Distributed Scheduling for Distributed Processing. AAAI Workshop: Constraints & Agents (1997)
Robert P. Goldman, Mark S. Boddy
A Constraint-Based Scheduler for Batch Manufacturing. IEEE Expert 12 (1) (1997)
Mark S. Boddy
Practical Temporal Reasoning for Real Scheduling Applications. TIME (1997)
Robert P. Goldman, Mark S. Boddy
Expressive Planning and Explicit Knowledge. AIPS (1996)
Robert P. Goldman, Mark S. Boddy
Conditional Linear Planning. AIPS (1994)
Robert P. Goldman, Mark S. Boddy
Epsilon-Safe Planning. UAI (1994)
Robert P. Goldman, Mark S. Boddy
Representing Uncertainty in Simple Planners. KR (1994)
Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein
A Critical Examination of Model Preference Defaults. Fundam. Informaticae 21 (1/2) (1994)
Mark S. Boddy, Thomas L. Dean
Deliberation Scheduling for Problem Solving in Time-Constrained Environments. Artif. Intell. 67 (2) (1994)
Mark S. Boddy
Temporal Reasoning for Planning and Scheduling. SIGART Bull. 4 (3) (1993)
Mark S. Boddy
Anytime Problem Solving Using Dynamic Programming. AAAI (1991)
Mark S. Boddy, Thomas L. Dean
Solving Time-Dependent Planning Problems. IJCAI (1989)
Thomas L. Dean, Mark S. Boddy
An Analysis of Time-Dependent Planning. AAAI (1988)
Thomas L. Dean, Mark S. Boddy
Reasoning About Partially Ordered Events. Artif. Intell. 36 (3) (1988)
Thomas L. Dean, Mark S. Boddy
Incremental Causal Reasoning. AAAI (1987)