Publications of Roman Bartak

 


HOME

RESUME

> PUBLICATIONS <

PRESENTATIONS

PROJECTS

TEACHING


SEARCH

ON-LINE GUIDES

Publications of Roman Barták


2015
 

Reactive Recovery from Machine Breakdown in Production Scheduling with Temporal Distance and Resource Constraints
Roman Barták, Marek Vlk. In Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), pages 119-130, SciTePress, 2015 (DOI: 10.5220/0005215701190130)

Yet More Planning Efficiency: Finite-domain State Variable Reformulation
Filip Dvořák, Daniel Toropila, Roman Barták. Accepted to Journal of Experimental & Theoretical Artificial Intelligence.

 

2014
 

A Constraint-based Planner for Mars Express Orbiter
Martin Kolombo, Roman Barták. In Alexander Gelbukh,
Félix Castro Espinoza,
Sofía N. Galicia-Haro (Eds.): Nature-Inspired Computation and Machine Learning (13th Mexican International Conference
on Artificial Intelligence, MICAI 2014
Tuxtla Gutiérrez, Mexico, November 16-22, 2014 Proceedings), Part II, LNAI 8857, pp. 451- 463, Springer, 2014 (ISSN 0302-9743, ISBN 978-3-319-13649-3)

A Controller for Autonomous Landing of AR.Drone
Roman Barták, Andrej Hraško, David Obdržálek, In Proceedings of 26th Chinese Control and Decision Conference (CCDC 2014), pp. 329-334, IEEE, 2014 (ISBN: 978-1-4799-3708-0)

On Autonomous Landing of AR.Drone: Hands-on Experience
Roman Barták, Andrej Hraško, David Obdržálek. In William Eberle
and Chutima Boonthum-Denecke (eds.): Proceedings of the Twenty-Seventh International Florida Artificial Intelligence Research Society Conference (FLAIRS 2014), pp. 400-405. AAAI Press, 2014 (ISBN: 978-1-57735-658-5, ISSN: 2334-0754)

On Modeling Formalisms for Automated Planning
Jindřich Vodrážka, Roman Barták. In Pascal Hitzler, Sergei O. Kuznetsov, Adila Krisnadhi, Gennady Agre (eds.): Proceedings of Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2014), LNAI/LNCS 8722, pp. 270–277, Springer, 2014 (DOI: 10.1007/978-3-319-10554-3_28, ISBN: 978-3-319-10553-6, ISSN: 0302-9743)

Object Tracking by a Flying Drone
Roman Barták and Adam Vyškovský. In Proceedings of Seventeenth Czech-Japan Seminar on Data Analysis & Decision Making under Uncertainty (CJS 2014), Kitakyushu, Japan.

Using Tabled Logic Programming to Solve the Petrobras Planning Problem
Roman Barták and Neng-Fa Zhou. Theory and Practice of Logic Programming, 14, pp. 697-710, 2014 (DOI: 10.1017/S1471068414000295)

On Verification of Nested Workflows with Extra Constraints: From Theory to Practice
Barták, Roman; Rovenský Vladimír. In Expert Systems With Applications, Volume 41, Issue 3,pps. 904–918, Elsevier, 2014. (DOI 10.1016/j.eswa.2013.08.021, ISSN: 0957-4174).

Planning and Acting with Temporal and Hierarchical Decomposition Models
Filip Dvořák, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab and Roman Barták. In Proceedings of 26th International Conference on Tools with Artificial Intelligence (ICTAI 2014), pp. 115 - 121, IEEE, 2014.

Spice it up! Enriching Open World NPC Simulation Using Constraint Satisfaction
Martin Černý, Roman Barták, Cyril Brom and Martin Antoš. In Ian Horswill, Arnav Jhala (eds.): Proceedings of The Tenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2014), pp. 16-22, AAAI Press, 2014. (Best Paper Award) (ISBN 978-1-57735-681-3, ISSN 2334-0924, DOI: 10.1109/ICTAI.2014.27 )

Proceedings of the Seventh International Symposium on Combinatorial Search (SoCS-2014)
Stefan Edelkamp, Roman Barták (editors). AAAI Press, ISBN 978-1-57735-676-9

An Introduction to Constraint-Based Temporal Reasoning
Roman Barták, Robert A. Morris, Kristen Brent Venable. Morgan & Claypool Publishers, 2014 (ISBN: 978-1-60845-967-4)

Planning and Scheduling
Roman Barták. Chapter in Teofilo Gonzales, Jorge Diaz-Herrera, Allen Tucker (eds.): Computing Handbook, Third Edition: Computer Science and Software Engineering, Volume I, Chapter 39, pp. 39.1 – 39.14, CRC Press, 2014 (ISBN: 978-1-4398-9852-9)

Reinforced Encoding for Planning as SAT
Tomáš Balyo, Roman Barták, Otakar Trunda. In Student Conference on Planning in Artificial Intelligence and Robotics (PAIR) 2014.

Determining a Proper Initial Configuration of Red-Black Planning by Machine Learning
Otakar Trunda, Roman Barták. In Proceedings of the International Workshop on Meta-learning and Algorithm Selection. CEUR Workshop

2013
 

VisPlan – Interactive Visualisation and Verification of Plans
Glinský, Radoslav; Barták, Roman. In Nicola Policela, Nilufer Onder (eds.): ICAPS 2013 Application Showcase Proceedings, pp. 3-5, 2013.

Simplifying Verification of Nested Workflows with Extra Constraints
Barták, Roman. In Chutima Boonthum-Denecke and Michael Youngblood (Eds.): Proceedings of the Twenty-Sixth Florida Artificial Intelligence Research Society Conference (FLAIRS 2013), pp. 28-33, AAAI Press, 2013 (ISBN 978-1-57735-605-9).

Verifying Nested Workflows with Extra Constraints
Barták, Roman; Rovenský, Vladimír. In I. Batyrshin and M. González Mendoza (Eds.): Advances in Computational Intelligence, 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I, LNAI 7629, pp. 359-370, Springer Verlag, 2013 (ISBN: 978-3-642-37806-5).

Planning and Reactive Agents in Dynamic Game Environments: An Experimental Study
Barták, Roman; Brom,Cyril; Černý, Martin; Gemrot, Jakub. In Joaquim Filipe, Ana Fred (eds.): Proceedings of 5th International Conference on Agents and Artificial Intelligence (ICAART 2013), Volume 1, pp. 234-240, SciTePress, 2013. (ISBN: 978-989-8565-38-9)

Formulating the template ILP consistency problem as a constraint satisfaction problem
Barták, Roman; Černoch, Radomír; Kuželka, Ondřej; Železný, Filip. Constraints: An International Journal, Volume 18, Number 2, pages 144-165, Springer Verlag, 2013 (DOI 10.1007/s10601-013-9141-7, ISSN: 1383-7133)

Preface to special issue on Knowledge Engineering for Planning and Scheduling
Barták, Roman; Fratini, Simone; McCluskey, Thomas Leo. The Knowledge Engineering Review, Volume 22, Number 2, February 2013 (DOI 10.1017/S0269888912000379).

 

2012
 

Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio
Plch Tomáš ; Chomut Miroslav ; Brom Cyril ; Barták Roman. In System Demonstrations and Exhibits at ICAPS 2012, 2012.

A Novel Framework for Modeling Planning Domains with State Variables
Vodrážka, Jindřich; Barták, Roman. In Proceedings of to The 30th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2012), Teesside University, 2012.

