Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Experiences with planning techniques for assisting software design activities
Applied Intelligence
I-Ex: Intelligent Extreme Expedition Support
Proceedings of the 2006 conference on Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer
Ambient intelligence: A survey
ACM Computing Surveys (CSUR)
Plans and planning in smart homes
Designing Smart Homes
Automated planning for configuration changes
LISA'11 Proceedings of the 25th international conference on Large Installation System Administration
Hi-index | 0.00 |