Contact

All Stories

  1. Multi-agent path finding on real robots

    Article • AI Communications, July 2019, IOS Press

    Prof. Roman Barták

  2. LOUGA: Learning Planning Operators Using Genetic Algorithms

    Article • January 2018, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • Science of Computer Programming, November 2017, Elsevier

    Prof. Roman Barták

  4. An Experimental Study of Influence of Modeling and Solving Techniques on Performance of Planning

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Prof. Roman Barták

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

    Article • November 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

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

    Article • The Knowledge Engineering Review, November 2016, Cambridge University Press

    Prof. Roman Barták, Professor Miguel A. Salido

  7. Using Attribute Grammars to Model Nested Workflows with Extra Constraints

    Article • January 2016, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • January 2016, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • January 2016, Scitepress

    Prof. Roman Barták

  10. REINFORCED ENCODING FOR PLANNING AS SAT

    Article • Acta Polytechnica CTU Proceedings, December 2015, Czech Technical University in Prague - Central Library

    Prof. Roman Barták

  11. X-COPTER STUDIO

    Article • Acta Polytechnica CTU Proceedings, December 2015, Czech Technical University in Prague - Central Library

    Prof. Roman Barták

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

    Article • Computational Intelligence, December 2015, Wiley

    Prof. Roman Barták

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

    Article • November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  14. Any Object Tracking and Following by a Flying Drone

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  15. On modeling planning problems in tabled logic programming

    Article • July 2015, ACM (Association for Computing Machinery)

    Dr Agostino Dovier, Prof. Roman Barták

  16. Planning as tabled logic programming

    Article • Theory and Practice of Logic Programming, July 2015, Cambridge University Press

    Prof. Roman Barták, Dr Agostino Dovier

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

    Article • Journal of Experimental & Theoretical Artificial Intelligence, May 2015, Taylor & Francis

    Prof. Roman Barták

  18. Short-Term Motion Tracking Using Inexpensive Sensors

    Article • January 2015, Springer Science + Business Media

    Prof. Roman Barták

  19. Machine Breakdown Recovery in Production Scheduling with Simple Temporal Constraints

    Article • January 2015, Springer Science + Business Media

    Prof. Roman Barták

  20. Planning and Acting with Temporal and Hierarchical Decomposition Models

    Article • November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  21. Using Tabled Logic Programming to Solve the Petrobras Planning Problem

    Article • Theory and Practice of Logic Programming, July 2014, Cambridge University Press

    Prof. Roman Barták

  22. Planning and Scheduling

    Article • May 2014, Taylor & Francis

    Prof. Roman Barták

  23. A controller for autonomous landing of AR.Drone

    Article • May 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  24. An Introduction to Constraint-Based Temporal Reasoning

    Article • Synthesis Lectures on Artificial Intelligence and Machine Learning, February 2014, Morgan & Claypool Publishers LLC

    Prof. Roman Barták

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

    Article • Expert Systems with Applications, February 2014, Elsevier

    Prof. Roman Barták

  26. A Constraint-Based Planner for Mars Express Orbiter

    Article • January 2014, Springer Science + Business Media

    Prof. Roman Barták

  27. On Modeling Formalisms for Automated Planning

    Article • January 2014, Springer Science + Business Media

    Prof. Roman Barták

  28. Editorial

    Article • Production & Manufacturing Research, December 2013, Taylor & Francis

    Prof. Roman Barták, Duc Pham

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

    Article • The Knowledge Engineering Review, February 2013, Cambridge University Press

    Prof. Roman Barták

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

    Article • Constraints, February 2013, Springer Science + Business Media

    Prof. Roman Barták

  31. Verifying Nested Workflows with Extra Constraints

    Article • January 2013, Springer Science + Business Media

    Prof. Roman Barták

  32. On Modeling Planning Problems: Experience from the Petrobras Challenge

    Article • January 2013, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • January 2013, Springer Science + Business Media

    Prof. Roman Barták

  34. Shortening Plans by Local Re-planning

    Article • November 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

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

    Article • November 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  36. One click dataset transfer: toward efficient coupling of distributed storage resources and CPUs

    Article • Journal of Physics Conference Series, June 2012, Institute of Physics Publishing

    Prof. Roman Barták

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

    Article • January 2012, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • January 2012, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  40. Workflow Optimization with FlowOpt: On Modelling, Optimizing, Visualizing, and Analysing Production Workflows

    Article • November 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  41. Constraint satisfaction for planning and scheduling problems

    Article • Constraints, May 2011, Springer Science + Business Media

    Prof. Roman Barták

  42. History of Constraint Programming

    Article • January 2011, Wiley

    Prof. Roman Barták

  43. On Generating Templates for Hypothesis in Inductive Logic Programming

    Article • January 2011, Springer Science + Business Media

    Prof. Roman Barták

  44. Integrating Time and Resources into Planning

    Article • October 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  45. Preface to special issue on planning and scheduling

    Article • The Knowledge Engineering Review, August 2010, Cambridge University Press

    Prof. Roman Barták, Amedeo Cesta

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

    Article • The Knowledge Engineering Review, August 2010, Cambridge University Press

    Prof. Roman Barták

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

    Article • Journal of Scheduling, July 2010, Springer Science + Business Media

    Prof. Roman Barták

  48. Efficient multi-site data movement using constraint programming for data hungry science

    Article • Journal of Physics Conference Series, April 2010, Institute of Physics Publishing

    Prof. Roman Barták

  49. Incremental propagation rules for a precedence graph with optional activities and time windows

    Article • Transactions of the Institute of Measurement and Control, February 2010, SAGE Publications

    Prof. Roman Barták

  50. Optimizing Alternatives in Precedence Networks

    Article • January 2010, Springer Science + Business Media

    Prof. Roman Barták

  51. Constraint Models for Reasoning on Unification in Inductive Logic Programming

    Article • January 2010, Springer Science + Business Media

    Prof. Roman Barták

  52. Logic programming for combinatorial problems

    Article • Artificial Intelligence Review, November 2009, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • November 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  54. Efficient multi-site data movement in distributed environment

    Article • October 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  55. Tutorial CISCHED-T constraint-based scheduling

    Article • March 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  56. Revisiting Constraint Models for Planning Problems

    Article • January 2009, Springer Science + Business Media

    Prof. Roman Barták

  57. Constraint Models for Sequential Planning

    Article • January 2009, Springer Science + Business Media

    Prof. Roman Barták

  58. Discovering implied constraints in precedence graphs with alternatives

    Article • Annals of Operations Research, December 2008, Springer Science + Business Media

    Prof. Roman Barták

  59. Constraint satisfaction techniques in planning and scheduling

    Article • Journal of Intelligent Manufacturing, November 2008, Springer Science + Business Media

    Prof. Roman Barták

  60. From enterprise models to scheduling models: bridging the gap

    Article • Journal of Intelligent Manufacturing, November 2008, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • Engineering Applications of Artificial Intelligence, August 2008, Elsevier

    Prof. Roman Barták

  62. INCREMENTAL FILTERING ALGORITHMS FOR PRECEDENCE AND DEPENDENCY CONSTRAINTS

    Article • International Journal on Artificial Intelligence Tools, February 2008, World Scientific Pub Co Pte Lt

    Prof. Roman Barták

  63. Nested temporal networks with alternatives

    Article • January 2008, ACM (Association for Computing Machinery)

    Prof. Roman Barták

  64. Temporal Reasoning in Nested Temporal Networks with Alternatives

    Article • January 2008, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • The Knowledge Engineering Review, June 2007, Cambridge University Press

    Prof. Roman Barták

  66. Modelling Alternatives in Temporal Networks

    Article • April 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

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

    Article • Constraints, November 2006, Springer Science + Business Media

    Prof. Roman Barták

  68. Incremental Filtering Algorithms for Precedence and Dependency Constraints

    Article • November 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof. Roman Barták

  69. On Generators of Random Quasigroup Problems

    Article • January 2006, Springer Science + Business Media

    Prof. Roman Barták

  70. Book review

    Article • Artificial Intelligence, December 2005, Elsevier

    Prof. Roman Barták

  71. Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities

    Article • Constraints, October 2005, Springer Science + Business Media

    Prof. Roman Barták

  72. Limited assignments

    Article • January 2005, ACM (Association for Computing Machinery)

    Prof. Roman Barták

  73. Effective Modeling with Constraints

    Article • January 2005, Springer Science + Business Media

    Prof. Roman Barták

  74. Minimal Perturbation Problem in Course Timetabling

    Article • January 2005, Springer Science + Business Media

    Prof. Roman Barták

  75. Automated Search for Heuristic Functions

    Article • January 2005, Springer Science + Business Media

    Prof. Roman Barták

  76. Encoding HTN Planning as a Dynamic CSP

    Article • January 2005, Springer Science + Business Media

    Prof. Roman Barták

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

    Article • January 2005, Springer Science + Business Media

    Prof. Roman Barták

  78. Implementing Propagators for Tabular Constraints

    Article • January 2004, Springer Science + Business Media

    Prof. Roman Barták

  79. A New Approach to Modeling and Solving Minimal Perturbation Problems

    Article • January 2004, Springer Science + Business Media

    Prof. Roman Barták

  80. A New Algorithm for Maintaining Arc Consistency After Constraint Retraction

    Article • January 2004, Springer Science + Business Media

    Prof. Roman Barták

  81. Unary Resource Constraint with Optional Activities

    Article • January 2004, Springer Science + Business Media

    Prof. Roman Barták

  82. Visopt ShopFloor: Going Beyond Traditional Scheduling

    Article • January 2003, Springer Science + Business Media

    Prof. Roman Barták

  83. Article • Annals of Operations Research, January 2003, Springer Science + Business Media

    Prof. Roman Barták

  84. Visopt ShopFloor: On the Edge of Planning and Scheduling

    Article • January 2002, Springer Science + Business Media

    Prof. Roman Barták

  85. Modelling Resource Transitions in Constraint-Based Scheduling

    Article • January 2002, Springer Science + Business Media

    Prof. Roman Barták

  86. Conceptual Models for Combined Planning and Scheduling

    Article • Electronic Notes in Discrete Mathematics, January 2000, Elsevier

    Prof. Roman Barták

  87. Dynamic Constraint Models for Planning and Scheduling Problems

    Article • January 2000, Springer Science + Business Media

    Prof. Roman Barták

  88. Constraint Processing

    Article • IGI Global

    Prof. Roman Barták

  89. Constraint Processing

    Article • IGI Global

    Prof. Roman Barták

  90. Constraint Satisfaction for Planning and Scheduling

    Article • IGI Global

    Prof. Roman Barták

  91. Principles of Constraint Processing

    Article • IGI Global

    Prof. Roman Barták

  92. Constraint Satisfaction for Planning and Scheduling

    Article • IGI Global

    Prof. Roman Barták

  93. Principles of Constraint Processing

    Article • IGI Global

    Prof. Roman Barták

  94. Generating Implied Boolean Constraints Via Singleton Consistency

    Article • Springer Science + Business Media

    Prof. Roman Barták

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

    Article • Springer Science + Business Media

    Prof. Roman Barták

  96. A Constraint Model for State Transitions in Disjunctive Resources

    Article • Springer Science + Business Media

    Prof. Roman Barták