Roman Barták

According to our database, Roman Barták authored at least 198 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On Automating Video Game Testing by Planning and Learning.

Tomás Balyo, G. Michael Youngblood, Filip Dvorák, Roman Barták

CoRR, 2024

Learning Planning Action Models from State Traces.

Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Filip Dvorák, Roman Barták, G. Michael Youngblood

CoRR, 2024

Multi-Agent Path Finding: Policies Instead of Plans.

Jakub Mestek, Roman Barták

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach.

Avraham Natan, Meir Kalech, Roman Barták

Artif. Intell., November, 2023

Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract].

Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods.

Simona Ondrcková, Roman Barták

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract).

Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way?

Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

On the Impact of Grounding on HTN Plan Verification via Parsing.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint.

Kristýna Pantucková, Simona Ondrcková, Roman Barták

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans.

Kristýna Pantucková, Roman Barták

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.

Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning.

Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová

IEEE Trans. Knowl. Data Eng., 2022

Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract).

Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Coordinated Collision-free Movement of Groups of Agents.

Jirí Svancara, Marika Ivanová, Roman Barták

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling.

Jirí Svancara, Roman Barták

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning.

Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Contingent Planning for Robust Multi-Agent Path Finding.

Michal Nekvinda, Roman Barták, Meir Kalech

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

From Classical to Colored Multi-Agent Path Finding.

Roman Barták, Marika Ivanová, Jirí Svancara

Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

Correcting Hierarchical Plans by Action Deletion.

Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Contingent Planning for Robust Multi-Agent Path Finding.

Michal Nekvinda, Roman Barták

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

On the Verification of Totally-Ordered HTN Plans.

Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Compilation-Based Approaches to Parallel Planning: An Empirical Comparison.

Kristýna Pantucková, Roman Barták

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Colored Multi-Agent Path Finding: Solving Approaches.

Roman Barták, Marika Ivanová, Jirí Svancara

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots.

Roman Barták, Jakub Mestek

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Robust Multi-Agent Path Finding and Executing.

Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou

J. Artif. Intell. Res., 2020

On Modelling Multi-Agent Path Finding as a Classical Planning Problem.

Jindrich Vodrázka, Roman Barták, Jirí Svancara

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

A Novel Parsing-based Approach for Verification of Hierarchical Plans.

Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

Automated Acquisition of Control Knowledge for Classical Planners.

Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation.

Otakar Trunda, Roman Barták

Proceedings of the Agents and Artificial Intelligence, 12th International Conference, 2020

Deep Learning of Heuristics for Domain-independent Planning.

Otakar Trunda, Roman Barták

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

What Does Multi-agent Path-finding Tell Us About Intelligent Intersections.

Vera Skopková, Roman Barták, Jirí Svancara

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots.

Roman Barták, Jirí Svancara, Ivan Krasicenko

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Report on the Thirty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS-32).

Roman Barták, Eric Bell, Keith Brawner, Vasile Rus

AI Mag., 2019

Multi-agent path finding on real robots.

Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl, Ivan Krasicenko

AI Commun., 2019

Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks.

Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne T. Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Roman Barták, Eli Boyarski

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective.

Roman Barták, Jirí Svancara

Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Multi-Agent Path Finding on Ozobots.

Roman Barták, Ivan Krasicenko, Jirí Svancara

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Combining Strengths of Optimal Multi-Agent Path Finding Algorithms.

Jirí Svancara, Roman Barták

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

FLAIRS-32 Poster Abstracts.

Roman Barták, Keith Brawner

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Multi-Agent Path Finding on Real Robots.

Roman Barták, Ivan Krasicenko, Jirí Svancara

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Online Multi-Agent Pathfinding.

Jirí Svancara, Marek Vlk, Roni Stern, Dor Atzmon, Roman Barták

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Report on the Thirty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS-31).

Keith Brawner, Vasile Rus, Roman Barták, Zdravko Markov

AI Mag., 2018

Robust Multi-Agent Path Finding.

Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou

Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

LOUGA: Learning Planning Operators Using Genetic Algorithms.

Jirí Kucera, Roman Barták

Proceedings of the Knowledge Management and Acquisition for Intelligent Systems, 2018

Multi-agent Path Finding on Real Robots: First Experience with Ozobots.

Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2018, 2018

Special Track on Autonomous Robots and Agents.

Roman Barták, David Obdrzálek

Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs.

Roman Barták, Jiri Svancara, Marek Vlk

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Validation of Hierarchical Plans via Parsing of Attribute Grammars.

Roman Barták, Adrien Maillard, Rafael Cauê Cardoso

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

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.

Roman Barták

Theory Pract. Log. Program., 2017

Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain.

Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou

Sci. Comput. Program., 2017

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.

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 Hai 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 R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu

AI Mag., 2017

k-Robust Multi-Agent Path Finding.

Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

3D Navigation for a Mobile Robot.

Jan Skoda, Roman Barták

Proceedings of the ROBOT 2017: Third Iberian Robotics Conference, 2017

Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models.

Roman Barták, Adrien Maillard

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

Modeling and Solving the Multi-agent Pathfinding Problem in Picat.

Roman Barták, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding.

Neng-Fa Zhou, Roman Barták

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings.

Roman Barták, Marta Vomlelová

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Minimization of useless work in resource failure recovery of workflow schedules.

Marek Vlk, Roman Barták, Zdenek Hanzálek

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Introduction to the special issue on constraint satisfaction for planning and scheduling.

Miguel A. Salido, Roman Barták

Knowl. Eng. Rev., 2016

An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner.

Roman Barták, Jindrich Vodrázka

Fundam. Informaticae, 2016

To Plan or to Simply React? An Experimental Study of Action Planning in a Game Environment.

Martin Cerný, Roman Barták, Cyril Brom, Jakub Gemrot

Comput. Intell., 2016

Using Attribute Grammars to Model Nested Workflows with Extra Constraints.

Roman Barták

Proceedings of the SOFSEM 2016: Theory and Practice of Computer Science, 2016

Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station.

Jan Jelínek, Roman Barták

Proceedings of the Practical Aspects of Declarative Languages, 2016

Hierarchical Task Model for Resource Failure Recovery in Production Scheduling.

Roman Barták, Marek Vlk

Proceedings of the Advances in Computational Intelligence, 2016

Using a Grammar Checker to Validate Compliance of Processes with Workflow Models.

Roman Barták, Vladislav Kubon

Proceedings of the Advances in Computational Intelligence, 2016

On Verification of Workflow and Planning Domain Models Using Attribute Grammars.

Roman Barták, Tomás Dvorák

Proceedings of the Advances in Computational Intelligence, 2016

Guiding Planning Engines by Transition-Based Domain Control Knowledge.

Lukás Chrpa, Roman Barták

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

The Effect of Domain Modeling on Efficiency of Planning.

Roman Barták, Jindrich Vodrázka

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2016

Practical 3D Tracking Using Low-Cost Cameras.

Roman Barták, Michal Koutný, David Obdrzálek

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models.

Roman Barták, Agostino Dovier, Neng-Fa Zhou

Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

The Benefit of Control Knowledge and Heuristics During Search in Planning.

Jindrich Vodrázka, Roman Barták

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Domain Modeling for Planning as Logic Programming.

Roman Barták, Jindrich Vodrázka

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

On Similarities Between Workflow Verification and Grammar Checking.

Roman Barták, Vladislav Kubon

Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, 2016

Compiling and Executing PDDL in Picat.

Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou

Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015

Planning as tabled logic programming.

Neng-Fa Zhou, Roman Barták, Agostino Dovier

Theory Pract. Log. Program., 2015

Yet more planning efficiency: Finite-domain state-variable reformulation.

Filip Dvorak, Daniel Toropila, Roman Barták

J. Exp. Theor. Artif. Intell., 2015

The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain.

Roman Barták, Jindrich Vodrázka

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2015

No One SATPlan Encoding To Rule Them All.

Tomás Balyo, Roman Barták

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 2015

On modeling planning problems in tabled logic programming.

Roman Barták, Agostino Dovier, Neng-Fa Zhou

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Short-Term Motion Tracking Using Inexpensive Sensors.

Filip Matzner, Roman Barták

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2015

Any Object Tracking and Following by a Flying Drone.

Roman Barták, Adam Vykovsky

Proceedings of the Fourteenth Mexican International Conference on Artificial Intelligence, 2015

Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints.

Roman Barták, Marek Vlk

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints.

Roman Barták, Marek Vlk

Proceedings of the ICAART 2015, 2015

Camera-Based Localization and Stabilization of a Flying Drone.

Jan Skoda, Roman Barták

Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

Searching for Sequential Plans Using Tabled Logic Programming.

Roman Barták, Jindrich Vodrázka

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

An Introduction to Constraint-Based Temporal Reasoning

Roman Barták, Robert A. Morris, Kristen Brent Venable

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01567-0, 2014

Using Tabled Logic Programming to Solve the Petrobras Planning Problem.

Roman Barták, Neng-Fa Zhou

Theory Pract. Log. Program., 2014

On verification of nested workflows with extra constraints: From theory to practice.

Roman Barták, Vladimír Rovenský

Expert Syst. Appl., 2014

A Constraint-Based Planner for Mars Express Orbiter.

Martin Kolombo, Roman Barták

Proceedings of the Nature-Inspired Computation and Machine Learning, 2014

Planning and Acting with Temporal and Hierarchical Decomposition Models.

Filip Dvorak, Roman Barták, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Special Track on Intelligent Autonomous Systems.

Roman Barták, David Obdrzálek

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

On Autonomous Landing of AR.Drone: Hands-On Experience.

Roman Barták, Andrej Hrasko, David Obdrzálek

Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference, 2014

Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning.

Otakar Trunda, Roman Barták

Proceedings of the International Workshop on Meta-learning and Algorithm Selection co-located with 21st European Conference on Artificial Intelligence, 2014

On Modeling Formalisms for Automated Planning.

Jindrich Vodrázka, Roman Barták

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction.

Martin Cerný, Cyril Brom, Roman Barták, Martin Antos

Proceedings of the Tenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2014

Planning and Scheduling.

Roman Barták

Proceedings of the Computing Handbook, 2014

2013

Preface to special issue on Knowledge Engineering for Planning and Scheduling.

Roman Barták, Simone Fratini, Thomas Leo McCluskey

Knowl. Eng. Rev., 2013

Formulating the template ILP consistency problem as a constraint satisfaction problem.

Roman Barták, Radomír Cernoch, Ondrej Kuzelka, Filip Zelezný

Constraints An Int. J., 2013

Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation.

Filip Dvorak, Daniel Toropila, Roman Barták

Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, 2013

Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains.

Otakar Trunda, Roman Barták

Proceedings of the Advances in Soft Computing and Its Applications, 2013

On Modeling Planning Problems: Experience from the Petrobras Challenge.

Roman Barták, Neng-Fa Zhou

Proceedings of the Advances in Soft Computing and Its Applications, 2013

Planning and Reactive Agents in Dynamic Game Environments - An Experimental Study.

Roman Barták, Cyril Brom, Martin Cerný, Jakub Gemrot

Proceedings of the ICAART 2013, 2013

Simplifying Verification of Nested Workflows with Extra Constraints.

Roman Barták

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

2012

MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises.

Roman Barták, Con Sheahan, Ann Sheahan

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

On Improving Plan Quality via Local Enhancements.

Tomás Balyo, Roman Barták, Pavel Surynek

Proceedings of the Fifth Annual Symposium on Combinatorial Search, 2012

Verifying Nested Workflows with Extra Constraints.

Roman Barták, Vladimír Rovenský

Proceedings of the Advances in Artificial Intelligence, 2012

Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems.

Daniel Toropila, Filip Dvorak, Otakar Trunda, Martin Hanes, Roman Barták

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Shortening Plans by Local Re-planning.

Tomás Balyo, Roman Barták, Pavel Surynek

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

On Complexity of Verifying Nested Workflows with Extra Constraints.

Roman Barták

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

When Planning Should Be Easy: On Solving Cumulative Planning Problems.

Roman Barták, Filip Dvorak, Jakub Gemrot, Cyril Brom, Daniel Toropila

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners.

Roman Barták, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang

Proceedings of the ECAI 2012, 2012

Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms.

Andrej Chovanec, Roman Barták

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

Planning Is the Game: Action Planning as a Design Tool and Game Mechanism.

Rudolf Kadlec, Csaba Tóth, Martin Cerný, Roman Barták, Cyril Brom

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

2011

Constraint satisfaction for planning and scheduling problems.

Roman Barták, Miguel A. Salido

Constraints An Int. J., 2011

On Constraint Models for Parallel Planning: The Novel Transition Scheme.

Roman Barták

Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence, 2011

On Generating Templates for Hypothesis in Inductive Logic Programming.

Andrej Chovanec, Roman Barták

Proceedings of the Advances in Artificial Intelligence, 2011

Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement.

Andrej Chovanec, Roman Barták

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner.

Roman Barták, Michal Zerola, Stanislav Slusny

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

A Novel Constraint Model for Parallel Planning.

Roman Barták

Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011

2010

Special issue on applications and methodologies for planning and scheduling: editorial.

Roman Barták, Hana Rudová

J. Sched., 2010

New trends in constraint satisfaction, planning, and scheduling: a survey.

Roman Barták, Miguel A. Salido, Francesca Rossi

Knowl. Eng. Rev., 2010

Preface to special issue on planning and scheduling.

Roman Barták, Amedeo Cesta, Lee McCluskey, Miguel A. Salido

Knowl. Eng. Rev., 2010

Constraint satisfaction techniques in planning and scheduling.

Roman Barták, Miguel A. Salido, Francesca Rossi

J. Intell. Manuf., 2010

From enterprise models to scheduling models: bridging the gap.

Roman Barták, James Little, Oscar Manzano, Con Sheahan

J. Intell. Manuf., 2010

Solving Sequential Planning Problems via Constraint Satisfaction.

Roman Barták, Daniel Toropila

Fundam. Informaticae, 2010

Discovering implied constraints in precedence graphs with alternatives.

Roman Barták, Ondrej Cepek, Pavel Surynek

Ann. Oper. Res., 2010

Logic programming for combinatorial problems.

Toshinori Munakata, Roman Barták

Artif. Intell. Rev., 2010

The Third Competition on Knowledge Engineering for Planning and Scheduling.

Roman Barták, Simone Fratini, Lee McCluskey

AI Mag., 2010

Optimizing Alternatives in Precedence Networks.

Roman Barták

Proceedings of the Advances in Artificial Intelligence, 2010

Integrating Time and Resources into Planning.

Filip Dvorak, Roman Barták

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming.

Roman Barták, Ondrej Kuzelka, Filip Zelezný

Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010

Constraint Models for Reasoning on Unification in Inductive Logic Programming.

Roman Barták

Proceedings of the Artificial Intelligence: Methodology, 2010

Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.

Roman Barták, Ondrej Kuzelka, Filip Zelezný

Proceedings of the Abstraction, 2010

2009

Constraint Processing.

Roman Barták

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Efficient Multi-site Data Movement Using Constraint Programming for Data Hungry Science

Michal Zerola, Jérôme Lauret, Roman Barták, Michal Sumbera

CoRR, 2009

Using constraint programming to resolve the multi-source/multi-site data movement paradigm on the Grid