Shortening Plans by Local Re-Planning
Balyo, Tomáš; Barták, Roman; Surynek, Pavel. In Proceedings of 24th IEEE International Conference on Tools with Artificial Intelligenceg (ICTAI 2012), pp. 1022-1028, IEEE Conference Publishing Services, 2012 (DOI:10.1109/ICTAI.2012.144, ISBN-13: 978-0-7695-4915-6)

Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems
Toropila, Daniel; Dvořák, Filip; Trunda, Otakar; Hanes, Martin; Barták, Roman. In Proceedings of 24th IEEE International Conference on Tools with Artificial Intelligenceg (ICTAI 2012), pp. 191-198, IEEE Conference Publishing Services, 2012 (DOI: 10.1109/ICTAI.2012.34, ISBN-13: 978-0-7695-4915-6)

Automatická verifikace podmínek v zahnízděných pracovních postupech
Barták, Roman; Rovenský, Vladimír. In Stanislav Krajči (ed).: Proceedings of 11th annual conference Znalosti 2012, pp.72-81, Matfyzpress, 2012 (ISBN: 978-80-7378-220-7).

Planning is the Game: Action Planning as a Design Tool and Game Mechanism
Kadlec, Rudolf; Tóth, Csaba; Černý, Martin; Barták, Roman; Brom,Cyril. In Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-2012), pp. 160-166, AAAI Press, 2012 (ISBN 978-1-57735-582-3).

Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms
Chovanec, Andrej; Barták, Roman. In Allan Ramsey, Gennady Agre (eds.): Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2012), LNCS 7557, pp. 184-194, Springer Verlag, 2012 (ISBN: 978-3-642-33184-8, ISSN: 0302-9743, DOI: 10.1007/978-3-642-33185-5_21)

FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners
Barták, Roman; Jaška, Milan; Novák, Ladislav; Rovenský, Vladimír; Skalický, Tomáš; Cully, Martin; Sheahan, Con; Thanh-Tung, Dan. In Luc De Raedt et al. (Eds.): Proceedings of 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 1003-1004, IOS Press, 2012 (ISBN 978-1-61499-097-0, DOI:10.3233/978-1-61499-098-7-1003).

On Improving Plan Quality via Local Enhancements
Balyo, Tomáš; Barták, Roman; Surynek, Pavel. In Proceedings of The Fifth Annual Symposium on Combinatorial Search (SoCS 2012), pp. 154-156, AAAI Press, 2012 (ISBN 978-1-57735-584-7).

One click dataset transfer: toward efficient coupling of distributed storage resources and CPUs
Zerola, Michal; Lauret, Jérôme; Barták,Roman; Šumbera, Michal. Journal of Physics: Conference Series, Volume 368, No 1, pp. 12-22 (DOI:10.1088/1742-6596/368/1/012022, ISSN: 1742-6588)

History-Driven Template Generation in Inductive Logic Programming
Chovanec, Andrej; Barták, Roman. International Journal of Applied and Computational Mathematics, Volume 11, Number 2, pp. 200-213 (ISSN: 1683-3511).

When Planning Should Be Easy: On Solving Cumulative Planning Problems
Barták, Roman; Dvořák, Filip; Gemrot, Jakub; Brom, Cyril; Toropila, Daniel. In G. Michael Youngblood and Philip M. McCarthy (eds.) Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2012), pp. 405-410. AAAI Press, 2012 (ISBN: 978-1-57735-558-8).

On Complexity of Verifying Nested Workflows with Extra Constraints
Barták, Roman. In Joaquim Filipe and Ana Fred (eds.) Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Volume 1, pp. 346-354, SciTePress, 2012 (ISBN: 978-989-8425-95-9, DOI: 10.5220/0003748003460354)

MAK€ – A System for Modelling, Optimising, and Analyzing Production in Small and Medium Enterprises
Barták, Roman; Sheahan, Con; Sheahan, Ann. In Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser and György Turán (eds.) SOFSEM 2012: Theory and Practice of Computer Science, 38th Conference on Current Trends in Theory and Practice of Computer Science, LNAI 7147, pp. 600-611, Springer Verlag, 2012 (ISBN: 978-3-642-27659-0, DOI: 10.1007/978-3-642-27660-6_49).

Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming
Barták, Roman; Železný, Filip; Kuželka, Ondřej. Chapter in Norbert M. Seel (Ed.) Encyclopedia of the Sciences of Learning, Part 3, pp. 777-780, Springer Verlag, 2012 (ISBN: 978-1-4419-1427-9, DOI: 10.1007/978-1-4419-1428-6_1794, 4300 pages).

 

2011

On Complexity of Verifying Nested Workflows with Extra Constraints
Barták, Roman. In Proceedings of the 14th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, matfyzpress, 2011, pp. 17-25 (ISBN 978-80-7378-179-8)

Two Semantics for Step-Parallel Planning: Which One to Choose?
Balyo, Tomáš; Toropila, Daniel; Barták, Roman. In Proceedings of the 14th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertaity, matfyzpress, 2011, pp. 9-16 (ISBN 978-80-7378-179-8).

Boosting Inductive Logic Programming via Decomposition, Merging, and Refinement
Chovanec, Andrej; Barták, Roman. In Proceedings of 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011). pp. 914-915, IEEE Computer Society, 2011 (ISSN: 1082-3409, ISBN: 978-0-7695-4596-7, DOI: 10.1109/ICTAI.2011.153)

On Generating Templates for Hypothesis in Inductive Logic Programming
Chovanec, Andrej; Barták, Roman. In Ildar Batyrshin, Grigori Sidorov (eds.) Advances in Artificial Intelligence (Proceedings of 10th Mexican International Conference on Artificial Intelligence (MICAI 2011), Part 1, pp. 162-173, LNAI 7094, Springer Verlag, 2011 (ISSN 0302-9743, ISBN 978-3-642-25323-2, DOI: 10.1007/978-3-642-25324-9_14)

Workflow Optimization with FlowOpt, On Modelling, Optimizing, Visualizing, and Analysing Production Workflows
Barták, Roman; Jaška, Milan; Novák, Ladislav; Rovenský, Vladimír; Skalický, Tomáš; Cully, Martin; Sheahan, Con; Thanh-Tung, Dang. In Chia-Hui Chang, Richard Tzong-Han Tsai (eds.) Proceedings of Conference on Technologies and Applications of Artificial Intelligence (TAAI 2011) , pp. 167-172. IEEE Conference Publishing Services, 2011 (ISBN: 978-0-7695-4601-8, DOI 10.1109/TAAI.2011.36).

When Planning Should Be Easy: On Solving Relaxed Planning Problems
Barták, Roman; Dvořák, Filip; Gemrot, Jakub; Brom, Cyril; Toropila, Daniel. Proceedings of to The 29th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2011), pp. 1-8, University of Huddersfield, 2011 (ISSN: 1368-5708).

Two Semantics for Step-Parallel Planning: Which One to Choose?
Balyo, Tomáš; Toropila, Daniel; Barták, Roman; Proceedings of the 29th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2011), pp. 9-15, University of Huddersfield, 2011 (ISSN: 1368-5708).

Modelling and Solving Scheduling Problems using Constraint Programming
Barták, Roman; Proceedings of Tenth Workshop on Models and Algorithms for Planning and Scheduling Problems (invited talk), pp. 8-14, Nymburk, Czech Republic, ITI Series 2011-525, 2011.

FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflow
Barták, Roman; Cully, Martin; Jaška, Milan; Novák, Ladislav; Rovenský, Vladimír; Sheahan, Con; Skalický, Tomáš; Thanh-Tung, Dang; Proceedings of ICAPS 2011 System Demonstrations, pp. 6-9, Freiburg, Germany, 2011

VisPlan – Interactive Visualisation and Verification of Plans
Glinský, Radoslav; Barták, Roman; Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling, pp. 134-138, Freiburg, Germany, 2011.

Constraint satisfaction for planning and scheduling problems
Barták, Roman; Salido, Miguel A. In Constraints: Volume 16, Issue 3 (2011), Page 223-227. (DOI:10.1007/s10601-011-9109-4)

