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 25 of 146  
    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 H. 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
    Marek Vlk, Roman Barták, Zdenek Hanzálek.
    Minimization of useless work in resource failure recovery of workflow schedules.
    22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017 2017 (0) 2017
    Conference paper
    Neng-Fa Zhou, Roman Barták.
    // Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding.
    Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia 2018 (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
    Conference paper
    Jindrich Vodrázka, Roman Barták.
    The Benefit of Control Knowledge and Heuristics During Search in Planning.
    Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, Rome, Italy, February 24-26, 2016. 2016 (0) 2016
    Conference paper
    Roman Barták, Neng-Fa Zhou, Agostino Dovier.
    Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
    Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, USA, July 10, 2016. 2016 (0) 2016
    Conference paper
    Roman Barták, Jindrich Vodrázka.
    An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner.
    Fundam. Inform. 2016, Volume 149 (0) 2016
    Conference paper
    Roman Barták, Agostino Dovier, Neng-Fa Zhou.
    Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.
    28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016, San Jose, CA, USA, November 6-8, 2016 2016 (0) 2016
    Conference paper
    Miguel A. Salido, Roman Barták.
    Introduction to the special issue on constraint satisfaction for planning and scheduling.
    Knowledge Eng. Review 2016, Volume 31 (0) 2016
    Conference paper
    Martin Cerný, Roman Barták, Cyril Brom, Jakub Gemrot.
    To Plan or to Simply React? An Experimental Study of Action Planning in a Game Environment.
    Computational Intelligence 2016, Volume 32 (0) 2016
    Conference paper
    Roman Barták, Vladislav Kubon.
    Using a Grammar Checker to Validate Compliance of Processes with Workflow Models.
    Advances in Computational Intelligence - 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I 2017 (0) 2016
    Conference paper
    Roman Barták, Tomás Dvorák.
    On Verification of Workflow and Planning Domain Models Using Attribute Grammars.
    Advances in Computational Intelligence - 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I 2017 (0) 2016
    Conference paper
    Roman Barták, Marek Vlk.
    Hierarchical Task Model for Resource Failure Recovery in Production Scheduling.
    Advances in Computational Intelligence - 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I 2017 (0) 2016
    Conference paper
    Roman Barták, Jindrich Vodrázka.
    The Effect of Domain Modeling on Efficiency of Planning.
    International Symposium on Artificial Intelligence and Mathematics, ISAIM 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016. 2016 (0) 2016
    Show item 1 to 25 of 146  

    Your query returned 146 matches in the database.