View Document Preview and Link Document Date: 2011-05-25 06:01:25 Open Document File Size: 408,12 KB Share Result on Facebook
City Washington / / Company DyKnow / Autonomous Systems / Simmons / / / Event Natural Disaster / / IndustryTerm supply carrier / flight control software / search node / less processing power / execution monitoring overview transportation capacity / knowledge processing middleware / partial solution / state variables requiring image processing / progression algorithm / destination carrier / deliberative services / formula progression algorithm / forward-chaining search / carrier position / higher level deliberative services / path planning algorithms / software architecture / knowledge processing middleware framework / road systems / knowledge processing / food / / Organization Swedish Research Council / Federal Government / Center for Industrial Information Technology / Artificial Copyright Intelligence / Swedish Aeronautics Research Council / Path Planner Service / Association for the Advancement / Swedish Foundation for Strategic Research / Patrick Doherty Department of Computer and Information Science / / Person Lee / Berry / Fredrik Heintz / Ben Lamine / Patrick Doherty / / Position domain designer / planner / Porter / temporal logic-based planner / / Product UAVs / / ProgrammingLanguage FP / / PublishedMedium Annals of Mathematics / Theoretical Computer Science / Electronic Notes in Theoretical Computer Science / / Technology Monitoring algorithms / Intelligent Agent Technology / artificial intelligence / path planning algorithms / Information Technology / formula progression algorithm / progression algorithm / simulation / image processing / / URL www.aaai.org / / SocialTag 
A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw