Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Roman
    Last name: Barták
    DBLP: 04/5344
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 140  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Roman Barták.
    Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2.
    TPLP 2017, Volume 17 (0) 2017
    Conference paper
    Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou.
    k-Robust Multi-Agent Path Finding.
    Proceedings of the Tenth International Symposium on Combinatorial Search, Edited by Alex Fukunaga and Akihiro Kishimoto, 16-17 June 2017, Pittsburgh, Pennsylvania, USA. 2017 (0) 2017
    Conference paper
    Roman Barták, Marta Vomlelová.
    Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings.
    Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017. 2017 (0) 2017
    Conference paper
    Roman Barták.
    Using Attribute Grammars to Model Nested Workflows with Extra Constraints.
    SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Jan Jelínek, Roman Barták.
    Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station.
    Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings 2016 (0) 2016
    Conference paper
    Lukás Chrpa, Roman Barták.
    Guiding Planning Engines by Transition-Based Domain Control Knowledge.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. 2016 (0) 2016
    Conference paper
    Roman Barták, Vladislav Kubon.
    On Similarities Between Workflow Verification and Grammar Checking.
    Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016. 2016 (0) 2016
    Conference paper
    Roman Barták, Jindrich Vodrázka.
    Domain Modeling for Planning as Logic Programming.
    Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016. 2016 (0) 2016
    Conference paper
    Roman Barták, Michal Koutný, David Obdrzálek.
    Practical 3D Tracking Using Low-Cost Cameras.
    Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 2016 (0) 2016
    Conference paper
    Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou.
    Compiling and Executing PDDL in Picat.
    Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20-22, 2016. 2016 (0) 2016
    Show item 1 to 10 of 140  

    Your query returned 140 matches in the database.