Michal Zerola, Jérôme Lauret, Roman Barták, Michal Sumbera

CoRR, 2009

Reformulating Planning Problems by Eliminating Unpromising Actions.

Lukás Chrpa, Roman Barták

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Integrating Constraint Models for Sequential and Partial-Order Planning.

Roman Barták, Daniel Toropila

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Revisiting Constraint Models for Planning Problems.

Roman Barták, Daniel Toropila

Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

Using Constraint Programming to Plan Efficient Data Movement on the Grid.

Michal Zerola, Michal Sumbera, Roman Barták, Jérôme Lauret

Proceedings of the ICTAI 2009, 2009

Efficient multi-site data movement in distributed environment.

Michal Zerola, Michal Sumbera, Jérôme Lauret, Roman Barták

Proceedings of the 2009 10th IEEE/ACM International Conference on Grid Computing, 2009

Enhancing Constraint Models for Planning Problems.

Roman Barták, Daniel Toropila

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Special Track on Artificial Intelligence Planning and Scheduling.

Roman Barták

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Constraint Models for Sequential Planning.

Roman Barták, Daniel Toropila

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Tutorial: constraint-based scheduling.

Roman Barták

Proceedings of the 2009 IEEE Symposium on Computational Intelligence in Scheduling, 2009

2008

Incremental Filtering Algorithms for Precedence and Dependency Constraints.

Roman Barták, Ondrej Cepek

Int. J. Artif. Intell. Tools, 2008

Introduction: Special issue on constraint satisfaction techniques for planning and scheduling problems.

Miguel A. Salido, Antonio Garrido, Roman Barták

Eng. Appl. Artif. Intell., 2008

Rina Dechter , Constraint Processing, Morgan Kaufmann Publisher (2003) ISBN 1-55860-890-7, Francesca Rossi, Peter van Beek and Toby Walsh, Editors, Handbook of Constraint Programming, Elsevier (2006) ISBN 978-0-444-52726-4.

Roman Barták

Comput. Sci. Rev., 2008

Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies.

Lukás Chrpa, Roman Barták

Proceedings of the Tenth Scandinavian Conference on Artificial Intelligence, 2008

Nested temporal networks with alternatives: recognition and tractability.

Roman Barták, Ondrej Cepek

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies.

Lukás Chrpa, Roman Barták

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

Reformulating Constraint Models for Classical Planning.

Roman Barták, Daniel Toropila

Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models.

Roman Barták, Ondrej Cepek

Proceedings of the Artificial Intelligence: Methodology, 2008

2007

Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems.

Roman Barták, Lee McCluskey

Knowl. Eng. Rev., 2007

Generating Implied Boolean Constraints Via Singleton Consistency.

Roman Barták

Proceedings of the Abstraction, 2007

Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search.

Pavel Surynek, Roman Barták

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Temporal Networks with Alternatives: Complexity and Model.

Roman Barták, Ondrej Cepek

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Temporal Reasoning in Nested Temporal Networks with Alternatives.

Roman Barták, Ondrej Cepek, Martin Hejna

Proceedings of the Recent Advances in Constraints, 2007

Modelling Alternatives in Temporal Networks.

Roman Barták, Ondrej Cepek, Pavel Surynek

Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Scheduling, 2007

2006

Private and Efficient Stable Marriages (Matching).

Timothy Atkinson, Roman Barták, Marius-Calin Silaghi, E. Tuleu, Markus Zanker

IACR Cryptol. ePrint Arch., 2006

Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005).

Roman Barták, Michela Milano

Constraints An Int. J., 2006

The First Competition on Knowledge Engineering for Planning and Scheduling.

Roman Barták, Lee McCluskey

AI Mag., 2006

Incremental Propagation of Time Windows on Disjunctive Resources.

Roman Barták

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

A Constraint Model for State Transitions in Disjunctive Resources.

Roman Barták, Ondrej Cepek

