Mark S. Boddy

According to our database, Mark S. Boddy authored at least 36 papers between 1987 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

The Evolution of Scheduling Applications and Tools.

Mark S. Boddy

AI Mag., 2017

Automated case generation using a genetic algorithm.

Hayley Borck, Mark S. Boddy

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016

Frankencode: Creating Diverse Programs Using Code Clones.

Hayley Borck, Mark S. Boddy, Ian J. De Silva, Steven A. Harp, Ken Hoyme, Steven Johnston, August Schwerdfeger, Mary Southern

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System.

Hayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy

Proceedings of the Workshops Proceedings for the Twenty-fourth International Conference on Case-Based Reasoning (ICCBR 2016), Atlanta, Georgia, USA, October 31, 2016

2015

Capturing Human Route Preferences From Track Information: New Results.

Johnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Reasoner Performance on Ontologies for Operations.

Scott Bell, Jim Carciofini, Mark S. Boddy, R. Peter Bonasso

Proceedings of the KEOD 2014, 2014

2013

PRONTOE: An Ontology Editor for Domain Experts.

Scott Bell, Pete Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

PRONTOE - A Case Study for Developing Ontologies for Operations.

Scott Bell, R. Peter Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost

Proceedings of the KEOD 2013, 2013

2011

Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go.

Martin Michalowski, Mark S. Boddy, Mike Neilsen

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Reports of the AAAI 2010 Conference Workshops.

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

AI Mag., 2010

2008

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07).

Mark S. Boddy, Maria Fox, Sylvie Thiébaux

AI Mag., 2008

2007

"Unrolling" Complex Task Models into MDPs.

Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu

Proceedings of the Game Theoretic and Decision Theoretic Agents, 2007

2006

Coordinated Plan Management Using Multiagent MDPs.

David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy

Proceedings of the Distributed Plan and Schedule Management, 2006

2005

The Workshops at the Twentieth National Conference on Artificial Intelligence.

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

AI Mag., 2005

Course of Action Generation for Cyber Security Using Classical Planning.

Mark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

Automated Vulnerability Analysis Using AI Planning.

Steven A. Harp, Johnathan Gohde, Thomas Haigh, Mark S. Boddy

Proceedings of the AI Technologies for Homeland Security, 2005

Collaborative Filtering for Community Threats.

Robert P. Goldman, Mark S. Boddy, Steven A. Harp, Tom Haigh

Proceedings of the AI Technologies for Homeland Security, 2005

2003

Imperfect Match: PDDL 2.1 and Real Applications.

Mark S. Boddy

J. Artif. Intell. Res., 2003

A Method for Global Optimization of Large Systems of Quadratic Constraints.

Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2002

A New Method for the Global Solution of Large Systems of Continuous Constraints.

Mark S. Boddy, Daniel P. Johnson

Proceedings of the Global Optimization and Constraint Satisfaction, 2002

1997

A Constraint-Based Scheduler for Batch Manufacturing.

Robert P. Goldman, Mark S. Boddy

IEEE Expert, 1997

Practical Temporal Reasoning for Real Scheduling Applications.

Mark S. Boddy

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

Contract-Based Distributed Scheduling for Distributed Processing.

David J. Musliner, Mark S. Boddy

Proceedings of the Constraints & Agents: Collected Papers from the 1997 AAAI Workshop, 1997

Dynamic Abstraction Planning.

Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

Expressive Planning and Explicit Knowledge.

Robert P. Goldman, Mark S. Boddy

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996

1994

A Critical Examination of Model Preference Defaults.

Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein

Fundam. Informaticae, 1994

Deliberation Scheduling for Problem Solving in Time-Constrained Environments.

Mark S. Boddy, Thomas L. Dean

Artif. Intell., 1994

Epsilon-Safe Planning.

Robert P. Goldman, Mark S. Boddy

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Representing Uncertainty in Simple Planners.

Robert P. Goldman, Mark S. Boddy

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Conditional Linear Planning.

Robert P. Goldman, Mark S. Boddy

Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

1993

Temporal Reasoning for Planning and Scheduling.

Mark S. Boddy

SIGART Bull., 1993

1991

Anytime Problem Solving Using Dynamic Programming.

Mark S. Boddy

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1989

Solving Time-Dependent Planning Problems.

Mark S. Boddy, Thomas L. Dean

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Reasoning About Partially Ordered Events.

Thomas L. Dean, Mark S. Boddy

Artif. Intell., 1988

An Analysis of Time-Dependent Planning.

Thomas L. Dean, Mark S. Boddy

Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987

Incremental Causal Reasoning.

Thomas L. Dean, Mark S. Boddy

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987