Back to Results
First PageMeta Content
Logic programming / Automated planning and scheduling / Formal methods / Reasoning / Action description language / Answer set programming / Action language / Algorithm / Boolean satisfiability problem / Theoretical computer science / Applied mathematics / Artificial intelligence


R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl
Add to Reading List

Document Date: 2015-05-26 14:10:44


Open Document

File Size: 776,29 KB

Share Result on Facebook
UPDATE