|
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, 249279. 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, 247248. 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. 121132, 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. 582591 (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. 1731. (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]
|