On Constraint Models for Parallel Planning: The Novel Transition Scheme
Barták, Roman. In Anders Kofod-Petersen, Fredrik Heintz, Helge Lagseth (eds.) Proceedings of the Eleventh Scandinavian Conference on Artificial Intelligence (SCAI 2011), pp. 50-59, Frontiers of Artificial Intelligence, Volume 227, IOS Press, 2011 (ISSN: 0922-6389, ISBN: 978-1-60750-753-6, DOI: 10.3233/978-1-60750-754-3-50).

A Novel Constraint Model for Parallel Planning
Barták, Roman. Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2011), pp. 9-14. AAAI Press, 2011 (ISBN: 978-1-57735-501-4).

Paralelní plánování jako problém splňování podmínek
Barták, Roman. In Jiří Jelínek, Radim Jiroušek (Eds.): Znalosti 2011, pp. 9-20. VŠB-Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky, 2011. (ISBN 978-80-248-2369-0)

Využitie konečných stavových automatov pri modelovaní a riešení plánovacích problémov
Toropila, Daniel; Barták, Roman. In Jiří Jelínek, Radim Jiroušek (Eds.): Znalosti 2011, pp. 299-302. VŠB-Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky, 2011. (ISBN 978-80-248-2369-0)

Towards Routing for Autonomous Robots: Using Constraint Programming in an Anytime Path Planner
R. Barták, M. Zerola, S. Slušný. In Joaquim Filipe and Ana Fred (eds.) Proceedings of 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), Volume 1, pp. 313-320, SciTePress, 2011. (ISBN: 978-989-8425-40-9)

History of Constraint Programming
R. Barták. In Wiley Encyclopedia of Operations Research and Management Science, John Wiley & Sons, January 2011, 11 pages (Online ISBN: 9780470400531, DOI: 10.1002/9780470400531.eorms0382 )

 

2010
 

Efficient Multi-site Data Movement Using Constraint Programming for Data Hungry Science
Zerola,Michal; Lauret, Jérôme; Barták,Roman; Šumbera, Michal. In Journal of Physics: Conference Series (JPCS), Volume 219, Issue 6, IOP Publishing, 2010 (10 pages). (ISSN 1742-6588, DOI: 10.1088/1742-6596/219/6/062069 )

A Novel Constraint Model for Parallel Planning
Barták, Roman. Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence, pp. 30-37. University of Brescia, 2010. (ISBN 9788890492419)

Using Finite-State Automata to Model and Solve Planning Problems
Toropila, Daniel; Barták, Roman. Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence, pp. 183-189. University of Brescia, 2010. (ISBN 9788890492419)

Solving the Rotation Assignment Problem for Airlines Using Constraint Programming
Ngueyn, Son Tung; Barták, Roman. Proceedings of the Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2010), Franhofer FIRST, Berlin, 2010, pp. 3-15.

The Third Competition on Knowledge Engineering for Planning and Scheduling
Roman Barták, Simone Fratini, Lee McCluskey. In AI Magazine, Volume 31, Number 1, pp. 95-98, AAAI Press, 2010. (ISSN: 0738-4602)

Building Efficient Data Planner for Peta-scale Science
M. Zerola, J. Lauret, R. Barták, M. Šumbera. In Proceedings of Advanced Computing and Analysis Techniques in Physics Research (ACAT 2010), Jaipur, 2010 (ISSN 1824-8039)

Data Transfer Optimization: Going Beyond Heuristics
R. Barták. In Proceedings of Advanced Computing and Analysis Techniques in Physics Research (ACAT 2010), Jaipur, 2010 (ISSN 1824-8039).

Optimizing Alternatives in Precedence Networks
R. Barták. In G. Sidorov et al. (Eds.): Advances in Artificial Intelligence (MICAI 2010, Part I), LNAI 6437, pp. 197-208. Springer, Heidelberg, 2010 (ISSN: 0302-9743, ISBN: 978-3-642-16760-7, DOI: 10.1007/978-3-642-16761-4_18).

Integrating Time and Resources into Planning
F. Dvorák, R. Barták. In Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, Volume 2, pp. 71-78, IEEE Computer Society, 2010 (ISSN: 1082-3409, ISBN: 978-0-7695-4263-8, DOI: 10.1109/ICTAI.2010.86)

Constraint Models for Reasoning on Unification in Inductive Logic Programming
R. Barták. In Darina Dicheva, Danail Dochev (eds.) Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2010). pp. 101-110, LNAI 6304, Springer Verlag, 2010 (ISSN 0302.9743, ISBN 978-3-642-15430-0, DOI: 10.1007/978-3-642-15431-7_11)

Preference Handling in Nested Temporal Networks with Alternatives
R. Barták. In Proceedings of ECAI 2010 Multidisciplinary Workshop on Advances in Preference Handling (M-PREF), 2010, pp. 1-6.

Special issue on applications and methodologies for planning and scheduling: editorial [www]
R. Barták, H. Rudová. In Journal of Scheduling, Volume 13, Number 4 / August 2010, Springer (ISSN: 1094-6136, DOI 10.1007/s10951-010-0187-8)

Incremental Propagation Rules for a Precedence Graph with Optional Activities and Time Windows [www]
R. Barták, O. Cepek. In The Transactions of the Institute of Measurement and Control, Volume 32, Number 1, pp. 73-96, Sage Publications, 2010 (ISSN: 0142-3312, DOI: 10.1177/0142331208100099).

Discovering Implied Constraints in Precedence Graphs with Alternatives [www]
R. Barták, O. Cepek, and P. Surynek. In Annals of Operations Research, Volume 180, Number 1, 233-263, Springer Verlag, 2010 (ISSN: 0254-5330, DOI 10.1007/s10479-008-0492-1)

New Trends on Constraint Satisfaction, Planning, and Scheduling: A Survey
Roman Barták, Miguel A. Salido, Francesca Rossi. The Knowledge Engineering Review, Vol. 25:3, 249–279. Cambridge University Press, 2010 (ISSN: 0269-8889, DOI:10.1017/S0269888910000202)

Preface to special issue on planning and scheduling
Roman Barták, Amedeo Cesta, Lee McCluskey, Miguel A. Salido. The Knowledge Engineering Review, Vol. 25:3, 247–248. Cambridge University Press, 2010 (doi:10.1017/S0269888910000196)

Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem
Roman Barták, Ondřej Kuželka, Filip Železný. Proceedings of AAAI-10 Workshop on Abstraction, Reformulation, and Approximation, Technical Report WS-10-08, AAAI Press, 2010, pp. 2-7 (ISBN 978-1-57735-474-1

AI Planning with Time and Resource Constraints
F. Dvorák, R. Barták. In Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2010), Toronto, Canada, 2010, pp. 5-13.

ICAPS 2010: Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2010)
Miguel A. Salido, Roman Barták and Neil Yorke-Smith (editors), Toronto, Canada, 2010 (77 pages).

ICAPS 2010: Proceedings of the Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2010)
R. Barták, S. Fratini, L. McCluskey, T.S. Vaquero (editors), Toronto, Canada, 2010 (69 pages).

Solving Sequential Planning Problems via Constraint Satisfaction
R. Barták, D. Toropila. In Fundamenta Informaticae, Volume 99, Number 2, IOS Press, 2010, pp. 125-145 (ISSN: 0169-2968, DOI: 10.3233/FI-2010-242)

From Enterprise Models to Scheduling Models: Bridging the Gap [www]
R. Barták, J. Little, O. Manzano, C. Sheahan. Journal of Intelligent Manufacturing, Volume 21, Number 1, pp. 121–132, Springer Verlag, 2010 (ISSN: 0956-5515, DOI: 10.1007/s10845-008-0166-5)

