


Остановите войну!
for scientists:
Roman Barták
Person information

- affiliation: Charles University, Czech Republic
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j39]Lukás Chrpa, Roman Barták, Jindrich Vodrázka, Marta Vomlelová:
Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. IEEE Trans. Knowl. Data Eng. 34(9): 4089-4101 (2022) - [c142]Matej Husár, Jirí Svancara, Philipp Obermeier, Roman Barták, Torsten Schaub:
Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using Graph Pruning. AAMAS 2022: 624-632 - [c141]Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke:
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS Conference 2022 - [c140]Jirí Svancara, Marika Ivanová, Roman Barták:
Coordinated Collision-free Movement of Groups of Agents. ICAART (1) 2022: 26-33 - [c139]Jirí Svancara, Roman Barták:
Tackling Train Routing via Multi-agent Pathfinding and Constraint-based Scheduling. ICAART (1) 2022: 306-313 - [c138]Jirí Svancara, Philipp Obermeier, Matej Husár, Roman Barták, Torsten Schaub:
Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way or That Way? (Extended Abstract). SOCS 2022: 320-322 - [e6]Roman Barták, Fazel Keshtkar, Michael Franklin:
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2022, Hutchinson Island, Jensen Beach, Florida, USA, May 15-18, 2022. 2022 [contents] - 2021
- [c137]Roman Barták, Jakub Mestek:
OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots. AAAI 2021: 15991-15993 - [c136]Roman Barták
, Marika Ivanová, Jirí Svancara
:
Colored Multi-Agent Path Finding: Solving Approaches. FLAIRS Conference 2021 - [c135]Kristýna Pantucková, Roman Barták
:
Compilation-Based Approaches to Parallel Planning: An Empirical Comparison. FLAIRS Conference 2021 - [c134]Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher:
On the Verification of Totally-Ordered HTN Plans. ICTAI 2021: 263-267 - [c133]Michal Nekvinda, Roman Barták:
Contingent Planning for Robust Multi-Agent Path Finding. ICTAI 2021: 487-492 - [c132]Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher:
Correcting Hierarchical Plans by Action Deletion. KR 2021: 99-109 - [c131]Roman Barták, Marika Ivanová, Jirí Svancara:
From Classical to Colored Multi-Agent Path Finding. SOCS 2021: 150-152 - [c130]Michal Nekvinda, Roman Barták, Meir Kalech:
Contingent Planning for Robust Multi-Agent Path Finding. SOCS 2021: 185-187 - 2020
- [j38]Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou:
Robust Multi-Agent Path Finding and Executing. J. Artif. Intell. Res. 67: 549-579 (2020) - [c129]Roman Barták, Jirí Svancara, Ivan Krasicenko:
MAPF Scenario: Software for Evaluating MAPF Plans on Real Robots. AAAI 2020: 13602-13603 - [c128]Otakar Trunda, Roman Barták:
Deep Learning of Heuristics for Domain-independent Planning. ICAART (2) 2020: 79-88 - [c127]Vera Skopková, Roman Barták, Jirí Svancara:
What Does Multi-agent Path-finding Tell Us About Intelligent Intersections. ICAART (1) 2020: 250-257 - [c126]Otakar Trunda
, Roman Barták
:
Heuristic Learning in Domain-Independent Planning: Theoretical Analysis and Experimental Evaluation. ICAART (Revised Selected Papers) 2020: 254-279 - [c125]Marta Vomlelová, Jindrich Vodrázka, Roman Barták, Lukás Chrpa:
Automated Acquisition of Control Knowledge for Classical Planners. ICAART (2) 2020: 959-966 - [c124]Jindrich Vodrázka, Roman Barták, Jirí Svancara:
On Modelling Multi-Agent Path Finding as a Classical Planning Problem. ICTAI 2020: 23-28 - [c123]Roman Barták, Simona Ondrcková
, Adrien Maillard, Gregor Behnke
, Pascal Bercher
:
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI 2020: 118-125 - [c122]Jindrich Vodrázka, Roman Barták, Jirí Svancara:
On Modelling Multi-Agent Path Finding as a Classical Planning Problem. SOCS 2020: 141-142 - [e5]Roman Barták, Eric Bell:
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. AAAI Press 2020, ISBN 978-1-57735-821-3 [contents]
2010 – 2019
- 2019
- [j37]Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl, Ivan Krasicenko:
Multi-agent path finding on real robots. AI Commun. 32(3): 175-189 (2019) - [j36]Roman Barták, Eric Bell, Keith Brawner, Vasile Rus:
Report on the Thirty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS-32). AI Mag. 40(4): 83-84 (2019) - [c121]Jirí Svancara, Marek Vlk, Roni Stern, Dor Atzmon, Roman Barták:
Online Multi-Agent Pathfinding. AAAI 2019: 7732-7739 - [c120]Roman Barták, Ivan Krasicenko, Jirí Svancara:
Multi-Agent Path Finding on Real Robots. AAMAS 2019: 2333-2335 - [c119]Roman Barták, Keith Brawner:
FLAIRS-32 Poster Abstracts. FLAIRS Conference 2019: 509- - [c118]Jirí Svancara, Roman Barták:
Combining Strengths of Optimal Multi-Agent Path Finding Algorithms. ICAART (1) 2019: 226-231 - [c117]Roman Barták, Ivan Krasicenko, Jirí Svancara:
Multi-Agent Path Finding on Ozobots. IJCAI 2019: 6491-6493 - [c116]Roman Barták, Jirí Svancara:
On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs Objective. SOCS 2019: 10-17 - [c115]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:
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. SOCS 2019: 151-159 - [e4]Roman Barták, Keith W. Brawner:
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019. AAAI Press 2019 [contents] - [i9]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:
Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks. CoRR abs/1906.08291 (2019) - 2018
- [j35]Keith Brawner, Vasile Rus, Roman Barták, Zdravko Markov:
Report on the Thirty-First International Florida Artificial Intelligence Research Society Conference (FLAIRS-31). AI Mag. 39(4): 23-24 (2018) - [c114]Roman Barták, Adrien Maillard, Rafael Cauê Cardoso:
Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Workshops 2018: 593-600 - [c113]Roman Barták, Adrien Maillard, Rafael Cauê Cardoso:
Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Spring Symposia 2018 - [c112]Roman Barták, Adrien Maillard, Rafael Cauê Cardoso:
Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS 2018: 11-19 - [c111]Roman Barták, Jiri Svancara, Marek Vlk:
A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs. AAMAS 2018: 748-756 - [c110]Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou:
Robust Multi-Agent Path Finding. AAMAS 2018: 1862-1864 - [c109]Roman Barták, David Obdrzálek:
Special Track on Autonomous Robots and Agents. FLAIRS Conference 2018: 329 - [c108]Roman Barták, Jirí Svancara, Vera Skopková, David Nohejl
:
Multi-agent Path Finding on Real Robots: First Experience with Ozobots. IBERAMIA 2018: 290-301 - [c107]Jirí Kucera, Roman Barták
:
LOUGA: Learning Planning Operators Using Genetic Algorithms. PKAW 2018: 124-138 - [c106]Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou:
Robust Multi-Agent Path Finding. SOCS 2018: 2-9 - 2017
- [j34]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:
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38(3): 72-82 (2017) - [j33]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. 147: 54-77 (2017) - [j32]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. Theory Pract. Log. Program. 17(1): 118-120 (2017) - [c105]Marek Vlk
, Roman Barták, Zdenek Hanzálek
:
Minimization of useless work in resource failure recovery of workflow schedules. ETFA 2017: 1-8 - [c104]Roman Barták, Marta Vomlelová:
Using Machine Learning to Identify Activities of a Flying Drone from Sensor Readings. FLAIRS Conference 2017: 436-441 - [c103]Neng-Fa Zhou, Roman Barták:
// Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfinding. ICLP (Technical Communications) 2017: 11:1-11:2 - [c102]Roman Barták, Neng-Fa Zhou, Roni Stern
, Eli Boyarski, Pavel Surynek
:
Modeling and Solving the Multi-agent Pathfinding Problem in Picat. ICTAI 2017: 959-966 - [c101]Roman Barták, Adrien Maillard:
Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. PPDP 2017: 39-48 - [c100]Jan Skoda, Roman Barták:
3D Navigation for a Mobile Robot. ROBOT (2) 2017: 345-356 - [c99]Dor Atzmon, Ariel Felner, Roni Stern, Glenn Wagner, Roman Barták, Neng-Fa Zhou:
k-Robust Multi-Agent Path Finding. SOCS 2017: 157-158 - 2016
- [j31]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. Comput. Intell. 32(4): 668-710 (2016) - [j30]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. Informaticae 149(1-2): 35-60 (2016) - [j29]Miguel A. Salido, Roman Barták
:
Introduction to the special issue on constraint satisfaction for planning and scheduling. Knowl. Eng. Rev. 31(5): 415-416 (2016) - [c98]Marco De Bortoli, Roman Barták, Agostino Dovier, Neng-Fa Zhou:
Compiling and Executing PDDL in Picat. CILC 2016: 132-147 - [c97]Roman Barták, Jindrich Vodrázka:
Domain Modeling for Planning as Logic Programming. FLAIRS Conference 2016: 8-13 - [c96]Roman Barták, Vladislav Kubon:
On Similarities Between Workflow Verification and Grammar Checking. FLAIRS Conference 2016: 585-590 - [c95]Jindrich Vodrázka, Roman Barták:
The Benefit of Control Knowledge and Heuristics During Search in Planning. ICAART (2) 2016: 552-559 - [c94]Roman Barták, Agostino Dovier, Neng-Fa Zhou:
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. ICTAI 2016: 91-97 - [c93]Roman Barták, Michal Koutný, David Obdrzálek:
Practical 3D Tracking Using Low-Cost Cameras. IJCAI 2016: 4236-4237 - [c92]Roman Barták, Neng-Fa Zhou, Agostino Dovier:
Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc Usage: Complexity and Models. KnowProS@IJCAI 2016 - [c91]Roman Barták, Jindrich Vodrázka:
The Effect of Domain Modeling on Efficiency of Planning. ISAIM 2016 - [c90]Lukás Chrpa, Roman Barták:
Guiding Planning Engines by Transition-Based Domain Control Knowledge. KR 2016: 545-548 - [c89]Roman Barták, Vladislav Kubon
:
Using a Grammar Checker to Validate Compliance of Processes with Workflow Models. MICAI (1) 2016: 317-331 - [c88]Roman Barták, Tomás Dvorák:
On Verification of Workflow and Planning Domain Models Using Attribute Grammars. MICAI (1) 2016: 332-345 - [c87]Roman Barták, Marek Vlk
:
Hierarchical Task Model for Resource Failure Recovery in Production Scheduling. MICAI (1) 2016: 362-378 - [c86]Jan Jelínek
, Roman Barták
:
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station. PADL 2016: 3-12 - [c85]Roman Barták
:
Using Attribute Grammars to Model Nested Workflows with Extra Constraints. SOFSEM 2016: 171-182 - [e3]Roman Barták, Thomas Leo McCluskey, Enrico Pontelli:
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. CEUR Workshop Proceedings 1648, CEUR-WS.org 2016 [contents] - 2015
- [j28]Filip Dvorak, Daniel Toropila, Roman Barták
:
Yet more planning efficiency: Finite-domain state-variable reformulation. J. Exp. Theor. Artif. Intell. 27(5): 543-576 (2015) - [j27]Neng-Fa Zhou, Roman Barták
, Agostino Dovier
:
Planning as tabled logic programming. Theory Pract. Log. Program. 15(4-5): 543-558 (2015) - [c84]Roman Barták, Jindrich Vodrázka:
Searching for Sequential Plans Using Tabled Logic Programming. RCRA@AI*IA 2015: 24-38 - [c83]Jan Skoda, Roman Barták:
Camera-Based Localization and Stabilization of a Flying Drone. FLAIRS Conference 2015: 372-378 - [c82]Roman Barták, Marek Vlk:
Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints. ICAART (2) 2015: 119-130 - [c81]Roman Barták
, Marek Vlk
:
Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints. ICAART (Revised Selected Papers) 2015: 185-206 - [c80]Roman Barták
, Adam Vykovsky:
Any Object Tracking and Following by a Flying Drone. MICAI (Special Sessions) 2015: 35-41 - [c79]Filip Matzner
, Roman Barták
:
Short-Term Motion Tracking Using Inexpensive Sensors. MICAI (2) 2015: 583-601 - [c78]Roman Barták
, Agostino Dovier
, Neng-Fa Zhou:
On modeling planning problems in tabled logic programming. PPDP 2015: 31-42 - [c77]Tomás Balyo, Roman Barták:
No One SATPlan Encoding To Rule Them All. SOCS 2015: 146-150 - [c76]Roman Barták
, Jindrich Vodrázka:
The effect of domain modeling on efficiency of planning: Lessons from the Nomystery domain. TAAI 2015: 433-440 - [i8]Neng-Fa Zhou, Roman Barták, Agostino Dovier:
Planning as Tabled Logic Programming. CoRR abs/1507.03979 (2015) - 2014
- [b1]Roman Barták
, Robert A. Morris, Kristen Brent Venable:
An Introduction to Constraint-Based Temporal Reasoning. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2014 - [j26]Roman Barták
, Vladimír Rovenský:
On verification of nested workflows with extra constraints: From theory to practice. Expert Syst. Appl. 41(3): 904-918 (2014) - [j25]Roman Barták
, Neng-Fa Zhou:
Using Tabled Logic Programming to Solve the Petrobras Planning Problem. Theory Pract. Log. Program. 14(4-5): 697-710 (2014) - [c75]Martin Cerný, Cyril Brom, Roman Barták, Martin Antos:
Spice It Up! Enriching Open World NPC Simulation Using Constraint Satisfaction. AIIDE 2014 - [c74]Jindrich Vodrázka, Roman Barták:
On Modeling Formalisms for Automated Planning. AIMSA 2014: 270-277 - [c73]Otakar Trunda, Roman Barták:
Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning. MetaSel@ECAI 2014: 51-52 - [c72]Roman Barták, Andrej Hrasko, David Obdrzálek:
On Autonomous Landing of AR.Drone: Hands-On Experience. FLAIRS Conference 2014 - [c71]Roman Barták, David Obdrzálek:
Special Track on Intelligent Autonomous Systems. FLAIRS Conference 2014 - [c70]Filip Dvorak, Roman Barták
, Arthur Bit-Monnot, Félix Ingrand
, Malik Ghallab:
Planning and Acting with Temporal and Hierarchical Decomposition Models. ICTAI 2014: 115-121 - [c69]Martin Kolombo, Roman Barták:
A Constraint-Based Planner for Mars Express Orbiter. MICAI (2) 2014: 451-463 - [p1]Roman Barták:
Planning and Scheduling. Computing Handbook, 3rd ed. (1) 2014: 39: 1-14 - [e2]Stefan Edelkamp, Roman Barták:
Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014. AAAI Press 2014, ISBN 978-1-57735-676-9 [contents] - [i7]Roman Barták, Neng-Fa Zhou:
Using Tabled Logic Programming to Solve the Petrobras Planning Problem. CoRR abs/1405.2501 (2014) - 2013
- [j24]Roman Barták
, Radomír Cernoch
, Ondrej Kuzelka
, Filip Zelezný
:
Formulating the template ILP consistency problem as a constraint satisfaction problem. Constraints An Int. J. 18(2): 144-165 (2013) - [j23]Roman Barták
, Simone Fratini, Thomas Leo McCluskey
:
Preface to special issue on Knowledge Engineering for Planning and Scheduling. Knowl. Eng. Rev. 28(2): 117-119 (2013) - [c68]Roman Barták:
Simplifying Verification of Nested Workflows with Extra Constraints. FLAIRS Conference 2013 - [c67]Roman Barták, Cyril Brom, Martin Cerný, Jakub Gemrot:
Planning and Reactive Agents in Dynamic Game Environments - An Experimental Study. ICAART (1) 2013: 234-240 - [c66]Otakar Trunda
, Roman Barták
:
Using Monte Carlo Tree Search to Solve Planning Problems in Transportation Domains. MICAI (2) 2013: 435-449 - [c65]Roman Barták
, Neng-Fa Zhou:
On Modeling Planning Problems: Experience from the Petrobras Challenge. MICAI (2) 2013: 466-477 - [c64]Filip Dvorak, Daniel Toropila, Roman Barták:
Towards AI Planning Efficiency: Finite-Domain State Variable Reformulation. SARA 2013 - 2012
- [c63]Rudolf Kadlec, Csaba Tóth, Martin Cerný, Roman Barták, Cyril Brom:
Planning Is the Game: Action Planning as a Design Tool and Game Mechanism. AIIDE 2012 - [c62]Andrej Chovanec, Roman Barták
:
Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms. AIMSA 2012: 184-194 - [c61]Roman Barták
, Milan Jaska, Ladislav Novak, Vladimír Rovenský, Tomás Skalický, Martin Cully, Con Sheahan, Thanh-Tung Dang:
FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. ECAI 2012: 1003-1004 - [c60]Roman Barták, Filip Dvorak, Jakub Gemrot, Cyril Brom, Daniel Toropila:
When Planning Should Be Easy: On Solving Cumulative Planning Problems. FLAIRS Conference 2012 - [c59]Roman Barták:
On Complexity of Verifying Nested Workflows with Extra Constraints. ICAART (1) 2012: 346-354 - [c58]Daniel Toropila, Filip Dvorak, Otakar Trunda
, Martin Hanes, Roman Barták
:
Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems. ICTAI 2012: 191-198 - [c57]Tomás Balyo, Roman Barták
, Pavel Surynek
:
Shortening Plans by Local Re-planning. ICTAI 2012: 1022-1028 - [c56]Roman Barták
, Vladimír Rovenský:
Verifying Nested Workflows with Extra Constraints. MICAI (1) 2012: 359-370 - [c55]Tomás Balyo, Roman Barták, Pavel Surynek:
On Improving Plan Quality via Local Enhancements. SOCS 2012 - [c54]Roman Barták
, Con Sheahan, Ann Sheahan:
MAK€- A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises. SOFSEM 2012: 600-611 - 2011
- [j22]Roman Barták
, Miguel A. Salido
:
Constraint satisfaction for planning and scheduling problems. Constraints An Int. J. 16(3): 223-227 (2011) - [c53]Roman Barták:
A Novel Constraint Model for Parallel Planning. FLAIRS Conference 2011 - [c52]Roman Barták, Michal Zerola, Stanislav Slusny:
Towards Routing for Autonomous Robots - Using Constraint Programming in an Anytime Path Planner. ICAART (1) 2011: 313-320 - [c51]Andrej Chovanec, Roman Barták
:
Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement. ICTAI 2011: 914-915 - [c50]Andrej Chovanec, Roman Barták
:
On Generating Templates for Hypothesis in Inductive Logic Programming. MICAI (1) 2011: 162-173 - [c49]Roman Barták
:
On Constraint Models for Parallel Planning: The Novel Transition Scheme. SCAI 2011: 50-59 - 2010
- [j21]Roman Barták, Simone Fratini, Lee McCluskey:
The Third Competition on Knowledge Engineering for Planning and Scheduling. AI Mag. 31(1): 95-98 (2010) - [j20]Toshinori Munakata, Roman Barták
:
Logic programming for combinatorial problems. Artif. Intell. Rev. 33(1-2): 135-150 (2010) - [j19]Roman Barták
, Ondrej Cepek
, Pavel Surynek
:
Discovering implied constraints in precedence graphs with alternatives. Ann. Oper. Res. 180(1): 233-263 (2010) - [j18]Roman Barták
, Daniel Toropila:
Solving Sequential Planning Problems via Constraint Satisfaction. Fundam. Informaticae 99(2): 125-145 (2010) - [j17]Roman Barták
, Miguel A. Salido
, Francesca Rossi:
Constraint satisfaction techniques in planning and scheduling. J. Intell. Manuf. 21(1): 5-15 (2010) - [j16]