Proceedings of the Recent Advances in Constraints, 2006

Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach.

Roman Barták, Ondrej Cepek

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005

Extension of <i>O</i>(<i>n</i> log <i>n</i>) Filtering Algorithms for the Unary Resource Constraint to Optional Activities.

Petr Vilím, Roman Barták, Ondrej Cepek

Constraints An Int. J., 2005

R. Dechter, Constraint Processing, Morgan Kaufmann (2003).

Roman Barták

Artif. Intell., 2005

Limited assignments: a new cutoff strategy for incomplete depth-first search.

Roman Barták, Hana Rudová

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Desk-Mates (Stable Matching) with Privacy of Preferences, and a New Distributed CSP Framework.

Marius-Calin Silaghi, Amit Abhyankar, Markus Zanker, Roman Barták

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems.

Roman Barták, Pavel Surynek

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

On Generators of Random Quasigroup Problems.

Roman Barták

Proceedings of the Recent Advances in Constraints, 2005

Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.

Josef Zlomek, Roman Barták

Proceedings of the Principles and Practice of Constraint Programming, 2005

Encoding HTN Planning as a Dynamic CSP.

Pavel Surynek, Roman Barták

Proceedings of the Principles and Practice of Constraint Programming, 2005

Automated Search for Heuristic Functions.

Pavel Cejnar, Roman Barták

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

The CP-04 Workshop on CSP Techniques with Immediate Application (Conference Report).

Roman Barták

IEEE Intell. Informatics Bull., 2004

Effective Modeling with Constraints.

Roman Barták

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Minimal Perturbation Problem in Course Timetabling.

Tomás Müller, Hana Rudová, Roman Barták

Proceedings of the Practice and Theory of Automated Timetabling V, 2004

A New Algorithm for Singleton Arc Consistency.

Roman Barták, Radek Erben

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Unary Resource Constraint with Optional Activities.

Petr Vilím, Roman Barták, Ondrej Cepek

Proceedings of the Principles and Practice of Constraint Programming, 2004

A New Algorithm for Maintaining Arc Consistency After Constraint Retraction.

Pavel Surynek, Roman Barták

Proceedings of the Principles and Practice of Constraint Programming, 2004

2003

Dynamic Global Constraints in Backtracking Based Environments.

Roman Barták

Ann. Oper. Res., 2003

A New Approach to Modeling and Solving Minimal Perturbation Problems.

Roman Barták, Tomás Müller, Hana Rudová

Proceedings of the Recent Advances in Constraints, 2003

Implementing Propagators for Tabular Constraints.

Roman Barták, Roman Mecl

Proceedings of the Recent Advances in Constraints, 2003

2002

Modelling Resource Transitions in Constraint-Based Scheduling.

Roman Barták

Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002

A Theoretical Framework for Constraint Hierarchy Solvers.

Roman Barták

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Visopt ShopFloor: On the Edge of Planning and Scheduling.

Roman Barták

Proceedings of the Principles and Practice of Constraint Programming, 2002

Visopt ShopFloor: Going Beyond Traditional Scheduling.

Roman Barták

Proceedings of the Recent Advances in Constraints, 2002

Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times.

Petr Vilím, Roman Barták

Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems, 2002

2001

Dynamic Global Constraints: A First View

Roman Barták

CoRR, 2001

Interactive Timetabling

Tomás Müller, Roman Barták

CoRR, 2001

2000

Conceptual Models for Combined Planning and Scheduling.

Roman Barták

Electron. Notes Discret. Math., 2000

Mixing Planning and Scheduling to Model Complex Process Environments.

Roman Barták

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

1999

Dynamic Constraint Models for Planning and Scheduling Problems.

Roman Barták

Proceedings of the New Trends in Contraints, 1999

1997

Extendible meta-interpreters.

Roman Barták, Petr Stepánek

Kybernetika, 1997

A Plug-In Architecture of Constraint Hierarchy Solvers.

Roman Barták

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997