M. Boddy

发表

Conditional Linear Planning

Robert P. Goldman, Mark S. Boddy, R. Goldman, 1994, AIPS.

Representing Uncertainty in Simple Planners

Robert P. Goldman, Mark S. Boddy, R. Goldman, 1994, KR.

Epsilon-Safe Planning pdf

Robert P. Goldman, Mark S. Boddy, R. Goldman, 1994, UAI.

An Analysis of Time-Dependent Planning

Mark S. Boddy, Thomas L. Dean, T. Dean, 1988, AAAI.

Coordinating Highly Contingent Plans: Biasing Distributed MDPs Towards Cooperative Behavior

R. Goldman, E. Durfee, M. Boddy, 2008 .

Investigations of Model-Preference Defaults

R. Goldman, L. Stein, Keiji Kanazawa, 1989 .

Solving Time-Dependent Planning Problems

Mark S. Boddy, Thomas L. Dean, T. Dean, 1989, IJCAI.

Reasoning About Partially Ordered Events

Mark S. Boddy, Thomas L. Dean, T. Dean, 1988, Artificial Intelligence.

Deliberation Scheduling for Problem Solving in Time-Constrained Environments

Mark S. Boddy, Thomas L. Dean, T. Dean, 1994, Artif. Intell..

Anytime Problem Solving Using Dynamic Programming

Mark S. Boddy, M. Boddy, 1991, AAAI.

Incremental Causal Reasoning

Mark S. Boddy, Thomas L. Dean, T. Dean, 1987, AAAI.

Reports of the AAAI 2010 Conference Workshops

Gregory M. Provan, David W. Aha, Robert P. Goldman, 2010, AI Mag..

Epsilon-safe Planning 1994, Honeywell Technology Center

R. Goldman, M. Boddy, 1994 .

Mumble Investigations of Model-preference Defaults Submitted to Fundamenta Informaticae Special Issue on Nonmonotonic Reasoning

R. Goldman, L. Stein, Keiji Kanazawa, 2007 .

Department of Energy Energy Efficiency and Renewable Energy Industrial Technologies Program Executive Summary

M. Boddy, M. Jamshidi, Bonnie Bennett, 2004 .

Ontological Models To Support Planning Operations

M. Boddy, D. Kortenkamp, P. Bonasso, 2013 .

Abstraction for Real-time Intelligent Control : Extended

M. Boddy, D. Musliner, Kurt D. KrebsbachAutomated, 2007 .

Contract-Based Distributed Scheduling

M. Boddy, D. Musliner, 2002 .

Planning with Observations and

M. Boddy, KnowledgeRobert P. Goldman, 1996 .

Extended abstract: Managing disjunction for practical temporal reasoning

M. Boddy, B. Schrag, Jim Carciofini, 1992 .

Appears in Working Notes of the Aaai Fall Symposium on Model-directed Autonomous Systems the Link between Distributed Planning and Abstraction

R. Goldman, M. Boddy, Kurt D. KrebsbachAutomated, 1997 .

Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness

M. Boddy, 2012 .

Solving Time-Dependent Problems: A Decision-Theoretic Approach to Planning in Dynamic Environments

Mark S. Boddy, M. Boddy, 1991 .

Expressive Planning and Explicit Knowledge

Robert P. Goldman, Mark S. Boddy, R. Goldman, 1996, AIPS.

Conditional Actions, Context Dependent Actions and Information Gathering

Robert P. Goldman, Mark S. Boddy, R. Goldman, 1995 .

for Distributed Processing

David J. Musliner, Mark S. Boddy, M. Boddy, 1997 .

Planning applications in image analysis

Robert P. Goldman, Mark S. Boddy, James A. White, 1994 .

A Critical Examination of Model Preference Defaults

Robert P. Goldman, Mark S. Boddy, Keiji Kanazawa, 1994, Fundam. Informaticae.

Automated case generation using a genetic algorithm

Mark S. Boddy, Hayley Borck, M. Boddy, 2017, GECCO.

Working Notes for the 2010 AAAI Workshop on Intelligent Security (SecArt)

Robert P. Goldman, Mark S. Boddy, Stefan Edelkamp, 2010 .

Coordinated Plan Management Using Multiagent MDPs

Jianhui Wu, Robert P. Goldman, David J. Musliner, 2006, AAAI Spring Symposium: Distributed Plan and Schedule Management.

Dynamic Abstraction Planning

Robert P. Goldman, David J. Musliner, Mark S. Boddy, 1997, AAAI/IAAI.

Course of Action Generation for Cyber Security Using Classical Planning

Mark S. Boddy, Thomas Haigh, Steven A. Harp, 2005, ICAPS.

A Constraint-Based Scheduler for Batch Manufacturing

Robert P. Goldman, Mark S. Boddy, R. Goldman, 1997, IEEE Expert.

Temporal Reasoning for Planning and Scheduling in Complex Domains: Lessons Learned

Mark S. Boddy, M. Boddy, 1996 .

Constraint-Based Scheduling for Batch Manufacturing I

Mark J. Ringer, Robert P. Goldman, Mark S. Boddy, 1996 .

CLOCKWORK: Requirements Definition and Technology Evaluation for Robust, Compiled Autonomous Spacecraft Executives

Mark S. Boddy, Steven A. Harp, Kyle S. Nelson, 2004 .

"Unrolling" Complex Task Models into MDPs

R. Goldman, E. Durfee, M. Boddy, 2007, AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents.

A Method for Global Optimization of Large Systems of Quadratic Constraints

Mark S. Boddy, Nitin Lamba, Mark Dietz, 2003, COCOS.