Prof. RNDr. Roman Barták, Ph.D.
Teaching: Tutorials
[Courses | Tutorials | Students]
I gave tutorials on topics from my research portfolio at international conferences. This a list of them, frequently with materials to download.
- Introduction to Constraint Satisfaction, ESSAI 2024
- Foundations of Automated Planning, ESSAI 2023
- Compilation-based approaches to planning and scheduling, SoCS 2020
- Multi-Agent Pathfinding: Models, Solvers, and Systems, ICAPS 2019
- Modeling Planning Tasks, AAMAS 2019
- Multi-Agent Pathfinding: Models, Solvers, and Systems, AAAI 2019
- Multi-Agent Pathfinding, AAMAS 2018
- Modelling Planning Domains, AAAI 2018
- Modeling and Solving AI Problems in Picat, AAAI 2017
- Constraint (Logic) Programming, AAAI 2016
- Automated Planning, AAMAS 2016
- Constraint-Based Temporal Reasoning, AAAI 2015
- Constraint Modeling for Planning, ICAPS 2015
- Constraint Processing: From Algorithms to Applications, ECAI 2014
- Constraint-Based Temporal Reasoning, ICAPS 2014
- Constraint (Logic) Programming, MICAI 2014, ASP Summer School 2014
- Constraint-Based Planning and Scheduling, ICAPS 2012 Summer School
- Constraint Processing for Planning and Scheduling, MICAI 2011
- Constraint Programming: From Algorithms to Applications, SAC 2011
- Constraint Programming: Principles and Applications, MICAI 2010
- Constraint-based Scheduling, CIsched 2009
- Constraint Processing for Planning & Scheduling, ICAPS 2008
- Constraint Processing for Planning and Scheduling, AAAI 2007
- Constraint Processing, IJCAI 2007
- Filtering Techniques in Planning and Scheduling, ICAPS 2006
- Constraint propagation and backtracking-based search, CP Summer School, 2005
- Programming with Logic and Constraints, ESSLLI 2005
- Constraint Processing, SAC 2005
- Constraint Satisfaction for Planning and Scheduling, ICAPS 2004
- Foundations of constraint satisfaction, IJCAI 2003
- Foundations of Constraint Programming, ETAPS 2003
- Foundations of Constraint Satisfaction, NASSLLI 2003
- Foundations of Constraint Satisfaction, ESSLLI 2002
Popular on-line guides:
Books:
- Roman Barták, Robert A. Morris, K. Brent Venable: An Introduction to Constraint-Based Temporal Reasoning, Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, 2014 [URL]
- Roman Barták: Co je nového v umělé inteligenci, Nová Beseda, 2017 (in Czech only) [URL]