Mark S. Boddy

39 papers A* 9A 2C 4Journal 12Unranked 12
YearRankTypeTitle / Venue / Authors
2017 — conf
Automated case generation using a genetic algorithm.
GECCO (Companion)
Hayley Borck, Mark S. Boddy
2017 J jnl
The Evolution of Scheduling Applications and Tools.
AI Mag.
Mark S. Boddy
2016 — conf
Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System.
ICCBR Workshops
Hayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy
2016 A conf
Frankencode: Creating Diverse Programs Using Code Clones.
SANER
Hayley Borck, Mark S. Boddy, Ian J. De Silva, Steven A. Harp, Ken Hoyme, Steven Johnston, August Schwerdfeger, Mary Southern
2015 A* conf
Capturing Human Route Preferences From Track Information: New Results.
AAAI
Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston
2014 C conf
Reasoner Performance on Ontologies for Operations.
KEOD
Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso
2013 J jnl
Epsilon-Safe Planning
CoRR
Robert P. Goldman, Mark S. Boddy
2013 C conf
PRONTOE - A Case Study for Developing Ontologies for Operations.
KEOD
Scott Bell, R. Peter Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost
2013 C conf
PRONTOE: An Ontology Editor for Domain Experts.
IC3K
Scott Bell, Pete Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost
2011 A* conf
Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go.
AAAI
Martin Michalowski, Mark S. Boddy, Mike Neilsen
2011 J jnl
Imperfect Match: PDDL 2.1 and Real Applications
CoRR
Mark S. Boddy
2010 J jnl
Reports of the AAAI 2010 Conference Workshops.
AI Mag.
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
2008 J jnl
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07).
AI Mag.
Mark S. Boddy, Maria Fox, Sylvie Thiébaux
2007 — conf
"Unrolling" Complex Task Models into MDPs.
AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents
Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu
2007 A* ed.
Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007
ICAPS
Mark S. Boddy, Maria Fox, Sylvie Thiébaux
2006 — conf
Coordinated Plan Management Using Multiagent MDPs.
AAAI Spring Symposium: Distributed Plan and Schedule Management
David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy
2005 — conf
Automated Vulnerability Analysis Using AI Planning.
AAAI Spring Symposium: AI Technologies for Homeland Security
Steven A. Harp, Johnathan Gohde, Thomas Haigh, Mark S. Boddy
2005 — conf
Collaborative Filtering for Community Threats.
AAAI Spring Symposium: AI Technologies for Homeland Security
Robert P. Goldman, Mark S. Boddy, Steven A. Harp, Tom Haigh
2005 A* conf
Course of Action Generation for Cyber Security Using Classical Planning.
ICAPS
Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp
2005 J jnl
The Workshops at the Twentieth National Conference on Artificial Intelligence.
AI Mag.
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
2003 — conf
A Method for Global Optimization of Large Systems of Quadratic Constraints.
COCOS
Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy
2003 J jnl
Imperfect Match: PDDL 2.1 and Real Applications.
J. Artif. Intell. Res.
Mark S. Boddy
2002 — conf
A New Method for the Global Solution of Large Systems of Continuous Constraints.
COCOS
Mark S. Boddy, Daniel P. Johnson
1997 J jnl
A Constraint-Based Scheduler for Batch Manufacturing.
IEEE Expert
Robert P. Goldman, Mark S. Boddy
1997 — conf
Contract-Based Distributed Scheduling for Distributed Processing.
AAAI Workshop: Constraints & Agents
David J. Musliner, Mark S. Boddy
1997 — conf
Dynamic Abstraction Planning.
AAAI/IAAI
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy
1997 C conf
Practical Temporal Reasoning for Real Scheduling Applications.
TIME
Mark S. Boddy
1996 — conf
Expressive Planning and Explicit Knowledge.
AIPS
Robert P. Goldman, Mark S. Boddy
1994 J jnl
A Critical Examination of Model Preference Defaults.
Fundam. Informaticae
Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein
1994 — conf
Conditional Linear Planning.
AIPS
Robert P. Goldman, Mark S. Boddy
1994 J jnl
Deliberation Scheduling for Problem Solving in Time-Constrained Environments.
Artif. Intell.
Mark S. Boddy, Thomas L. Dean
1994 A conf
Epsilon-Safe Planning.
UAI
Robert P. Goldman, Mark S. Boddy
1994 A* conf
Representing Uncertainty in Simple Planners.
KR
Robert P. Goldman, Mark S. Boddy
1993 J jnl
Temporal Reasoning for Planning and Scheduling.
SIGART Bull.
Mark S. Boddy
1991 A* conf
Anytime Problem Solving Using Dynamic Programming.
AAAI
Mark S. Boddy
1989 A* conf
Solving Time-Dependent Planning Problems.
IJCAI
Mark S. Boddy, Thomas L. Dean
1988 A* conf
An Analysis of Time-Dependent Planning.
AAAI
Thomas L. Dean, Mark S. Boddy
1988 J jnl
Reasoning About Partially Ordered Events.
Artif. Intell.
Thomas L. Dean, Mark S. Boddy
1987 A* conf
Incremental Causal Reasoning.
AAAI
Thomas L. Dean, Mark S. Boddy