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 143  
    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
    Journal article
    Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou.
    Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.
    Sci. Comput. Program. 2017, Volume 147 (0) 2017
    Conference paper
    Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu.
    Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.
    AI Magazine 2017, Volume 38 (0) 2017
    Conference paper
    Roman Barták, Adrien Maillard.
    Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models.
    Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 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
    Show item 1 to 10 of 143  

    Your query returned 143 matches in the database.