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

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

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 776,29 KB