![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 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](https://www.pdfsearch.io/img/a2d9d8ea4cbfc7792852952c2097b208.jpg)
| Document Date: 2015-05-26 14:10:44 Open Document File Size: 776,29 KBShare 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 |