Constraint Satisfaction Techniques in Planning and Scheduling [www]
Roman Barták, Miguel A. Salido, Francesca Rossi. Journal of Intelligent Manufacturing, Volume 21, Number 1, pp. 5-15, Springer Verlag, 2010 (ISSN: 0956-5515, DOI: 10.1007/s10845-008-0203-4)

Logic Programming for Combinatorial Problems [www]
Toshinori Munakata, Roman Barták. In Artificial Intelligence Review, Volume 33, Numbers 1-2 / February, 2010, pp. 135-150, Springer Verlag. (ISSN: 0269-2821, DOI: 10.1007/s10462-009-9150-5)

Preference Handling in Nested Temporal Networks with Alternatives
R. Barták. In Proceedings of Znalosti 2010, pp. 29-40, 2010. (ISBN 978-80-245-1636-3)

AI Planning with Time and Resource Constraints
F. Dvorák, R. Barták. In Proceedings of Znalosti 2010, pp. 72-83, 2010 (ISBN 978-80-245-1636-3)

Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming
R. Barták, O. Kuzelka, F. Zelezny. In Proceedings of the 23rd International Florida AI Research Society Conference (FLAIRS 2010). AAAI Press, 2010, pp. 440-441 (ISBN 978-1-57735-447-5)

 

2009
 

Using Constraint Programming to Plan Efficient Data Movement on the Grid
M. Zerola, M. Šumbera, R. Barták, J. Lauret. Proceedings of the 21st IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society, 2009, pp. 729-733 (ISSN: 1082-3409, ISBN: 978-0-7695-3920-1, DOI: 10.1109/ICTAI.2009.80)

ICAPS 2009: Proceedings of the Third International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS 2009)
R. Barták, S. Fratini, L. McCluskey (editors), Thessaloniki, Greece, 2009 (61 pages).

ICAPS 2009: Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2009)
M. Salido, R. Barták (editors), Thessaloniki, Greece, 2009 (58 pages).

Interactive Gantt Viewer with Automated Schedule Repair
R. Barták, T. Skalický. In ICAPS 2009 Applications Showcase, Thessaloniki, Greece, 2009, pp. 5-8.

Revisiting Constraint Models for Planning Problems [www]
R. Barták, D. Toropila. In J. Rauch, Z. Ras, P. Berka, T. Elomaa (Eds.): Foundations of Intelligent Systems (ISMIS 2009), LNAI 5722, Springer Verlag, 2009, pp. 582–591 (ISSN: 1867-8211, ISBN: 978-3-642-04124-2).

Preference Handling in Nested Temporal Networks with Alternatives
R. Barták. In V. Novák, V. Pavliska, M. Štepnicka (eds.): Proceedings of the 12th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty, University of Ostrava, 2009, pp. 5-18

Planning Heuristics for Efficient Data Movement on the Grid
M. Zerola, R. Barták, J. Lauret, M. Šumbera. In Proceedings of MISTA 2009: Fourth Multidisciplinary International Scheduling Conference: Theory and Applications, Dublin, Ireland, 2009, pp. 768-771.

A local approach to automated correction of violated precedence and resource constraints in manually altered schedules
R. Barták, T. Skalický. In Proceedins of MISTA 2009: Fourth Multidisciplinary International Scheduling Conference: Theory and Applications, Dublin, Ireland, 2009, pp. 507-517.
Also in Proceedings of the 6th International Workshop on Planning and Scheduling for Space (IWPSS-09), Pasadena, USA, 2009.

Preemptive scheduling with precedences and alternative resources
V. Duša, R. Barták. In Proceedings of MISTA 2009: Fourth Multidisciplinary International Scheduling Conference: Theory and Applications, Dublin, Ireland, 2009, pp. 518-530.

Integrating Constraint Models for Sequential and Partial-Order Planning
R. Barták, D. Toropila. In Proceedings SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation, AAAI Press, 2009, pp. 18-25. (ISBN: 978-1-57735-433-8)

Reformulating Planning Problems by Eliminating Unpromising Actions
L. Chrpa, R. Barták. In Proceedings SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation, AAAI Press, 2009, pp. 50-57. (ISBN: 978-1-57735-433-8)

Constraint Models for Planning Problems
R. Barták, D. Toropila. In W.-J. van Hoeve and J.N. Hooker (Eds.): CPAIOR 2009, LNCS 5547, Springer Verlag, 2009, pp. 314 – 315 (ISSN: 0302-9743, ISBN: 978-3-642-01928-9).

Enhancing Constraint Models for Planning Problems
R. Barták, D. Toropila. In Proceedings of the 22nd International Florida AI Research Society Conference (FLAIRS 2009). AAAI Press, 2009, pp. 213-214 (ISBN 978-1-57735-419-2).

Enhancing Constraint Models for Planning Problems
R. Barták, D. Toropila. In P. Návrat, D. Chudá (Eda.): Znalosti 2009, Vydavatelstvo Slovenskej technickej univerzity, 2009, pp. 47-58 (ISBN 978-80-227-3015-0)

 

2008
 

AI Planning and Scheduling
R. Barták, H. Rudová. The Reasoner, 2(7), 2008, pp. 6-7. (ISSN 1757-0522).

Introduction: Special issue on constraint satisfaction techniques for planning and scheduling problems
M.A. Salido, A. Garrido, R. Barták. Engineering Applications of Artificial Intelligence, 21(5), 2008, pp. 679-682. (ISSN 0952-1976).

Enhancing Constraint Models for Planning Problems
R. Barták, D. Toropila. In Ruth Aylett and Yvan Petillot (eds.) Proceedings of the 27th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2008). Edinburgh, 2008, pp. 9-16. (ISSN 1368-5708)

Modelling and Solving Complex Scheduling Problems with Alternative Process Routes
R. Barták. In Proceedings of 10th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2008), University of West Bohemia, Prague 2008, pp. 97-102 (ISBN 978-80-7043-738-4)

Efficient Scheduling of Data Transfers and Job Allocations
M. Zerola, M. Šumbera, J. Lauret, R. Barták. In P.Ambroz, Z.Masakova (eds.): Doktorandske dny 2008 (sbornik workshopu doktorandu FJFI oboru Matematicke inzenyrstvi). CVUT, Praha, 2008, pp. 215 - 224 (ISBN 978-80-01-04195-6) [PDF]

Using constraint programming to resolve the multi-source / multi-site data movement paradigm on the Grid [WWW]
M. Zerola, J. Lauret, M. Šumbera, R. Barták. In Proceedings of Advanced Computing and Analysis Techniques in Physics Research (ACAT 2008), Erice 2008.

Book Review: Constraint Processing, Handbook of Constraint Programming [WWW]
R. Barták. In Computer Science Review, Volume 2, Issue 2, Elsevier, August 2008, pp. 123 – 130. (ISSN 1574-0137)

Constraint satisfaction techniques in planning and scheduling: An introduction
R. Barták. In Archives of Control Sciences, Volume 18, No. 2, 2008, pp. 141-158. (ISSN 0004-072X)

Archives of Control Sciences - Special Issue on Constraint Satisfaction for Planning and Scheduling
R. Barták, W. Legierski (editors). Volume 18, Number 2, 2008. (ISSN 0004-072X)

Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models [PDF] (www)
R. Barták, O. Cepek. In D. Dochev, M. Pistore, P. Traverso (eds.): Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008). LNAI 5253, Springer Verlag, 2008, pp. 235-246. (ISBN 978-3-540-85775-4, DOI: 10.1007/978-3-540-85776-1_20)

Temporal Reasoning in Nested Temporal Networks with Alternatives [PDF] (www)
R. Barták, O. Cepek, M. Hejna. In F. Fages, F. Rossi, and S. Soliman (Eds.): Recent Advances in Constraints - 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers, LNAI 5129, Springer-Verlag, 2008, pp. 17–31. (ISBN 978-3-540-89811-5, DOI: 10.1007/978-3-540-89812-2_2)

Search Strategies for Scheduling Problems with Optional Activities
R. Barták. In Search in Artificial Intelligence and Robotics: Papers from the 2008 AAAI Workshop, Technical Report WS-08-10, AAAI Press, 2008, pp. 1-2 (ISBN: 978-1-57735-378-2)

Towards getting domain knowledge: Plans analysis through investigation of actions dependencies [PDF]
L. Chrpa, R. Barták. In Proceedings of the 21st International Florida AI Research Society Conference (FLAIRS 2008). AAAI Press, pp. 531-536, 2008. (ISBN 978-1-57735-365-2)

Reformulating Constraint Models for Classical Planning [PDF]
R. Barták, D. Toropila. In Proceedings of the 21st International Florida AI Research Society Conference (FLAIRS 2008). AAAI Press, pp. 525-530, 2008. (ISBN 978-1-57735-365-2)

Constraint Processing [WWW]
R. Barták. A chapter in Juan R. Rabuńal; Julian Dorado; Alejandro Pazos Sierra (eds.): Encyclopedia of Artificial Intelligence. Idea Group, July 2008 ( ISBN: 978-1-59904-849-9)

Incremental Filtering Algorithms for Precedence and Dependency Constraints
R. Barták, O. Cepek. In International Journal on Artificial Intelligence Tools, Volume 17, No. 1, pp. 205 - 221, February 2008 (ISSN: 0218-2130)

Nested Temporal Networks with Alternatives: Recognition and Tractability
R. Barták, O. Cepek. In Applied Computing 2008 - Proceedings of 23rd Annual ACM Symposium on Applied Computing, Volume 1, pp. 156-157, ACM, 2008 (ISBN 1-59593-753-7).

Principles of Constraint Processing [WWW]
R. Barták. A chapter in Ioannis Vlahavas, Dimitris Vrakas (eds.): Artificial Intelligence for Advanced Problem Solving Techniques. Idea Group, pp. 63-106. (ISBN: 978-1-59904-705-8)

Temporal Reasoning in Nested Temporal Networks with Alternatives
R. Barták, O. Cepek, M. Hejna. In V. Snášel (Ed.): Znalosti 2008, Vydavatelstvo Slovenskej technickej univerzity, 2008, pp. 42-53 (ISBN 978-80-227-2827-0)

Looking for Planning Problems Solvable in Polynomial Time via Investigation of Structures of Action Dependencies
L. Chrpa; R. Barták. In Proceedings of Tenth Scandinavian Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, IOS Press, Volume 173, pp. 175-180, 2008 (ISBN: 978-1-58603-867-0)

 

2007
 

Proceedings of PlanSIG 2007 The 26th workshop of the UK Planning and Scheduling Special Interest Group [WWW]
R. Barták (editor), MFF UK, Praha, 2007 (ISSN 1368-5708)

From Enterprise Models to Scheduling Models: Bridging the Gap [PDF]
R. Barták, J. Little, O. Manzano, C. Sheahan. In Miguel A. Salido, Juan Fdez-Olivares (Eds.) Planning, Scheduling and Constraint Satisfaction, Universidad de Salamanca, pp. 44-56, 2007. (ISBN-13: 978-84-611-8860-4).

Constraint Models for Complex State Transitions [PDF]
R. Barták, In Computer Assisted Mechanics and Engineering Sciences (CAMES) Journal, Vol. 14, No. 4, pp. 543-555, 2007.

Omezující podmínky: od Sudoku po vesmírné aplikace
R. Barták. A chapter in Marik, Stepankova, Lazansky a kol.: Umelá inteligence 5. Academia, 2007, pp. 146-172 (ISBN: 978-80-200-1470-2)

Nested Temporal Networks with Alternatives [PDF]
R. Barták, O. Cepek. In Hans W. Guesgen, Gerard Ligozat, Jochen Renz, Rita V. Rodriguez (Eds.): Papers from the 2007 AAAI Workshop on Spatial and Temporal Reasoning, Technical Report WS-07-12, AAAI Press, 2007, pp. 1-8 (ISBN: 978-1-57735-339-3)

Generating Implied Boolean Constraints via Singleton Consistency [PDF] (www)
R. Barták. In Abstraction, Reformulation, and Approximation (SARA 2007), LNAI 4612, Springer-Verlag, 2007, pp. 50-64 (ISBN: 978-3-540-73579-3, DOI: 10.1007/978-3-540-73580-9_7)
Also in Proceedings of ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2007), 2007, pp. 33-46.

The knowledge engineering review - Special Issue: Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems
R. Barták, L. McCluskey (editors). Volume 22, Number 2, June 2007.

A Constraint Model for State Transitions in Disjunctive Resources (www)
R. Barták, O. Cepek. Recent Advances in Constraints, LNAI 4651, Springer-Verlag, 2007, pp. 48-62 (ISBN: 978-3-540-73816-9, DOI: 10.1007/978-3-540-73817-6_3)

Temporal Networks with Alternatives: Complexity and Model [PDF]
R. Barták, O. Cepek. Proceedings of the Twentieth International Florida AI Research Society Conference (FLAIRS 2007). AAAI Press, 2007, pp. 641-646 (ISBN 978-1-57735-319-5).

Maintaining Arc-consistency over Mutex Relations in Planning Graphs during Search
P. Surynek, R. Barták. Proceedings of the Twentieth International Florida AI Research Society Conference (FLAIRS 2007). AAAI Press, 2007, pp. 134-139 (ISBN 978-1-57735-319-5).

Modelling Alternatives in Temporal Networks [PDF]
R. Barták, O. Cepek, P. Surynek. Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Scheduling (CI-Sched 2007), IEEE Press, 2007, pp. 129-136 (ISBN: 1-4244-0698-6 )

Discovering Equivalence Classes in Precedence Graphs
R. Barták, O. Cepek, P. Surynek. In Peter Mikulecký, Jirí Dvorský, Michal Krátký (Eds.): Znalosti 2007. VŠB Ostrava, 2007, pp. 17-28 (ISBN: 978-80-248-1279-3).

 

2006
 

Combinatorics in Logic Programming: Implementations and Applications [PDF]
T. Munakata, R. Barták, International Journal of Information Technology and Intelligent Computing, 2006, Vol.1, No.2, 419-428, IEEE Computational Intelligence Society.

Modelling Alternatives in Temporal Networks
R. Barták, O. Cepek, P. Surynek, Proceedings of The 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006), University of Nottingham, 2006, pp. 121-128.

Constraints - Special Issue on CP-AI-OR 2005
R. Barták, M. Milano (editors). Volume 11, Number 4, Springer, 2006.

Incremental Filtering Algorithms for Precedence and Dependency Constraints [PDF]
R. Barták, O.Cepek. In Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006). IEEE Press, 2006, pp. 416-423.

Archives of Control Sciences, Special Issue on Constraint Programming, Volume 16, No. 2, 2006,
R. Barták (editor)

A Constraint Model for State Transitions in Disjunctive Resources [PDF]
R. Barták, O.Cepek. In Proceedings of the 5th International Workshop on Planning and Scheduling for Space (IWPSS 2006), pp. 278-285, 2006.

A Constraint Model for State Transitions in Disjunctive Resources [PDF]
R. Barták, O.Cepek. ITI Series 2006-306, Prague, 2006.

Incremental Filtering Algorithms for Precedence and Dependency Constraints [PDF]
R. Barták, O.Cepek. In Proceedings of the CP 2006 Workshop on Constraint Propagation And Implementation (CPAI 2006), pp. 3-18, 2006.

