Mark S. Boddy - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2017

The Evolution of Scheduling Applications and ToolsMark S. Boddy. aim, 38(1):107-108, 2017. [doi]

Automated case generation using a genetic algorithmHayley Borck, Mark S. Boddy. gecco 2017: 187-188 [doi]

2016

Frankencode: Creating Diverse Programs Using Code ClonesHayley Borck, Mark S. Boddy, Ian J. De Silva, Steven A. Harp, Ken Hoyme, Steven Johnston, August Schwerdfeger, Mary Southern. WCRE 2016: 604-608 [doi]

Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance SystemHayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy. iccbr 2017: 132-141 [doi]

2015

Capturing Human Route Preferences From Track Information: New ResultsJohnathan Gohde, Mark S. Boddy, Hazel Shackleton, Steve Johnston. AAAI 2015: 3961-3966 [doi]

2013

PRONTOE: An Ontology Editor for Domain ExpertsScott Bell, Pete Bonasso, Mark S. Boddy, David Kortenkamp, Debra Schreckenghost. ic3k 2015: 153-167 [doi]

2010

2008

The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07)Mark S. Boddy, Maria Fox, Sylvie Thiébaux. aim, 29(3):116-119, 2008. [doi]

2007

"Unrolling" Complex Task Models into MDPsRobert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu. aaaiss 2007: 23-30 [doi]

2006

Coordinated Plan Management Using Multiagent MDPsDavid J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy. aaaiss 2006: 73-80 [doi]

2005

Course of Action Generation for Cyber Security Using Classical PlanningMark S. Boddy, Johnathan Gohde, Thomas Haigh, Steven A. Harp. aips 2005: 12-21

Collaborative Filtering for Community ThreatsRobert P. Goldman, Mark S. Boddy, Steven A. Harp, Tom Haigh. aaaiss 2005: 130-132 [doi]

Automated Vulnerability Analysis Using AI PlanningSteven A. Harp, Johnathan Gohde, Thomas Haigh, Mark S. Boddy. aaaiss 2005: 46-53 [doi]

2003

Imperfect Match: PDDL 2.1 and Real ApplicationsMark S. Boddy. jair, 20:133-137, 2003. [doi]

A Method for Global Optimization of Large Systems of Quadratic ConstraintsNitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy. cocos 2005: 61-70 [doi]

2002

A New Method for the Global Solution of Large Systems of Continuous ConstraintsMark S. Boddy, Daniel P. Johnson. cocos 2003: 142-156 [doi]

1997

Practical Temporal Reasoning for Real Scheduling ApplicationsMark S. Boddy. time 1997: 71 [doi]

Dynamic Abstraction PlanningRobert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy. AAAI 1997: 680-686

A Constraint-Based Scheduler for Batch ManufacturingRobert P. Goldman, Mark S. Boddy. expert, 12(1):49-56, 1997.

Contract-Based Distributed Scheduling for Distributed ProcessingDavid J. Musliner, Mark S. Boddy. AAAI 1997: 118-128

1996

Expressive Planning and Explicit KnowledgeRobert P. Goldman, Mark S. Boddy. aips 1996: 110-117

1994

1993

Temporal Reasoning for Planning and SchedulingMark S. Boddy. sigart, 4(3):17-20, 1993.

1991

Anytime Problem Solving Using Dynamic ProgrammingMark S. Boddy. AAAI 1991: 738-743

1989

Solving Time-Dependent Planning ProblemsMark S. Boddy, Thomas Dean. IJCAI 1989: 979-984

1988

An Analysis of Time-Dependent PlanningThomas Dean, Mark S. Boddy. AAAI 1988: 49-54

Reasoning About Partially Ordered EventsThomas Dean, Mark S. Boddy. ai, 36(3):375-399, 1988.

1987

Incremental Causal ReasoningThomas Dean, Mark S. Boddy. AAAI 1987: 196-201

Sign in or sign up to see more results.

runs on WebDSL