Roman Barták - RankMe

230 papers A* 14A 14B 33C 8Misc 42Journal 52Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning. AAAI Roman Barták
2025	J	`jnl`	A Holistic Architecture for Monitoring and Optimization of Robust Multi-Agent Path Finding Plan Execution. CoRR David Zahrádka, Denisa Muzíková, David Woller, Miroslav Kulich, Jirí Svancara, Roman Barták
2025	—	`conf`	Generating Safe Policies for Multi-Agent Path Finding with Temporal Uncertainty. ICAART (3) Jirí Svancara, David Zahrádka, Mrinalini Subramanian, Roman Barták, Miroslav Kulich
2025	Misc	`conf`	Hierarchical Plan Repair via Plan Recognition and Plan Correction. FLAIRS Kristýna Pantucková, Roman Barták
2025	Misc	`conf`	On Removing Left Recursion from Totally-ordered HTN Domain Models. FLAIRS Simona Ondrcková, Roman Barták, Vladislav Kubon
2025	B	`conf`	Parsing-Based Planner for Totally Ordered HTN Planning with Task Insertion. ICTAI Kristýna Pantucková, Roman Barták
2025	—	`conf`	Social Laws for Multi-Agent Pathfinding. ICAART (1) Jan Slezák, Jakub Mestek, Roman Barták
2025	—	`conf`	Towards Holistic Approach to Robust Execution of MAPF Plans. ICAART (1) David Zahrádka, Denisa Muzíková, Miroslav Kulich, Jirí Svancara, Roman Barták
2025	A*	`conf`	Using Planning for Automated Testing of Video Games. IJCAI Tomás Balyo, Roman Barták, Lukás Chrpa, Michal Cervenka, Filip Dvorák, Stephan Gocht, Lukás Lipcák, Viktor Macek, Dominik Rohácek, Josef Ryzí, Martin Suda, Dominik Safránek, Slavomír Svancár, G. Michael Youngblood
2025	A	`conf`	What to Do if a Plan Does Not Comply with an HTN Model? ECAI Kristýna Pantucková, Roman Barták
2024	C	`conf`	Formula- and Memory-based Heuristics In Video-game Pathfinding. CoG Paul Saunders, Vadim Bulitko, Simona Ondrcková, Roman Barták
2024	Misc	`conf`	Handling Empty Decomposition Methods in Hierarchical Planning. FLAIRS Simona Ondrcková, Kristýna Pantucková, Roman Barták
2024	J	`jnl`	Learning Planning Action Models from State Traces. CoRR Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Filip Dvorák, Roman Barták, G. Michael Youngblood
2024	—	`conf`	Multi-Agent Path Finding: Policies Instead of Plans. ICAART (1) Jakub Mestek, Roman Barták
2024	J	`jnl`	On Automating Video Game Testing by Planning and Learning. CoRR Tomás Balyo, G. Michael Youngblood, Filip Dvorák, Roman Barták
2024	A*	`conf`	Planning Domain Model Acquisition from State Traces without Action Parameters. KR Tomás Balyo, Martin Suda, Lukás Chrpa, Dominik Safránek, Stephan Gocht, Filip Dvorák, Roman Barták, G. Michael Youngblood
2024	Misc	`conf`	The Effectiveness of Autonomous Intersections in a City. FLAIRS Eliás Cizl, Jirí Svancara, Roman Barták
2024	Misc	`conf`	Using Earley Parser for Verification of Totally Ordered Hierarchical Plans. FLAIRS Kristýna Pantucková, Simona Ondrcková, Roman Barták
2023	A*	`conf`	Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract). ICDE Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
2023	J	`jnl`	Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach. Artif. Intell. Avraham Natan, Meir Kalech, Roman Barták
2023	Misc	`conf`	Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. FLAIRS Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2023	—	`conf`	Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? ICAART (1) Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub
2023	B	`conf`	Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. SOCS Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski
2023	B	`conf`	On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods. ICTAI Simona Ondrcková, Roman Barták
2023	A*	`conf`	On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
2023	—	`conf`	On the Impact of Grounding on HTN Plan Verification via Parsing. ICAART (3) Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2023	Misc	`conf`	Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint. FLAIRS Kristýna Pantucková, Simona Ondrcková, Roman Barták
2023	B	`ed.`	Sixteenth International Symposium on Combinatorial Search, SOCS 2023, Prague, Czech Republic, July 14-16, 2023 SOCS Roman Barták, Wheeler Ruml, Oren Salzman
2023	A	`conf`	Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans. ECAI Kristýna Pantucková, Roman Barták
2022	J	`jnl`	Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. IEEE Trans. Knowl. Data Eng. Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová
2022	—	`conf`	Coordinated Collision-free Movement of Groups of Agents. ICAART (1) Jirí Svancara, Marika Ivanová, Roman Barták
2022	B	`conf`	Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). SOCS Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub
2022	Misc	`conf`	On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
2022	Misc	`ed.`	Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2022, Hutchinson Island, Jensen Beach, Florida, USA, May 15-18, 2022. FLAIRS Roman Barták, Fazel Keshtkar, Michael Franklin
2022	A	`conf`	Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub
2022	—	`conf`	Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling. ICAART (1) Jirí Svancara, Roman Barták
2021	Misc	`conf`	Colored Multi-Agent Path Finding: Solving Approaches. FLAIRS Roman Barták, Marika Ivanová, Jirí Svancara
2021	Misc	`conf`	Compilation-Based Approaches to Parallel Planning: An Empirical Comparison. FLAIRS Kristýna Pantucková, Roman Barták
2021	B	`conf`	Contingent Planning for Robust Multi-Agent Path Finding. ICTAI Michal Nekvinda, Roman Barták
2021	B	`conf`	Contingent Planning for Robust Multi-Agent Path Finding. SOCS Michal Nekvinda, Roman Barták, Meir Kalech
2021	A*	`conf`	Correcting Hierarchical Plans by Action Deletion. KR Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
2021	B	`conf`	From Classical to Colored Multi-Agent Path Finding. SOCS Roman Barták, Marika Ivanová, Jirí Svancara
2021	B	`conf`	On the Verification of Totally-Ordered HTN Plans. ICTAI Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
2021	A*	`conf`	OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots. AAAI Roman Barták, Jakub Mestek
2020	B	`conf`	A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher
2020	—	`conf`	Automated Acquisition of Control Knowledge for Classical Planners. ICAART (2) Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa
2020	—	`conf`	Deep Learning of Heuristics for Domain-independent Planning. ICAART (2) Otakar Trunda, Roman Barták
2020	—	`conf`	Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation. ICAART (Revised Selected Papers) Otakar Trunda, Roman Barták
2020	A*	`conf`	MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots. AAAI Roman Barták, Jirí Svancara, Ivan Krasicenko
2020	B	`conf`	On Modelling Multi-Agent Path Finding as a Classical Planning Problem. ICTAI Jindrich Vodrázka, Roman Barták, Jirí Svancara
2020	B	`conf`	On Modelling Multi-Agent Path Finding as a Classical Planning Problem. SOCS Jindrich Vodrázka, Roman Barták, Jirí Svancara
2020	Misc	`ed.`	Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. FLAIRS Roman Barták, Eric Bell
2020	J	`jnl`	Robust Multi-Agent Path Finding and Executing. J. Artif. Intell. Res. Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
2020	—	`conf`	What Does Multi-agent Path-finding Tell Us About Intelligent Intersections. ICAART (1) Vera Skopková, Roman Barták, Jirí Svancara
2019	—	`conf`	Combining Strengths of Optimal Multi-Agent Path Finding Algorithms. ICAART (1) Jirí Svancara, Roman Barták
2019	Misc	`conf`	FLAIRS-32 Poster Abstracts. FLAIRS Roman Barták, Keith Brawner
2019	A*	`conf`	Multi-Agent Path Finding on Ozobots. IJCAI Roman Barták, Ivan Krasicenko, Jirí Svancara
2019	A	`conf`	Multi-Agent Path Finding on Real Robots. AAMAS Roman Barták, Ivan Krasicenko, Jirí Svancara
2019	B	`conf`	Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. SOCS 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
2019	J	`jnl`	Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. CoRR Roni Stern, Nathan R. Sturtevant, Ariel Felner, Sven Koenig, Hang Ma, Thayne T. Walker, Jiaoyang Li, Dor Atzmon, Liron Cohen, T. K. Satish Kumar, Eli Boyarski, Roman Barták
2019	J	`jnl`	Multi-agent path finding on real robots. AI Commun. Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl, Ivan Krasicenko
2019	B	`conf`	On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective. SOCS Roman Barták, Jirí Svancara
2019	A*	`conf`	Online Multi-Agent Pathfinding. AAAI Jirí Svancara, Marek Vlk, Roni Stern, Dor Atzmon, Roman Barták
2019	Misc	`ed.`	Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. FLAIRS Roman Barták, Keith W. Brawner
2019	J	`jnl`	Report on the Thirty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS-32). AI Mag. Roman Barták, Eric Bell, Keith Brawner, Vasile Rus
2018	A	`conf`	A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs. AAMAS Roman Barták, Jiri Svancara, Marek Vlk
2018	C	`conf`	LOUGA: Learning Planning Operators Using Genetic Algorithms. PKAW Jirí Kucera, Roman Barták
2018	—	`conf`	Multi-agent Path Finding on Real Robots: First Experience with Ozobots. IBERAMIA Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl
2018	J	`jnl`	Report on the Thirty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS-31). AI Mag. Keith Brawner, Vasile Rus, Roman Barták, Zdravko Markov
2018	A	`conf`	Robust Multi-Agent Path Finding. AAMAS Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
2018	B	`conf`	Robust Multi-Agent Path Finding. SOCS Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou
2018	Misc	`conf`	Special Track on Autonomous Robots and Agents. FLAIRS Roman Barták, David Obdrzálek
2018	—	`conf`	Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Workshops Roman Barták, Adrien Maillard, Rafael Cauê Cardoso
2018	—	`conf`	Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Spring Symposia Roman Barták, Adrien Maillard, Rafael Cauê Cardoso
2018	A*	`conf`	Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS Roman Barták, Adrien Maillard, Rafael Cauê Cardoso
2017	—	`conf`	// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. ICLP (Technical Communications) Neng-Fa Zhou, Roman Barták
2017	—	`conf`	3D Navigation for a Mobile Robot. ROBOT (2) Jan Skoda, Roman Barták
2017	C	`conf`	Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. PPDP Roman Barták, Adrien Maillard
2017	J	`jnl`	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. Theory Pract. Log. Program. Roman Barták
2017	C	`conf`	Minimization of useless work in resource failure recovery of workflow schedules. ETFA Marek Vlk, Roman Barták, Zdenek Hanzálek
2017	B	`conf`	Modeling and Solving the Multi-agent Pathfinding Problem in Picat. ICTAI Roman Barták, Neng-Fa Zhou, Roni Stern, Eli Boyarski, Pavel Surynek
2017	J	`jnl`	Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain. Sci. Comput. Program. Roman Barták, Lukás Chrpa, Agostino Dovier, Jindrich Vodrázka, Neng-Fa Zhou
2017	J	`jnl`	Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 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
2017	Misc	`conf`	Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings. FLAIRS Roman Barták, Marta Vomlelová
2017	B	`conf`	k-Robust Multi-Agent Path Finding. SOCS Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou
2016	J	`jnl`	An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. Fundam. Informaticae Roman Barták, Jindrich Vodrázka
2016	—	`conf`	Compiling and Executing PDDL in Picat. CILC Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou
2016	Misc	`conf`	Domain Modeling for Planning as Logic Programming. FLAIRS Roman Barták, Jindrich Vodrázka
2016	A*	`conf`	Guiding Planning Engines by Transition-Based Domain Control Knowledge. KR Lukás Chrpa, Roman Barták
2016	—	`conf`	Hierarchical Task Model for Resource Failure Recovery in Production Scheduling. MICAI (1) Roman Barták, Marek Vlk
2016	J	`jnl`	Introduction to the special issue on constraint satisfaction for planning and scheduling. Knowl. Eng. Rev. Miguel A. Salido, Roman Barták
2016	B	`conf`	Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI Roman Barták, Agostino Dovier, Neng-Fa Zhou
2016	—	`conf`	Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI Roman Barták, Neng-Fa Zhou, Agostino Dovier
2016	Misc	`conf`	On Similarities Between Workflow Verification and Grammar Checking. FLAIRS Roman Barták, Vladislav Kubon
2016	—	`conf`	On Verification of Workflow and Planning Domain Models Using Attribute Grammars. MICAI (1) Roman Barták, Tomás Dvorák
2016	A*	`conf`	Practical 3D Tracking Using Low-Cost Cameras. IJCAI Roman Barták, Michal Koutný, David Obdrzálek
2016	—	`ed.`	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. KnowProS@IJCAI Roman Barták, Thomas Leo McCluskey, Enrico Pontelli
2016	—	`conf`	The Benefit of Control Knowledge and Heuristics During Search in Planning. ICAART (2) Jindrich Vodrázka, Roman Barták
2016	Misc	`conf`	The Effect of Domain Modeling on Efficiency of Planning. ISAIM Roman Barták, Jindrich Vodrázka
2016	J	`jnl`	To Plan or to Simply React? An Experimental Study of Action Planning in a Game Environment. Comput. Intell. Martin Cerný, Roman Barták, Cyril Brom, Jakub Gemrot
2016	B	`conf`	Using Attribute Grammars to Model Nested Workflows with Extra Constraints. SOFSEM Roman Barták
2016	C	`conf`	Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. PADL Jan Jelínek, Roman Barták
2016	—	`conf`	Using a Grammar Checker to Validate Compliance of Processes with Workflow Models. MICAI (1) Roman Barták, Vladislav Kubon
2015	—	`conf`	Any Object Tracking and Following by a Flying Drone. MICAI (Special Sessions) Roman Barták, Adam Vykovsky
2015	Misc	`conf`	Camera-Based Localization and Stabilization of a Flying Drone. FLAIRS Jan Skoda, Roman Barták
2015	—	`conf`	Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints. ICAART (Revised Selected Papers) Roman Barták, Marek Vlk
2015	B	`conf`	No One SATPlan Encoding To Rule Them All. SOCS Tomás Balyo, Roman Barták
2015	C	`conf`	On modeling planning problems in tabled logic programming. PPDP Roman Barták, Agostino Dovier, Neng-Fa Zhou
2015	J	`jnl`	Planning as Tabled Logic Programming. CoRR Neng-Fa Zhou, Roman Barták, Agostino Dovier
2015	J	`jnl`	Planning as tabled logic programming. Theory Pract. Log. Program. Neng-Fa Zhou, Roman Barták, Agostino Dovier
2015	—	`conf`	Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints. ICAART (2) Roman Barták, Marek Vlk
2015	—	`conf`	Searching for Sequential Plans Using Tabled Logic Programming. RCRA@AI*IA Roman Barták, Jindrich Vodrázka
2015	—	`conf`	Short-Term Motion Tracking Using Inexpensive Sensors. MICAI (2) Filip Matzner, Roman Barták
2015	—	`conf`	The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain. TAAI Roman Barták, Jindrich Vodrázka
2015	J	`jnl`	Yet more planning efficiency: Finite-domain state-variable reformulation. J. Exp. Theor. Artif. Intell. Filip Dvorák, Daniel Toropila, Roman Barták
2014	—	`conf`	A Constraint-Based Planner for Mars Express Orbiter. MICAI (2) Martin Kolombo, Roman Barták
2014	—	`book`	An Introduction to Constraint-Based Temporal Reasoning Roman Barták, Robert A. Morris, K. Brent Venable
2014	—	`conf`	Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning. MetaSel@ECAI Otakar Trunda, Roman Barták
2014	Misc	`conf`	On Autonomous Landing of AR.Drone: Hands-On Experience. FLAIRS Roman Barták, Andrej Hrasko, David Obdrzálek
2014	Misc	`conf`	On Modeling Formalisms for Automated Planning. AIMSA Jindrich Vodrázka, Roman Barták
2014	J	`jnl`	On verification of nested workflows with extra constraints: From theory to practice. Expert Syst. Appl. Roman Barták, Vladimír Rovenský
2014	B	`conf`	Planning and Acting with Temporal and Hierarchical Decomposition Models. ICTAI Filip Dvorák, Roman Barták, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab
2014	—	`ch.`	Planning and Scheduling. Computing Handbook, 3rd ed. (1) Roman Barták
2014	B	`ed.`	Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014. SOCS Stefan Edelkamp, Roman Barták
2014	Misc	`conf`	Special Track on Intelligent Autonomous Systems. FLAIRS Roman Barták, David Obdrzálek
2014	—	`conf`	Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction. AIIDE Martin Cerný, Cyril Brom, Roman Barták, Martin Antos
2014	J	`jnl`	Using Tabled Logic Programming to Solve the Petrobras Planning Problem. CoRR Roman Barták, Neng-Fa Zhou
2014	J	`jnl`	Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Theory Pract. Log. Program. Roman Barták, Neng-Fa Zhou
2013	J	`jnl`	Formulating the template ILP consistency problem as a constraint satisfaction problem. Constraints An Int. J. Roman Barták, Radomír Cernoch, Ondrej Kuzelka, Filip Zelezný
2013	—	`conf`	On Modeling Planning Problems: Experience from the Petrobras Challenge. MICAI (2) Roman Barták, Neng-Fa Zhou
2013	—	`conf`	Planning and Reactive Agents in Dynamic Game Environments - An Experimental Study. ICAART (1) Roman Barták, Cyril Brom, Martin Cerný, Jakub Gemrot
2013	J	`jnl`	Preface to special issue on Knowledge Engineering for Planning and Scheduling. Knowl. Eng. Rev. Roman Barták, Simone Fratini, Thomas Leo McCluskey
2013	Misc	`conf`	Simplifying Verification of Nested Workflows with Extra Constraints. FLAIRS Roman Barták
2013	—	`conf`	Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation. SARA Filip Dvorák, Daniel Toropila, Roman Barták
2013	—	`conf`	Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains. MICAI (2) Otakar Trunda, Roman Barták
2012	Misc	`conf`	Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms. AIMSA Andrej Chovanec, Roman Barták
2012	A	`conf`	FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. ECAI Roman Barták, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang
2012	B	`conf`	MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. SOFSEM Roman Barták, Con Sheahan, Ann Sheahan
2012	—	`conf`	On Complexity of Verifying Nested Workflows with Extra Constraints. ICAART (1) Roman Barták
2012	B	`conf`	On Improving Plan Quality via Local Enhancements. SOCS Tomás Balyo, Roman Barták, Pavel Surynek
2012	—	`conf`	Planning Is the Game: Action Planning as a Design Tool and Game Mechanism. AIIDE Rudolf Kadlec, Csaba Tóth, Martin Cerný, Roman Barták, Cyril Brom
2012	B	`conf`	Shortening Plans by Local Re-planning. ICTAI Tomás Balyo, Roman Barták, Pavel Surynek
2012	B	`conf`	Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems. ICTAI Daniel Toropila, Filip Dvorák, Otakar Trunda, Martin Hanes, Roman Barták
2012	—	`conf`	Verifying Nested Workflows with Extra Constraints. MICAI (1) Roman Barták, Vladimír Rovenský
2012	Misc	`conf`	When Planning Should Be Easy: On Solving Cumulative Planning Problems. FLAIRS Roman Barták, Filip Dvorák, Jakub Gemrot, Cyril Brom, Daniel Toropila
2011	Misc	`conf`	A Novel Constraint Model for Parallel Planning. FLAIRS Roman Barták
2011	B	`conf`	Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement. ICTAI Andrej Chovanec, Roman Barták
2011	J	`jnl`	Constraint satisfaction for planning and scheduling problems. Constraints An Int. J. Roman Barták, Miguel A. Salido
2011	—	`conf`	On Constraint Models for Parallel Planning: The Novel Transition Scheme. SCAI Roman Barták
2011	—	`conf`	On Generating Templates for Hypothesis in Inductive Logic Programming. MICAI (1) Andrej Chovanec, Roman Barták
2011	—	`conf`	Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner. ICAART (1) Roman Barták, Michal Zerola, Stanislav Slusny
2010	Misc	`conf`	Constraint Models for Reasoning on Unification in Inductive Logic Programming. AIMSA Roman Barták
2010	J	`jnl`	Constraint satisfaction techniques in planning and scheduling. J. Intell. Manuf. Roman Barták, Miguel A. Salido, Francesca Rossi
2010	J	`jnl`	Discovering implied constraints in precedence graphs with alternatives. Ann. Oper. Res. Roman Barták, Ondrej Cepek, Pavel Surynek
2010	—	`conf`	Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem. Abstraction, Reformulation, and Approximation Roman Barták, Ondrej Kuzelka, Filip Zelezný
2010	J	`jnl`	From enterprise models to scheduling models: bridging the gap. J. Intell. Manuf. Roman Barták, James Little, Oscar Manzano, Con Sheahan
2010	—	`conf`	Integrating Time and Resources into Planning. ICTAI (2) Filip Dvorák, Roman Barták
2010	J	`jnl`	Logic programming for combinatorial problems. Artif. Intell. Rev. Toshinori Munakata, Roman Barták
2010	J	`jnl`	New trends in constraint satisfaction, planning, and scheduling: a survey. Knowl. Eng. Rev. Roman Barták, Miguel A. Salido, Francesca Rossi
2010	—	`conf`	Optimizing Alternatives in Precedence Networks. MICAI (1) Roman Barták
2010	J	`jnl`	Preface to special issue on planning and scheduling. Knowl. Eng. Rev. Roman Barták, Amedeo Cesta, Lee McCluskey, Miguel A. Salido
2010	J	`jnl`	Solving Sequential Planning Problems via Constraint Satisfaction. Fundam. Informaticae Roman Barták, Daniel Toropila
2010	J	`jnl`	Special issue on applications and methodologies for planning and scheduling: editorial. J. Sched. Roman Barták, Hana Rudová
2010	J	`jnl`	The Third Competition on Knowledge Engineering for Planning and Scheduling. AI Mag. Roman Barták, Simone Fratini, Lee McCluskey
2010	Misc	`conf`	Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming. FLAIRS Roman Barták, Ondrej Kuzelka, Filip Zelezný
2009	B	`conf`	Constraint Models for Sequential Planning. CPAIOR Roman Barták, Daniel Toropila
2009	—	`ch.`	Constraint Processing. Encyclopedia of Artificial Intelligence Roman Barták
2009	J	`jnl`	Efficient Multi-site Data Movement Using Constraint Programming for Data Hungry Science CoRR Michal Zerola, Jérôme Lauret, Roman Barták, Michal Sumbera
2009	—	`conf`	Efficient multi-site data movement in distributed environment. GRID Michal Zerola, Michal Sumbera, Jérôme Lauret, Roman Barták
2009	Misc	`conf`	Enhancing Constraint Models for Planning Problems. FLAIRS Roman Barták, Daniel Toropila
2009	—	`conf`	Integrating Constraint Models for Sequential and Partial-Order Planning. SARA Roman Barták, Daniel Toropila
2009	—	`conf`	Reformulating Planning Problems by Eliminating Unpromising Actions. SARA Lukás Chrpa, Roman Barták
2009	C	`conf`	Revisiting Constraint Models for Planning Problems. ISMIS Roman Barták, Daniel Toropila
2009	Misc	`conf`	Special Track on Artificial Intelligence Planning and Scheduling. FLAIRS Roman Barták
2009	—	`conf`	Tutorial: constraint-based scheduling. CISched Roman Barták
2009	B	`conf`	Using Constraint Programming to Plan Efficient Data Movement on the Grid. ICTAI Michal Zerola, Michal Sumbera, Roman Barták, Jérôme Lauret
2009	J	`jnl`	Using constraint programming to resolve the multi-source/multi-site data movement paradigm on the Grid CoRR Michal Zerola, Jérôme Lauret, Roman Barták, Michal Sumbera
2008	J	`jnl`	Incremental Filtering Algorithms for Precedence and Dependency Constraints. Int. J. Artif. Intell. Tools Roman Barták, Ondrej Cepek
2008	J	`jnl`	Introduction: Special issue on constraint satisfaction techniques for planning and scheduling problems. Eng. Appl. Artif. Intell. Miguel A. Salido, Antonio Garrido, Roman Barták
2008	—	`conf`	Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies. SCAI Lukás Chrpa, Roman Barták
2008	Misc	`conf`	Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models. AIMSA Roman Barták, Ondrej Cepek
2008	Misc	`conf`	Nested temporal networks with alternatives: recognition and tractability. SAC Roman Barták, Ondrej Cepek
2008	Misc	`conf`	Reformulating Constraint Models for Classical Planning. FLAIRS Roman Barták, Daniel Toropila
2008	J	`jnl`	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. Comput. Sci. Rev. Roman Barták
2008	Misc	`conf`	Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies. FLAIRS Lukás Chrpa, Roman Barták
2007	—	`conf`	Generating Implied Boolean Constraints Via Singleton Consistency. SARA Roman Barták
2007	J	`jnl`	Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems. Knowl. Eng. Rev. Roman Barták, Lee McCluskey
2007	Misc	`conf`	Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search. FLAIRS Pavel Surynek, Roman Barták
2007	—	`conf`	Modelling Alternatives in Temporal Networks. CISched Roman Barták, Ondrej Cepek, Pavel Surynek
2007	Misc	`conf`	Temporal Networks with Alternatives: Complexity and Model. FLAIRS Roman Barták, Ondrej Cepek
2007	—	`conf`	Temporal Reasoning in Nested Temporal Networks with Alternatives. CSCLP Roman Barták, Ondrej Cepek, Martin Hejna
2006	—	`conf`	A Constraint Model for State Transitions in Disjunctive Resources. CSCLP Roman Barták, Ondrej Cepek
2006	B	`conf`	Incremental Filtering Algorithms for Precedence and Dependency Constraints. ICTAI Roman Barták, Ondrej Cepek
2006	A*	`conf`	Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach. ICAPS Roman Barták, Ondrej Cepek
2006	Misc	`conf`	Incremental Propagation of Time Windows on Disjunctive Resources. FLAIRS Roman Barták
2006	J	`jnl`	Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005). Constraints An Int. J. Roman Barták, Michela Milano
2006	J	`jnl`	Private and Efficient Stable Marriages (Matching). IACR Cryptol. ePrint Arch. Timothy Atkinson, Roman Barták, Marius-Calin Silaghi, E. Tuleu, Markus Zanker
2006	J	`jnl`	The First Competition on Knowledge Engineering for Planning and Scheduling. AI Mag. Roman Barták, Lee McCluskey
2005	Misc	`conf`	An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems. FLAIRS Roman Barták, Pavel Surynek
2005	A	`conf`	Automated Search for Heuristic Functions. CP Pavel Cejnar, Roman Barták
2005	Misc	`conf`	Desk-Mates (Stable Matching) with Privacy of Preferences, and a New Distributed CSP Framework. FLAIRS Marius-Calin Silaghi, Amit Abhyankar, Markus Zanker, Roman Barták
2005	A	`conf`	Encoding HTN Planning as a Dynamic CSP. CP Pavel Surynek, Roman Barták
2005	J	`jnl`	Extension of Constraints An Int. J. Petr Vilím, Roman Barták, Ondrej Cepek
2005	A	`conf`	Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains. CP Josef Zlomek, Roman Barták
2005	B	`ed.`	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings CPAIOR Roman Barták, Michela Milano
2005	Misc	`conf`	Limited assignments: a new cutoff strategy for incomplete depth-first search. SAC Roman Barták, Hana Rudová
2005	—	`conf`	On Generators of Random Quasigroup Problems. CSCLP Roman Barták
2005	J	`jnl`	R. Dechter, Constraint Processing, Morgan Kaufmann (2003). Artif. Intell. Roman Barták
2004	A	`conf`	A New Algorithm for Maintaining Arc Consistency After Constraint Retraction. CP Pavel Surynek, Roman Barták
2004	Misc	`conf`	A New Algorithm for Singleton Arc Consistency. FLAIRS Roman Barták, Radek Erben
2004	—	`conf`	Effective Modeling with Constraints. INAP/WLP Roman Barták
2004	C	`conf`	Minimal Perturbation Problem in Course Timetabling. PATAT Tomás Müller, Hana Rudová, Roman Barták
2004	J	`jnl`	The CP-04 Workshop on CSP Techniques with Immediate Application (Conference Report). IEEE Intell. Informatics Bull. Roman Barták
2004	A	`conf`	Unary Resource Constraint with Optional Activities. CP Petr Vilím, Roman Barták, Ondrej Cepek
2003	—	`conf`	A New Approach to Modeling and Solving Minimal Perturbation Problems. CSCLP Roman Barták, Tomás Müller, Hana Rudová
2003	J	`jnl`	Dynamic Global Constraints in Backtracking Based Environments. Ann. Oper. Res. Roman Barták
2003	—	`conf`	Implementing Propagators for Tabular Constraints. CSCLP Roman Barták, Roman Mecl
2002	A	`conf`	A Theoretical Framework for Constraint Hierarchy Solvers. ECAI Roman Barták
2002	—	`conf`	Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times. AIPS Petr Vilím, Roman Barták
2002	B	`conf`	Modelling Resource Transitions in Constraint-Based Scheduling. SOFSEM Roman Barták
2002	—	`conf`	Visopt ShopFloor: Going Beyond Traditional Scheduling. International Workshop on Constraint Solving and Constraint Logic Programming Roman Barták
2002	A	`conf`	Visopt ShopFloor: On the Edge of Planning and Scheduling. CP Roman Barták
2001	J	`jnl`	Dynamic Global Constraints: A First View CoRR Roman Barták
2001	J	`jnl`	Interactive Timetabling CoRR Tomás Müller, Roman Barták
2001	J	`jnl`	Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints CoRR Krzysztof R. Apt, Roman Barták, Éric Monfroy, Francesca Rossi, Sebastian Brand
2000	J	`jnl`	Conceptual Models for Combined Planning and Scheduling. Electron. Notes Discret. Math. Roman Barták
2000	—	`conf`	Mixing Planning and Scheduling to Model Complex Process Environments. PACPL Roman Barták
1999	—	`conf`	Dynamic Constraint Models for Planning and Scheduling Problems. New Trends in Constraints Roman Barták
1997	B	`conf`	A Plug-In Architecture of Constraint Hierarchy Solvers. PACT Roman Barták
1997	J	`jnl`	Extendible meta-interpreters. Kybernetika Roman Barták, Petr Stepánek