Mark S. Boddy

An Analysis of Time-Dependent Planning

This paper presents a framework for exploring issues in time-dependent planning: planning in which the time available to respond to predicted events varies, and the decision making required to… (More)

Solving Time-Dependent Planning Problems

A planning problem is time-dependent, if the time spent planning affects the utility of the system's performance. In [Dean and Boddy, 1988], we define a framework for constructing solutions to… (More)

Deliberation Scheduling for Problem Solving in Time-Constrained Environments

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

We are interested in the problem faced by an agent with limited compu tational capabilities embedded in a complex environment with other agents and processes not under its control Careful management… (More)

Reasoning About Partially Ordered Events

Thomas L. Dean, Mark S. Boddy
Artif. Intell.
1988

This paper describes a class of temporal reasoning problems involving events whose order is not completely known. We examine the complexity of such problems and show that for all but trivial cases… (More)

Coordinated Plan Management Using Multiagent MDPs

David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy
AAAI Spring Symposium: Distributed Plan and…
2006

For the past several years, we have been developing multiagent technology to help humans coordinate their activities in complex, dynamic environments. In recent work on the DARPA COORDINATORs… (More)

Expressive Planning and Explicit Knowledge

We are concerned with the implications and interactions of three common expressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterministic action… (More)

Temporal Reasoning for Planning and Scheduling

Mark S. Boddy
SIGART Bulletin
1993

We briefly describe the current implementation of the Time Map Manager (TMM), followed by a description of the system's suitability for and application to planning and scheduling tasks.

Course of Action Generation for Cyber Security Using Classical Planning

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

We report on the results of applying classical planning techniques to the problem of analyzing computer network vulnerabilities. Specifically, we are concerned with the generation of Adversary… (More)

Conditional Linear Planning

In this paper we present a sound and complete lln. ear planning algorithm which accomodates conditional actions: actions whose effects cannot be predkted with certainty. Coaditioaal liaear planain8… (More)

Imperfect Match: PDDL 2.1 and Real Applications

Mark S. Boddy
J. Artif. Intell. Res.
2003

pddl was originally conceived and constructed as a lingua franca for the International Planning Competition. pddl2.1 embodies a set of extensions intended to support the expression of something… (More)

Filter Results:

Publication Year

Publication Type

Co-author

Journals and Conferences