Private and Efficient Stable Marriages (Matching) - a DisCSP Benchmark [PDF]
Timothy Atkinson, Roman Barták, Marius C. Silaghi, Erdal Tuleu, and Markus Zanker. In Proceedings of the ECAI 2006 Workshop on Distributed Constraint Satisfaction, 2006.

A Constraint Model for State Transitions in Disjunctive Resources [PDF]
R. Barták, O.Cepek. In Proceedings of the 11th ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2006), pp. 217-230, 2006.

Limited Full Arc Consistency for Weighted CSP
J. Zlomek, R. Barták. In Proceedings of the 11th ERCIM Workshop on Constraint Solving and Constraint Logic Programming (CSCLP 2006), pp. 45-54, 2006.

Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach [PDF]
R. Barták, O.Cepek. In
Proceedings of The Sixteenth International Conference on Automated Planning and Scheduling. (ICAPS 2006), AAAI Press, pp. 350-353, 2006.

Incremental Propagation of Time Windows on Disjunctive Resources [PDF]
R. Barták. In Proceedings of the Nineteenth International Florida AI Research Society Conference (FLAIRS 2006). AAAI Press, pp. 25-30, 2006.

On Generators of Random Quasigroup Problems [PDF] (www)
R. Barták. In B. Hnich et al. (Eds.): Recent Advances in Constraints (CSCLP 2005), LNAI 3978, Springer Verlag, pp. 164-178, 2006 (ISBN: 978-3-540-34215-1, DOI: 10.1007/11754602_12)

The First Competition on Knowledge Engineering for Planning and Scheduling
R. Barták and Lee McCluskey, AI Magazine 27(1), pp. 97-98, 2006.

 

2005
 

Limited Assignments: A New Cutoff Strategy for Incomplete Depth First Search [PDF]
R. Barták, H. Rudová. In Applied Computing 2005 - Proceedings of 20th Annual ACM Symposium on Applied Computing, Volume 1. ACM, Santa Fe, New Mexico, 2005, pp. 388-392.

Constraint Satisfaction for Planning and Scheduling
R. Barták, a chapter in Ionannis Vlahavas, Dimitris Vrakas (eds.): Intelligent Techniques for Planning, Idea Group, 2005, pp. 320-353

A Flexible Constraint Model for Validating Plans with Durative Actions [PDF]
R. Barták. In Luis Castillo, Daniel Borrajo, Miguel A. Salido, Angelo Oddi (eds.): Planning, Scheduling and Constraint Satisfaction: From Theory to Practice. Frontiers in Artificial Intelligence and Applications, Vol. 117, IOS Press, 2005, pp. 39-48.

Effective Modeling with Constraints [PDF] (www)
R. Barták. In Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein (eds.): Applications of Declarative Programming and Knowledge Management. Springer Verlag, LNCS/LNAI 3392, 2005, pp. 149-165 (ISBN: 978-3-540-25560-4, DOI: 10.1007/11415763_10)

An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems [PDF]
R. Barták, P. Surynek. In Ingrid Russell and Zdravko Markov (Eds.): Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2005). AAAI Press, Menlo Park, 2005, pp. 161-166.

Desk-mates (Stable Matching) with Privacy of Preferences, and a new Distributed CSP Framework [PDF]
Marius C. Silaghi and Amit Abhyankar, Markus Zanker, Roman Barták. In Ingrid Russell and Zdravko Markov (Eds.): Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2005). AAAI Press, Menlo Park, 2005, pp. 671-676.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - CPAIOR 2005
R. Barták, M. Milano (editors). Springer Verlag, LNCS 3524, 2005.

Incremental Propagation Rules for Precedence Graph with Optional Activities and Time Windows [PDF]
R. Barták, O. Cepek. In Chris Beck, Andrew Davenport, Toby Walsh (eds.): Proceedings of ICAPS Workshop on Constraint Programming for Planning and Scheduling, AAAI, 2005, pp. 5-11

Proceedings of the First International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS 2005)
R. Barták, L. McCluskey (editors). 2005

On Generators of Random Quasigroup Problems [PDF]
R. Barták. In Proceedings of Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, Uppsala, Sweden. 2005, pp. 264-278.

Incremental Propagation Rules for A Precedence Graph with Optional Activities and Time Windows [PDF]
R. Barták, O. Cepek. In Graham Kendall, Lei Lei, Michael Pinedo (eds.): Proceedings of The 2nd Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2005), Volume II, Stern School of Business, New York, 2005, pp. 552-560.

Minimal Perturbation Problem in Course Timetabling (www)
T. Müller, H. Rudová, R. Barták. In E. Burke and M. Trick (Eds.): Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers, LNCS 3616, pp. 126-146, 2005 (ISBN: 978-3-540-30705-1, DOI:000234857300008)

Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities
P. Vilím, R. Barták, O. Cepek. Constraints, Volume 10, Number 4, October 2005, p. 403-425

Double Precedence Graphs [PDF]
R. Barták, O. Cepek. In Proceedings of the 24th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG). London: City University, 2005, pp. 28-33.

Constraint Processing by Rina Dechter (book review)
R. Barták, Artificial Intelligence 169 (2005) 142-145.

Automated Search for Heuristic Functions (www)
P. Cejnar, R. Barták. In Peter Van Beek (ed.): Principles and Practice of Constraint Programming - CP 2005, LNCS 3709, Springer Verlag, p. 843, 2005 (ISBN: 978-3-540-29238-8, DOI:10.1007/11564751_81)

Encoding HTN Planning as a Dynamic CSP (www)
P. Surynek, R. Barták. In Peter Van Beek (ed.): Principles and Practice of Constraint Programming - CP 2005, LNCS 3709, Springer Verlag, p. 868, 2005 (ISBN: 978-3-540-29238-8, DOI:10.1007/11564751_106)

Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains (www)
J. Zlomek, R. Barták. In Peter Van Beek (ed.): Principles and Practice of Constraint Programming - CP 2005, LNCS 3709, Springer Verlag, p. 876, 2005 (ISBN: 978-3-540-29238-8, DOI:10.1007/11564751_114)

 

2004
 

Validating plans with durative actions via integrating Boolean and numerical constraints [PDF]
R. Barták. ITI Series 2004-184, Prague, 2004, 8 pages.

A new algorithm for maintaining arc consistency after constraint retraction
P. Surynek, R. Barták. ITI Series 2004-205, Prague, 2004.

On Generators of Random Quasigroup Problems
R. Barták. ITI Series 2004-223, Prague, 2004.

Propagating Deletions in Tabular Constraints
R. Barták. ITI Series 2004-224, Prague, 2004

Implementing Propagators for Tabular Constraints [PDF]
R. Barták, R. Mecl. In Recent Advances in Constraints, 2003. LNAI 3010, Springer Verlag, 2004, pp. 44-65.

A New Approach to Modelling and Solving Minimal Perturbation Problems [PDF]
R. Barták, T. Müller, H. Rudová. In Recent Advances in Constraints, 2003. LNAI 3010, Springer Verlag, 2004, p. 223-249.

A New Algorithm for Singleton Arc Consistency [PDF]
R. Barták, R. Erben. In V. Barr and Z. Markov (eds.): Proceedings of the Seventeenth International Florida AI Research Society Conference (FLAIRS 2004). AAAI Press, 2004, pp. 257-262.

Incomplete Depth-First Search Techniques: A Short Survey [PDF]
R. Barták. In J. Figwer (ed.): Proceedings of 6th Workshop on Constraint Programming for Decision and Control (CPDC2004), Gliwice, Poland, 2004, pp. 7-14.

Unary Resource Constraint with Optional Activities
P. Vilím, R. Barták, O. Cepek. In Mark Wallace (ed.): Principles and Practice of Constraint Programming (CP 2004). Springer Verlag, LNCS 3258, 2004, pp. 62-76.

