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

City

Causality / Hanoi / Multi / /

Company

MIT Press / Youssef Hamadi Sa / /

/

Facility

Tower of Hanoi Challenge / Sabancı University / Tower of Hanoi / /

IndustryTerm

real-world applications / robotics technology / robotic applications / cognitive robotic applications / service robotics applications / commonsense law / semantic-web reasoning / workforce management / hybrid planning algorithms / robotics applications / robotic systems / transition systems / geometric reasoning algorithm / feasible solutions / /

Organization

MIT / Esra Erdem Faculty of Engineering and Natural Sciences / Sabancı University / /

Person

Hudson Turner / Enrico Giunchiglia / Carla P. Gomes / Volkan Patoglu / Randal E. Bryant / Monica Nogueira / Richard Watson / Giovambattista Ianni / Miroslaw Truszczynski / Lintao Zhang / Tansel Uras / Gerhard Brewka / Ying Zhao / Vladimir Lifschitz / Halit Erdogan / Hans Tompits / Sharad Malik / Thomas Eiter / Giray Havur / Umut Oztok / Conor F. Madigan / Michael Gelfond / Joohyung Lee / Henry A. Kautz / Bart Selman / Ahmetcan Erdogan / Matthew W. Moskewicz / Marcello Balduccini / Henry Kautz / Esra Erdem / Ashish Sabharwal / Roman Schindlauer / Miroslav N. Velev / Yelda Erdem / Matthew Barry / Michael Casolary / Can Palaz / Norman McCain / Kadir Haspalamutgil / Erdi Aker / /

Position

motion planner / /

ProgrammingLanguage

Prolog / C++ / /

Technology

artificial intelligence / robotics technology / http / Simulation / Operating System / decision support system / hybrid planning algorithms / geometric reasoning algorithm / /

SocialTag