Publications
Export 54 results:
Filters: Author is Mark Boddy [Clear All Filters]
Automated case generation using a genetic algorithm. Proceedings of the Genetic and Evolutionary Computation Conference Companion.
.
2017. Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System. Workshop on Reasoning about Time in CBR (RATIC) at the International Conference on Case-Based Reasoning (ICCBR) 2016.
.
2016. Frankencode: Creating Diverse Programs Using Code Clones. 2016 IEEE 23nd International Conference on Software Analysis, Evolution and Reengineering (SANER). :604-608.
.
2016. ConCEPT: Constraint-Checking Editor for Procedure Editing and Tracking. Workshop on AI in Space at the 2015 International Joint Conferences on Artificial Intelligence (IJCAI).
.
2015. Reasoner Performance on Ontologies for Operations. 6th International Conference on Knowledge Engineering and Ontology Development.
.
2014. Learning from Previous Execution to Improve Route Planning. ICAPS Workshop on Planning and Learning.
.
2013. .
2013. PRONTOE: A case study for developing ontologies for operations. 5th International Conference on Knowledge Engineering and Ontology Development.
.
2013. .
2013. Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness. Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS-12).
.
2012. .
2012. Bayesian Learning of Generalized Board Positions for Improved Move Prediction in Computer Go. Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco CA (2011).
.
2011. FUSED: A Tool Integration Framework for Collaborative System Engineering. 2nd Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS-11). :1-8.
.
2011. 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.
.
2010. Eliciting Planning Information from Subject Matter Experts. ICAPS 2010 Workshop on Knowledge Engineering for Planning and Scheduling (KEPS).
.
2010. Planning for Human Execution of Procedures Using ANML. ICAPS 2010 Scheduling and Planning Applications Workshop.
.
2010. .
2009.
Ontological Models to Support Planning Operations. International Workshop on Planning and Scheduling for Space (IWPSS).
.
2009. .
2007. .
2007.
.
2004. .
2004. .
2004.