A New Algorithm for Maintaining Arc Consistency After Constraint Retraction [PDF]
P. Surynek, R. Barták. In Mark Wallace (ed.): Principles and Practice of Constraint Programming (CP 2004). Springer Verlag, LNCS 3258, 2004, pp. 767-771.

Integrating Planning into Production Scheduling: A Formal View [PDF]
R. Barták. In M. Boddy, A. Cesta, S. Smith (eds.): Proceedings of ICAPS 2004 Workshop on Integrating Planning Into Scheduling, Whistler, Canada, 2004, pp. 1-8.

Propagating Deletions in Tabular Constraints [PDF]
R. Barták. In B. Faltings, F. Fages, F. Rossi, A. Petcu (eds.): Proceedings of CSCLP 2004: Joint Annual Workshop of ERCIM/CoLogNet on Constraint Solving and Constraint Logic Programming, Lausanne, Switzerland, 2004, pp. 204-214.

On Generators of Random Quasigroup Problems [PDF]
R. Barták. In B. Hnich, T. Walsh (eds.): Proceedings of ECAI 2004 Workshop on Modelling and Solving Problems with Constraints. Valencia, Spain, 2004, pp. 184-198.

A Flexible Constraint Model for Validating Plans with Durative Actions [PDF]
R. Barták. In L. Castillo, M.A. Salido (eds.): Proceedings of ECAI 2004 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems. Valencia, Spain, 2004, pp. 45-54.

Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics
T. Müller, R. Barták, H. Rudová, Iterative Forward Search: , In J. Pearson, M. Agren and M. Bohlin (eds.): Proceedings of LSCS'04 - International Workshop on Local Search Techniques in Constraint Satisfaction, Toronto, Canada, 2004, pp. 1-16. 11.

Desk-mates (Stable Matching) with Privacy of Preferences and a new Distributed CSP Framework
M.-C. Silaghi, M. Zanker, R. Barták. In R. Barták, U. Junker, M.-C. Silaghi and M. Zanker (eds.): Proceedings of the CP 2004 Workshop on CSP Techniques with Immediate Application (CSPIA), Toronto, Canada, 2004, pp. 83-96.

Conflict-based Statistics
T. Müller, R. Barták, H. Rudová. In J. Gottlieb, D. Landa Silva, N. Musliu, E. Soubeiga (eds.): Proceedings of Fourth EU/ME Workshop on Design and Evaluation of Advanced Hybrid Meta-heuristics, Nottingham, UK, 2004.

 

2003
 

Dynamic Global Constraints in Backtracking Based Environments [PDF]
R. Barták. Annals of Operations Research (2003), no. 118, p. 101-119.

Minimal Perturbation Problem - A Formal View [PDF]
R. Barták, T. Müller, H. Rudová. Neural Network World (2003), vol. 13, no. 5, p. 501-511.

Visopt ShopFloor: Going Beyond Traditional Scheduling [PDF]
R. Barták. In B. O'Sullivan, (ed.) Recent Advances in Constraints. LNAI 2627, Springer Verlag, 2003, p. 185-199.

Constraint-based Scheduling: An Introduction for Newcomers [PDF]
R. Barták. In Kadar, Monostori, and Morel (eds.) Intelligent Manufacturing Systems 2003. IFAC Publications, Elsevier Science, 2003, p. 69-74.

Visopt ShopFloor System: Integrating Planning into Production Scheduling [PDF]
R. Barták. In K. Golden and T. Vidal (eds.) Printed Notes of ICAPS'03 System Demos. Trento, 2003, p. 5-6.

Real-life Manufacturing Problems: A Challenge [PDF]
R. Barták. In J. Hoffmann and S. Edelkamp (eds.) Proceedings of ICAPS'03 Workshop on the Competition: Impact, Organization, Evaluation, Benchmarks. Trento, 2003, p. 38-42.

Integrating Planning into Production Scheduling: Visopt Shopfloor System [PDF]
R. Barták, R. Mecl. In G. Kendall; E. Burke; S. Petrovic (eds.) Proceedings of the 1st Multidisciplinary International Conference on Scheduling:Theory and Applications (MISTA). Nottingham, 2003, p. 259-278.

Implementing Propagators for Tabular Constraints [PDF]
R. Barták, R. Mecl. In K. Apt and F. Fages et. al. (eds.) Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop. Budapest, 2003, p. 69-83.

Minimal Perturbation Problem - A Formal View [PDF]
R. Barták, T. Müller, H. Rudová. In K. Apt and F. Fages et. al. (eds.) Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop. Budapest, 2003, p. 209-217.

Practical Constraints: A Tutorial on Modelling with Constraints [PDF]
R. Barták. In J. Figwer (ed.) Proceedings of the 5th Workshop on Constraint Programming for Decision and Control (CPDC 2003). Gliwice, 2003, p. 7-17.

A New Labeling Algorithm to Solve Minimal Perturbation Problems: A Preliminary Report [PDF]
R. Barták, T. Müller, H. Rudová. In Porteous, Julie (ed.) Proceedings of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG). Glasgow: University of Strathclyde, 2003, p. 1-11.

PLANET Technology Information Day [PDF]
R. Barták (ed.) ITI Series 2003-124, Prague, 2003, 16 pages.

Singleton Arc Consistency Revised [PDF]
R. Barták, R. Erben. ITI Series 2003-153, Prague, 2003, 13 pages.

 

2002
 

On Modelling Planning and Scheduling Problems with Time and Resources
Barták, R., in T. Grant & C. Witteveen (eds.): Proceedings of the 21th workshop of the UK Planning and Scheduling Special Interest Group (PLANSIG), 2002, pp. 87-98.

Constraint-Based Scheduling: An Introduction for Newcomers [PDF]
Barták, R., Technical Report TR 2002/2, Department of Theoretical Computer Science and Mathematical Logic, Charles University, 2002.

Modelling Resource Transitions in Constraint-Based Scheduling [PDF]
Barták, R., in W.I. Grosky, F. Plášil (eds.): Proceedings of SOFSEM 2002: Theory and Practice of Informatics, LNCS 2540, © Springer Verlag, 2002, pp. 186-194.

Modelling Soft Constraints: A Survey [PDF]
Barták, R., in Neural Network World, Vol. 12, Number 5, pp. 421-431, 2002.

Aplikace omezujících podmínek v rozvrhování (in Czech)
Barták, R., to appear in Pokroky matematiky, fyziky a astronomie, 2002.

Visopt ShopFloor: A Technology Overview
Barták, R., in Proceedings of CPDC2002 Workshop (invited talk), Gliwice, September 2002

Visopt ShopFloor: On the edge of planning and scheduling [PDF]
Barták, R., in Proceedings of CP2002, LNCS 2470, © Springer Verlag, Ithaca, 2002, pp. 587-602.

Interactive Timetabling: Concepts, Techniques, and Practical Results [PDF]
Muller, T., Barták, R., in E. Burke, P. De Causmaecker (eds.): Proceedings of the 4th International Conference on the Practice and Theory of Automated Timetabling (PATAT2002), Gent, 2002, pp. 58-72.

Modelling Planning and Scheduling Problems with Time and Resources [PDF]
Barták, R., in Recent Advances in Computers, Computing and Communications, WSEAS Press, Rethymnon, 2002, pp.104-109.

Modelling Transition Constraints [PDF]
Barták, R., in Proceedings of the ECAI workshop on Modelling and Solving Problems with Constraints, Lyon, 2002, pp. 3-10.

A Theoretical Framework for Constraint Hierarchy Solvers [PDF]
Barták, R., in F. van Harmelen (ed.): ECAI 2002. Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp. 146-150.

