|
Found 41 results
Filters: author is Boddy [Clear All Filters]
2010
"Coordinated Management of Large-Scale Networks Using Constraint Satisfaction", Second Workshop on Intelligent Security (Security and Artificial Intelligence) SecArt '10, Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta Georgia, 07/12/2010. Abstract
INFERRING SYSTEM-LEVEL PROPERTIES, : Adventium Enterprises, 02/20/2009. Abstract
2009
"Enhancing NASA's Procedure Representation Language to Support Planning Operations", International Workshop on Planning and Scheduling for Space, 2009 .
2008
"System-Level Autonomy Trust Enabler (SLATE)", U.S. Air Force T&E Days, Los Angeles, CA, AIAA, 02/06/2008. Abstract
2007
Deep Green Seedling: Language for Investigating Myriad Eventualities, , 11/28/2007.
"Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling", ICAPS 2007, Providence, Rhode Island, USA, AAAI 2007, 09/22/2007.
2005
"Course of Action Generation for Cyber Security Using Classical Planning", ICAPS-05, 06/05/2005. Abstract
Verification and Validation of Autonomy Software, , 2005 .
2004
"Assessment Study on Sensors and Automation in the Industries of the Future: Reports on Industrial Controls, Information Processing, Automation, and Robotics", National Institute of Standards and Technology, 10/2004.
"Recent Developments in Hybrid Reasoning for Planning and Scheduling", 3rd International NASA Workshop on Planning and Scheduling for Space, 10/2002.
"NASA Planning and Scheduling Applications: Emerging Technologies and Mission Trends", NASA Grant NAG-2-1631, 05/2004.
"Planning and Scheduling Research at NASA: An Assessment", NASA IS program review, 02/2003.
"CLOCKWORK: Requirements Definition and Technology Evaluation for Robust, Compiled Autonomous Spacecraft Executives", NASA Grant NAG-2-1624: NASA, 01/2004.
2003
"Imperfect Match: PDDL 2.1 and Real Applications", Journal of Artificial Intelligence Research, vol. 20, 2003. Abstract
"U.S. Department of Energy, Sensors and Automation Annual Review - Assessment Study: Sensors and Automation in the Industries of the Future", Department of Energy, 06/2003.
"A Method for Global Optimization of Large Systems of Quadratic Constraints", 2nd International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-03), 2003. Abstract
2002
"A New Method for the Solution of Large Systems of Continuous Constraints", 1st International Workshop on Global Constrained Optimization and Constraint Satisfaction (COCOS-02), Sophia-Antipolis, France, 10/02/2002. Abstract
1998
"Abstraction for Real-time Intelligent Control", SARA-98, 05/09/1998. Abstract
1997
"Hybrid Reasoning for Complex Systems", Symposium on Model-directed Autonomous Systems, Fall/2008. Abstract
"The Link Between Distributed Planning and Abstraction", AAAI Fall Symposium on Model-Directed Autonomous Systems, 11/1997. Abstract
"Contract-Based Distributed Scheduling for Distributed Processing", Working Notes of the AAAI Workshop on Constraints and Agents, Providence, RI, 07/1997. Abstract
1996
"Temporal Reasoning for Planning and Scheduling: Lessons Learned", Advanced Planning Technology: AAAI Press, 03/1996. Abstract
1995
"Integrated Planning and Scheduling for the EOS Core System (ECS)", Proceedings of the 1995 Goddard Space Flight Conference, 1995.
1994
"Epsilon-Safe Planning", 10th Conference on Uncertainty in Artificial Intelligence, Seattle, WA, 29/06/1994.
"Representing Uncertainty in Simple Planners, Principles of Knowledge Representation and Reasoning", Proceedings of the Fourth International Conference (KR94), Bonn, Germany, 24/05/1994.
12next ›last »
|