Visopt ShopFloor: On the edge of planning and scheduling [PDF]
Barták, R., in Proceedings of Joint Workshop of the ERCIM Working Group on Constraints and the CologNet area on Constraint and Logic Programming on Constraint Solving and Constraint Logic Programming, Cork 2002, pp. 180-189.

Filtering Algorithm Sequence Composition for Batch Processing with Sequence Dependent Setup Times [PDF]
Vilím, P., Barták, R., Technical Report TR 2002/1, Department of Theoretical Computer Science and Mathematical Logic, Charles University, 2002.

Integrated Modelling: When time and resources play a role [PDF]
Barták, R., in L. McCluskey (ed.) Proceedings of AIPS02 Workshop on Knowledge Engineering Tools and Techniques for AI Planning, Toulouse 2002, pp. 22-29.

Filtering Algorithms for Batch Processing with Sequence Dependent Setup Times [PDF]
Vilím, P., Barták, R., in M. Ghallab, J. Hertzberg, P. Traverso (eds.) Proceedings of The Sixth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2002), AAAI Press, Toulouse 2002, pp. 312-320.

 

2001
  Dynamic Global Constraints in Constraint Logic Programming [PostScript]
Barták, R., ITI Series 2001-018, Prague 2001

Integrated Modelling for Planning, Scheduling, and Timetabling Problems [PDF]
Barták, R., Rudová, H., in Proceedings of PLANSIG 2001, Edinburgh, UK, December 2001

Filtering Algorithms for Tabular Constraints [PDF]
Barták, R., in Proceedings of Colloqium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001), Paphos, Cyprus, pp. 168-182, December 2001

Theory and Practice of Constraint Propagation [PostScript]
Barták, R., in Proceedings of CPDC2001 Workshop (invited talk), pp. 7-14, Gliwice, June 2001
[Presentation]

Interactive Timetabling [PostScript]
Muller T., Barták, R., in Proceedings of ERCIM Workshop on Constraints, Prague, June 2001

Dynamic Global Constraints: A First View [PostScript]
Barták, R., in Proceedings of ERCIM Workshop on Constraints, Prague, June 2001 (revised version of CP-AI-OR2001)
[
Presentation]

Dynamic Global Constraints: A First View [
PostScript]
Barták, R., in Proceedings of CP-AI-OR 2001 Workshop, pp. 39-49, Wye College, April 2001
[Presentation]

 

2000
  Slot Models for Schedulers Enhanced by Planning Capabilities [PDF]
Barták, R., in Proceedings of the Nineteenth Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), Milton Keynes, UK, December 2000

Programovani s omezujícimi podminkami - na ceste ke svatemu gralu (in Czech) [PDF]
Barták, R., in Pokroky matematiky, fyziky a astronomie, rocnik 45 (2000), cislo 3, strana 218-231

A General Relation Constraint: An Implementation [PDF]
Barták, R., in Proceedings of CP2000 Post-Workshop on Techniques for Implementing Constraint Programming Systems (TRICS), Singapore, pp. 30-40, September 2000

Towards Mixed Planning and Scheduling [PDF]
Barták, R., in Proceedings of CPDC2000 Workshop (invited talk), Gliwice, June 2000

A Slot Representation of the Resource-Centric Models for Scheduling Problems [
PDF]
Barták, R., in Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop, Padova, June 2000

Dynamic Constraint Models for Planning and Scheduling Problems [
PDF]
Barták, R., in "New Trends in Constraints'' (Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, 1999), LNAI 1865, Springer Verlag, 2000, pp. 237-255.

Mixing Planning and Scheduling to Model Complex Process Environments [
PDF]
Barták, R., in Proceedings of PACLP 2000, pp.329-332, Manchester, UK, August 2000

Mixing Planning and Scheduling to Model Complex Process Environments [PDF]
Barták, R., Technical report 2000/1, Charles University, February 2000
extended version of the paper presented at PACLP 2000, 19 pages

 

1999
  Constraint Programming: A Survey of Solving Technology
Barták, R., in AIRONews journal, IV, n. 4 - Winter '99, pp. 7-11, Italy, 1999

On the Boundary of Planning and Scheduling: A Study [PDF]
Barták, R., in: Proceedings of the Eighteenth Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG), pp. 28-39, Manchester, UK, December 1999

Dynamic Constraint Models for Complex Production Environments [PDF]
Barták, R., in: Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop, Cyprus, October 1999

Conceptual Models for Combined Planning and Scheduling [PDF]
Barták, R., in: Proceedings of CP99 Workshop on Large Scale Combinatorial Optimisation and Constraints, pp. 2-14, Alexandria, VA, USA, October 1999
also in
Electronic Notes in Discrete Mathematics, Volume 4, Elsevier, 1999

Constraint Programming: What is behind? [PDF]
Barták, R., in: Proceedings of CPDC99 Workshop (invited talk), Gliwice, June 1999, pp. 7-15

Constraint Programming: In Pursuit of the Holy Grail [PDF]
Barták, R., in Proceedings of Week of Doctoral Students (WDS99), Part IV, MatFyzPress, Prague, June 1999, pp. 555-564.

VisOpt JobShop - The Solver behind the User Interaction [PDF, HTML]
Barták, R., White Paper, InSol Ltd., Israel, May 1999

 

1998
  Constraint Hierarchy Networks [PostScript]
Barták, R., in: Proceedings of 3rd ERCIM/Compulog Workshop on Constraints, Amsterdam, September 1998

Constructive Negation and Constraints [PostScript]
Barták, R., Extended Abstract, July 1998

Constructive Negation in CLP(H) [PostScript]
Barták, R., Tech. Report No 98/6, Department of Theoretical Computer Science, Charles University, Prague, July 1998

Inter-Hierarchy Comparison in HCLP [PostScript]
Barták, R., in: Proceedings of PAP/PACT '98, pp. 461-474, London, March 1998

 

1997
  A Generalized Framework for Constraint Planning [PostScript]
Barták, R., Tech. Report No 97/9, Department of Theoretical Computer Science, Charles University, Prague, June 1997

Extendible Meta-Interpreters [PostScript]
Barták, R. and Stepánek, P., in: Journal KYBERNETIKA, Volume 33 (1997), Number 3, pages 291-310

Expert Systems Based on Constraints [PDF (full in Czech), PostScript (English abstract)]
Barták, R., Doctoral Dissertation, Charles University, Prague, April 1997 (in Czech,  English summary available)

A Generalized Algorithm for Solving Constraint Hierarchies [PostScript]
Barták, R., accepted as poster to JFPLC '97, also available as Tech. Report No 97/1, Department of Theoretical Computer Science, Charles University, Prague, January 1997

A Plug-in Architecture of Constraint Hierarchy Solvers [PostScript]
Barták, R., in: Proceedings of PACT '97, pp. 359-371, London, April 1997

 

1996 and older
  A Plug-in Architecture of Constraint Hierarchy Solvers [PostScript]
Barták, R., Tech. Report No 96/8, Department of Theoretical Computer Science, Charles University, Prague, December 1996

Mega-Interpreters and Expert Systems [PostScript]
Barták, R. and Stepánek, P., presented as poster at PAP '96, London, April 1996

Meta-Interpreters and Expert Systems
Barták, R. and Stepánek, P., Tech. Report No 115, Department of Theoretical Computer Science, Charles University, Prague, October 1995

Meta-interpretation of logic programs
Barták, R., Diploma Thesis, Charles University, Prague, 1993 (in Czech)

I was also a contributing editor of Czech editions of popular computer magazines

I have written dozen of software and hardware reviews especially from the area of MacOS. Currently, I am specialize in application software, in particular content creation applications (graphic, DTP, multimedia and Web design).


[Home] [Resume] [Publications] [Presentations] [Projects] [Teaching]

[Search] [Guides]

Charles University
Malostranské nám. 25
Praha 1
CZECH REPUBLIC