Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Roman Barták
@inproceedings{DBLP:conf/icaart/MestekB24,
author = {Jakub Mestek and
Roman Bart{\'{a}}k},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Multi-Agent Path Finding: Policies Instead of Plans},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 1, Rome, Italy, February 24-26,
2024},
pages = {95--104},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012397200003636},
doi = {10.5220/0012397200003636},
timestamp = {Thu, 04 Apr 2024 15:53:04 +0200},
biburl = {https://dblp.org/rec/conf/icaart/MestekB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10726,
author = {Tom{\'{a}}s Balyo and
Martin Suda and
Luk{\'{a}}s Chrpa and
Dominik Safr{\'{a}}nek and
Filip Dvor{\'{a}}k and
Roman Bart{\'{a}}k and
G. Michael Youngblood},
title = {Learning Planning Action Models from State Traces},
journal = {CoRR},
volume = {abs/2402.10726},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10726},
doi = {10.48550/ARXIV.2402.10726},
eprinttype = {arXiv},
eprint = {2402.10726},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10726.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-12393,
author = {Tom{\'{a}}s Balyo and
G. Michael Youngblood and
Filip Dvor{\'{a}}k and
Roman Bart{\'{a}}k},
title = {On Automating Video Game Testing by Planning and Learning},
journal = {CoRR},
volume = {abs/2402.12393},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12393},
doi = {10.48550/ARXIV.2402.12393},
eprinttype = {arXiv},
eprint = {2402.12393},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/NatanKB23,
author = {Avraham Natan and
Meir Kalech and
Roman Bart{\'{a}}k},
title = {Diagnosis of intermittent faults in Multi-Agent Systems: An {SFL}
approach},
journal = {Artif. Intell.},
volume = {324},
pages = {103994},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103994},
doi = {10.1016/J.ARTINT.2023.103994},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/NatanKB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinBOBB23,
author = {Songtuan Lin and
Gregor Behnke and
Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {On Total-Order {HTN} Plan Verification with Method Preconditions -
An Extension of the {CYK} Parsing Algorithm},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {12041--12048},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i10.26420},
doi = {10.1609/AAAI.V37I10.26420},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LinBOBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/PantuckovaB23,
author = {Krist{\'{y}}na Pantuckov{\'{a}} and
Roman Bart{\'{a}}k},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1819--1826},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230469},
doi = {10.3233/FAIA230469},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/PantuckovaB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/OndrckovaBBB23,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher and
Gregor Behnke},
editor = {Michael Franklin and
Soon Ae Chun},
title = {Lessons Learned from the {CYK} Algorithm for Parsing-based Verification
of Hierarchical Plans},
booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2023, Clearwater Beach, FL,
USA, May 14-17, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.32473/flairs.36.133196},
doi = {10.32473/FLAIRS.36.133196},
timestamp = {Sat, 30 Sep 2023 09:41:17 +0200},
biburl = {https://dblp.org/rec/conf/flairs/OndrckovaBBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/PantuckovaOB23,
author = {Krist{\'{y}}na Pantuckov{\'{a}} and
Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k},
editor = {Michael Franklin and
Soon Ae Chun},
title = {Parsing-Based Recognition of Hierarchical Plans Using the Grammar
Constraint},
booktitle = {Proceedings of the Thirty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2023, Clearwater Beach, FL,
USA, May 14-17, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.32473/flairs.36.133367},
doi = {10.32473/FLAIRS.36.133367},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/flairs/PantuckovaOB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/OndrckovaBBB23,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher and
Gregor Behnke},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {On the Impact of Grounding on {HTN} Plan Verification via Parsing},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 3, Lisbon, Portugal, February
22-24, 2023},
pages = {92--99},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011618400003393},
doi = {10.5220/0011618400003393},
timestamp = {Tue, 09 May 2023 16:57:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/OndrckovaBBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SvancaraOHBS23,
author = {Jir{\'{\i}} Svancara and
Philipp Obermeier and
Matej Hus{\'{a}}r and
Roman Bart{\'{a}}k and
Torsten Schaub},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Multi-Agent Pathfinding on Large Maps Using Graph Pruning: This Way
or That Way?},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 1, Lisbon, Portugal, February
22-24, 2023},
pages = {199--206},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011625100003393},
doi = {10.5220/0011625100003393},
timestamp = {Tue, 09 May 2023 16:56:35 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SvancaraOHBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ChrpaBVV23,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka and
Marta Vomlelov{\'{a}}},
title = {Attributed Transition-Based Domain Control Knowledge for Domain-Independent
Planning (Extended Abstract)},
booktitle = {39th {IEEE} International Conference on Data Engineering, {ICDE} 2023,
Anaheim, CA, USA, April 3-7, 2023},
pages = {3879--3880},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICDE55515.2023.00366},
doi = {10.1109/ICDE55515.2023.00366},
timestamp = {Thu, 27 Jul 2023 14:59:05 +0200},
biburl = {https://dblp.org/rec/conf/icde/ChrpaBVV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/OndrckovaB23,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k},
title = {On Semantics of Hierarchical Planning Domain Models with Decomposition
Constraints and Empty Methods},
booktitle = {35th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2023, Atlanta, GA, USA, November 6-8, 2023},
pages = {349--353},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICTAI59109.2023.00057},
doi = {10.1109/ICTAI59109.2023.00057},
timestamp = {Tue, 09 Jan 2024 16:43:57 +0100},
biburl = {https://dblp.org/rec/conf/ictai/OndrckovaB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SvancaraTBSWK23,
author = {Jir{\'{\i}} Svancara and
Etienne Tignon and
Roman Bart{\'{a}}k and
Torsten Schaub and
Philipp Wanko and
Roland Kaminski},
editor = {Roman Bart{\'{a}}k and
Wheeler Ruml and
Oren Salzman},
title = {Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to
Wait, That Is the Question [Extended Abstract]},
booktitle = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
2023, July 14-16, 2023, Prague, Czech Republic},
pages = {185--186},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/socs.v16i1.27306},
doi = {10.1609/SOCS.V16I1.27306},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/SvancaraTBSWK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2023,
editor = {Roman Bart{\'{a}}k and
Wheeler Ruml and
Oren Salzman},
title = {Sixteenth International Symposium on Combinatorial Search, {SOCS}
2023, July 14-16, 2023, Prague, Czech Republic},
publisher = {{AAAI} Press},
year = {2023},
url = {https://ojs.aaai.org/index.php/SOCS/issue/view/565},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/socs/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChrpaBVV22,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka and
Marta Vomlelov{\'{a}}},
title = {Attributed Transition-Based Domain Control Knowledge for Domain-Independent
Planning},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {34},
number = {9},
pages = {4089--4101},
year = {2022},
url = {https://doi.org/10.1109/TKDE.2020.3037058},
doi = {10.1109/TKDE.2020.3037058},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ChrpaBVV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HusarSOBS22,
author = {Matej Hus{\'{a}}r and
Jir{\'{\i}} Svancara and
Philipp Obermeier and
Roman Bart{\'{a}}k and
Torsten Schaub},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Reduction-based Solving of Multi-agent Pathfinding on Large Maps Using
Graph Pruning},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {624--632},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p624.pdf},
doi = {10.5555/3535850.3535921},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HusarSOBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/OndrckovaBBB22,
author = {Simona Ondrckov{\'{a}} and
Roman Bart{\'{a}}k and
Pascal Bercher and
Gregor Behnke},
editor = {Roman Bart{\'{a}}k and
Fazel Keshtkar and
Michael Franklin},
title = {On Heuristics for Parsing-based Verification of Hierarchical Plans
with a Goal Task},
booktitle = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
Beach, Florida, USA, May 15-18, 2022},
year = {2022},
url = {https://doi.org/10.32473/flairs.v35i.130606},
doi = {10.32473/FLAIRS.V35I.130606},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/OndrckovaBBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SvancaraIB22,
author = {Jir{\'{\i}} Svancara and
Marika Ivanov{\'{a}} and
Roman Bart{\'{a}}k},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Coordinated Collision-free Movement of Groups of Agents},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 1, Online Streaming, February
3-5, 2022},
pages = {26--33},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010789100003116},
doi = {10.5220/0010789100003116},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SvancaraIB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SvancaraB22,
author = {Jir{\'{\i}} Svancara and
Roman Bart{\'{a}}k},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Tackling Train Routing via Multi-agent Pathfinding and Constraint-based
Scheduling},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 1, Online Streaming, February
3-5, 2022},
pages = {306--313},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010869700003116},
doi = {10.5220/0010869700003116},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SvancaraB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SvancaraOHBS22,
author = {Jir{\'{\i}} Svancara and
Philipp Obermeier and
Matej Hus{\'{a}}r and
Roman Bart{\'{a}}k and
Torsten Schaub},
editor = {Luk{\'{a}}s Chrpa and
Alessandro Saetti},
title = {Multi-agent Pathfinding on Large Maps Using Graph Pruning: This Way
or That Way? (Extended Abstract)},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial
Search, {SOCS} 2022, Vienna, Austria, July 21-23, 2022},
pages = {320--322},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/socs.v15i1.21799},
doi = {10.1609/SOCS.V15I1.21799},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/SvancaraOHBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2022,
editor = {Roman Bart{\'{a}}k and
Fazel Keshtkar and
Michael Franklin},
title = {Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2022, Hutchinson Island, Jensen
Beach, Florida, USA, May 15-18, 2022},
year = {2022},
url = {https://doi.org/10.32473/flairs.v35i},
doi = {10.32473/FLAIRS.V35I},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BartakM21,
author = {Roman Bart{\'{a}}k and
Jakub Mestek},
title = {OzoMorph: Demonstrating Colored Multi-Agent Path Finding on Real Robots},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {15991--15993},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i18.17990},
doi = {10.1609/AAAI.V35I18.17990},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BartakM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakIS21,
author = {Roman Bart{\'{a}}k and
Marika Ivanov{\'{a}} and
Jir{\'{\i}} Svancara},
editor = {Eric Bell and
Fazel Keshtkar},
title = {Colored Multi-Agent Path Finding: Solving Approaches},
booktitle = {Proceedings of the Thirty-Fourth International Florida Artificial
Intelligence Research Society Conference, North Miami Beach, Florida,
USA, May 17-19, 2021},
year = {2021},
url = {https://doi.org/10.32473/flairs.v34i1.128535},
doi = {10.32473/FLAIRS.V34I1.128535},
timestamp = {Wed, 26 Oct 2022 08:35:05 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakIS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/PantuckovaB21,
author = {Krist{\'{y}}na Pantuckov{\'{a}} and
Roman Bart{\'{a}}k},
editor = {Eric Bell and
Fazel Keshtkar},
title = {Compilation-Based Approaches to Parallel Planning: An Empirical Comparison},
booktitle = {Proceedings of the Thirty-Fourth International Florida Artificial
Intelligence Research Society Conference, North Miami Beach, Florida,
USA, May 17-19, 2021},
year = {2021},
url = {https://doi.org/10.32473/flairs.v34i1.128537},
doi = {10.32473/FLAIRS.V34I1.128537},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/PantuckovaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakOBB21,
author = {Roman Bart{\'{a}}k and
Simona Ondrckov{\'{a}} and
Gregor Behnke and
Pascal Bercher},
title = {On the Verification of Totally-Ordered {HTN} Plans},
booktitle = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
pages = {263--267},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICTAI52525.2021.00043},
doi = {10.1109/ICTAI52525.2021.00043},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/BartakOBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/NekvindaB21,
author = {Michal Nekvinda and
Roman Bart{\'{a}}k},
title = {Contingent Planning for Robust Multi-Agent Path Finding},
booktitle = {33rd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2021, Washington, DC, USA, November 1-3, 2021},
pages = {487--492},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICTAI52525.2021.00079},
doi = {10.1109/ICTAI52525.2021.00079},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/NekvindaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BartakOBB21,
author = {Roman Bart{\'{a}}k and
Simona Ondrckov{\'{a}} and
Gregor Behnke and
Pascal Bercher},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Correcting Hierarchical Plans by Action Deletion},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {99--109},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/10},
doi = {10.24963/KR.2021/10},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/BartakOBB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BartakIS21,
author = {Roman Bart{\'{a}}k and
Marika Ivanov{\'{a}} and
Jir{\'{\i}} Svancara},
editor = {Hang Ma and
Ivan Serina},
title = {From Classical to Colored Multi-Agent Path Finding},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {150--152},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18566},
doi = {10.1609/SOCS.V12I1.18566},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/BartakIS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/NekvindaBK21,
author = {Michal Nekvinda and
Roman Bart{\'{a}}k and
Meir Kalech},
editor = {Hang Ma and
Ivan Serina},
title = {Contingent Planning for Robust Multi-Agent Path Finding},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {185--187},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18578},
doi = {10.1609/SOCS.V12I1.18578},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/NekvindaBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AtzmonSFWBZ20,
author = {Dor Atzmon and
Roni Stern and
Ariel Felner and
Glenn Wagner and
Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
title = {Robust Multi-Agent Path Finding and Executing},
journal = {J. Artif. Intell. Res.},
volume = {67},
pages = {549--579},
year = {2020},
url = {https://doi.org/10.1613/jair.1.11734},
doi = {10.1613/JAIR.1.11734},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AtzmonSFWBZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BartakSK20,
author = {Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara and
Ivan Krasicenko},
title = {{MAPF} Scenario: Software for Evaluating {MAPF} Plans on Real Robots},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {13602--13603},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i09.7088},
doi = {10.1609/AAAI.V34I09.7088},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BartakSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TrundaB20,
author = {Otakar Trunda and
Roman Bart{\'{a}}k},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Deep Learning of Heuristics for Domain-independent Planning},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {79--88},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008950400790088},
doi = {10.5220/0008950400790088},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/TrundaB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SkopkovaBS20,
author = {Vera Skopkov{\'{a}} and
Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {What Does Multi-agent Path-finding Tell Us About Intelligent Intersections},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 1, Valletta, Malta, February 22-24,
2020},
pages = {250--257},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009098502500257},
doi = {10.5220/0009098502500257},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SkopkovaBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/TrundaB20a,
author = {Otakar Trunda and
Roman Bart{\'{a}}k},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Heuristic Learning in Domain-Independent Planning: Theoretical Analysis
and Experimental Evaluation},
booktitle = {Agents and Artificial Intelligence, 12th International Conference,
{ICAART} 2020, Valletta, Malta, February 22-24, 2020, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12613},
pages = {254--279},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-71158-0\_12},
doi = {10.1007/978-3-030-71158-0\_12},
timestamp = {Mon, 26 Jun 2023 20:44:19 +0200},
biburl = {https://dblp.org/rec/conf/icaart/TrundaB20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/VomlelovaVBC20,
author = {Marta Vomlelov{\'{a}} and
Jindrich Vodr{\'{a}}zka and
Roman Bart{\'{a}}k and
Luk{\'{a}}s Chrpa},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Automated Acquisition of Control Knowledge for Classical Planners},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {959--966},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009175209590966},
doi = {10.5220/0009175209590966},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/VomlelovaVBC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/VodrazkaBS20,
author = {Jindrich Vodr{\'{a}}zka and
Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara},
title = {On Modelling Multi-Agent Path Finding as a Classical Planning Problem},
booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
pages = {23--28},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICTAI50040.2020.00014},
doi = {10.1109/ICTAI50040.2020.00014},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/VodrazkaBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakOMBB20,
author = {Roman Bart{\'{a}}k and
Simona Ondrckov{\'{a}} and
Adrien Maillard and
Gregor Behnke and
Pascal Bercher},
title = {A Novel Parsing-based Approach for Verification of Hierarchical Plans},
booktitle = {32nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2020, Baltimore, MD, USA, November 9-11, 2020},
pages = {118--125},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICTAI50040.2020.00029},
doi = {10.1109/ICTAI50040.2020.00029},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/BartakOMBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/VodrazkaBS20,
author = {Jindrich Vodr{\'{a}}zka and
Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara},
editor = {Daniel Harabor and
Mauro Vallati},
title = {On Modelling Multi-Agent Path Finding as a Classical Planning Problem},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial
Search, {SOCS} 2020, Online Conference [Vienna, Austria], 26-28 May
2020},
pages = {141--142},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/socs.v11i1.18528},
doi = {10.1609/SOCS.V11I1.18528},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/VodrazkaBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2020,
editor = {Roman Bart{\'{a}}k and
Eric Bell},
title = {Proceedings of the Thirty-Third International Florida Artificial Intelligence
Research Society Conference, Originally to be held in North Miami
Beach, Florida, USA, May 17-20, 2020},
publisher = {{AAAI} Press},
year = {2020},
url = {https://www.aaai.org/Library/FLAIRS/flairs20contents.php},
isbn = {978-1-57735-821-3},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/BartakSSNK19,
author = {Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara and
Vera Skopkov{\'{a}} and
David Nohejl and
Ivan Krasicenko},
title = {Multi-agent path finding on real robots},
journal = {{AI} Commun.},
volume = {32},
number = {3},
pages = {175--189},
year = {2019},
url = {https://doi.org/10.3233/AIC-190621},
doi = {10.3233/AIC-190621},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/BartakSSNK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BartakBBR19,
author = {Roman Bart{\'{a}}k and
Eric Bell and
Keith Brawner and
Vasile Rus},
title = {Report on the Thirty-Second International Florida Artificial Intelligence
Research Society Conference {(FLAIRS-32)}},
journal = {{AI} Mag.},
volume = {40},
number = {4},
pages = {83--84},
year = {2019},
url = {https://doi.org/10.1609/aimag.v40i4.5199},
doi = {10.1609/AIMAG.V40I4.5199},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BartakBBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SvancaraVSAB19,
author = {Jir{\'{\i}} Svancara and
Marek Vlk and
Roni Stern and
Dor Atzmon and
Roman Bart{\'{a}}k},
title = {Online Multi-Agent Pathfinding},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {7732--7739},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33017732},
doi = {10.1609/AAAI.V33I01.33017732},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SvancaraVSAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BartakKS19,
author = {Roman Bart{\'{a}}k and
Ivan Krasicenko and
Jir{\'{\i}} Svancara},
editor = {Edith Elkind and
Manuela Veloso and
Noa Agmon and
Matthew E. Taylor},
title = {Multi-Agent Path Finding on Real Robots},
booktitle = {Proceedings of the 18th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} '19, Montreal, QC, Canada, May 13-17,
2019},
pages = {2333--2335},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2019},
url = {http://dl.acm.org/citation.cfm?id=3332103},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BartakKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakB19,
author = {Roman Bart{\'{a}}k and
Keith Brawner},
editor = {Roman Bart{\'{a}}k and
Keith W. Brawner},
title = {{FLAIRS-32} Poster Abstracts},
booktitle = {Proceedings of the Thirty-Second International Florida Artificial
Intelligence Research Society Conference, Sarasota, Florida, USA,
May 19-22 2019},
pages = {509},
publisher = {{AAAI} Press},
year = {2019},
url = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS19/paper/view/18321},
timestamp = {Wed, 26 Oct 2022 08:35:08 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SvancaraB19,
author = {Jir{\'{\i}} Svancara and
Roman Bart{\'{a}}k},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Combining Strengths of Optimal Multi-Agent Path Finding Algorithms},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 1, Prague, Czech Republic, February
19-21, 2019},
pages = {226--231},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007470002260231},
doi = {10.5220/0007470002260231},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SvancaraB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BartakKS19,
author = {Roman Bart{\'{a}}k and
Ivan Krasicenko and
Jir{\'{\i}} Svancara},
editor = {Sarit Kraus},
title = {Multi-Agent Path Finding on Ozobots},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {6491--6493},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/933},
doi = {10.24963/IJCAI.2019/933},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BartakKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BartakS19,
author = {Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara},
editor = {Pavel Surynek and
William Yeoh},
title = {On SAT-Based Approaches for Multi-Agent Path Finding with the Sum-of-Costs
Objective},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial
Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
pages = {10--17},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/socs.v10i1.18497},
doi = {10.1609/SOCS.V10I1.18497},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/BartakS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/SternSFK0WLA0KB19,
author = {Roni Stern and
Nathan R. Sturtevant and
Ariel Felner and
Sven Koenig and
Hang Ma and
Thayne T. Walker and
Jiaoyang Li and
Dor Atzmon and
Liron Cohen and
T. K. Satish Kumar and
Roman Bart{\'{a}}k and
Eli Boyarski},
editor = {Pavel Surynek and
William Yeoh},
title = {Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial
Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
pages = {151--158},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/socs.v10i1.18510},
doi = {10.1609/SOCS.V10I1.18510},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/SternSFK0WLA0KB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/2019,
editor = {Roman Bart{\'{a}}k and
Keith W. Brawner},
title = {Proceedings of the Thirty-Second International Florida Artificial
Intelligence Research Society Conference, Sarasota, Florida, USA,
May 19-22 2019},
publisher = {{AAAI} Press},
year = {2019},
url = {https://www.aaai.org/Library/FLAIRS/flairs19contents.php},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-08291,
author = {Roni Stern and
Nathan R. Sturtevant and
Ariel Felner and
Sven Koenig and
Hang Ma and
Thayne T. Walker and
Jiaoyang Li and
Dor Atzmon and
Liron Cohen and
T. K. Satish Kumar and
Eli Boyarski and
Roman Bart{\'{a}}k},
title = {Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks},
journal = {CoRR},
volume = {abs/1906.08291},
year = {2019},
url = {http://arxiv.org/abs/1906.08291},
eprinttype = {arXiv},
eprint = {1906.08291},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-08291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BrawnerRBM18,
author = {Keith Brawner and
Vasile Rus and
Roman Bart{\'{a}}k and
Zdravko Markov},
title = {Report on the Thirty-First International Florida Artificial Intelligence
Research Society Conference {(FLAIRS-31)}},
journal = {{AI} Mag.},
volume = {39},
number = {4},
pages = {23--24},
year = {2018},
url = {https://doi.org/10.1609/aimag.v39i4.2826},
doi = {10.1609/AIMAG.V39I4.2826},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BrawnerRBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BartakMC18,
author = {Roman Bart{\'{a}}k and
Adrien Maillard and
Rafael Cau{\^{e}} Cardoso},
title = {Validation of Hierarchical Plans via Parsing of Attribute Grammars},
booktitle = {The Workshops of the The Thirty-Second {AAAI} Conference on Artificial
Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018},
series = {{AAAI} Technical Report},
volume = {{WS-18}},
pages = {593--600},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/17004},
timestamp = {Mon, 04 Sep 2023 16:46:41 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BartakMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BartakMC18,
author = {Roman Bart{\'{a}}k and
Adrien Maillard and
Rafael Cau{\^{e}} Cardoso},
title = {Validation of Hierarchical Plans via Parsing of Attribute Grammars},
booktitle = {2018 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 26-28, 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17523},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaaiss/BartakMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BartakMC18,
author = {Roman Bart{\'{a}}k and
Adrien Maillard and
Rafael Cau{\^{e}} Cardoso},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {Validation of Hierarchical Plans via Parsing of Attribute Grammars},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {11--19},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17748},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/BartakMC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BartakSV18,
author = {Roman Bart{\'{a}}k and
Jiri Svancara and
Marek Vlk},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted
and Capacitated Arcs},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {748--756},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237494},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/BartakSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AtzmonSFWBZ18,
author = {Dor Atzmon and
Roni Stern and
Ariel Felner and
Glenn Wagner and
Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Robust Multi-Agent Path Finding},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1862--1864},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238004},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/AtzmonSFWBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakO18,
author = {Roman Bart{\'{a}}k and
David Obdrz{\'{a}}lek},
editor = {Keith Brawner and
Vasile Rus},
title = {Special Track on Autonomous Robots and Agents},
booktitle = {Proceedings of the Thirty-First International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2018, Melbourne, Florida, {USA.}
May 21-23 2018},
pages = {329},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS18/paper/view/17945},
timestamp = {Wed, 26 Oct 2022 08:35:09 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/BartakSSN18,
author = {Roman Bart{\'{a}}k and
Jir{\'{\i}} Svancara and
Vera Skopkov{\'{a}} and
David Nohejl},
editor = {Guillermo Ricardo Simari and
Eduardo Ferm{\'{e}} and
Flabio Guti{\'{e}}rrez Segura and
Jos{\'{e}} Antonio Rodr{\'{\i}}guez Melquiades},
title = {Multi-agent Path Finding on Real Robots: First Experience with Ozobots},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2018 - 16th Ibero-American
Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11238},
pages = {290--301},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03928-8\_24},
doi = {10.1007/978-3-030-03928-8\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/BartakSSN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkaw/KuceraB18,
author = {Jir{\'{\i}} Kucera and
Roman Bart{\'{a}}k},
editor = {Kenichi Yoshida and
Maria R. Lee},
title = {{LOUGA:} Learning Planning Operators Using Genetic Algorithms},
booktitle = {Knowledge Management and Acquisition for Intelligent Systems - 15th
Pacific Rim Knowledge Acquisition Workshop, {PKAW} 2018, Nanjing,
China, August 28-29, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11016},
pages = {124--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-97289-3\_10},
doi = {10.1007/978-3-319-97289-3\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/pkaw/KuceraB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AtzmonSFWBZ18,
author = {Dor Atzmon and
Roni Stern and
Ariel Felner and
Glenn Wagner and
Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
editor = {Vadim Bulitko and
Sabine Storandt},
title = {Robust Multi-Agent Path Finding},
booktitle = {Proceedings of the Eleventh International Symposium on Combinatorial
Search, {SOCS} 2018, Stockholm, Sweden - 14-15 July 2018},
pages = {2--9},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/socs.v9i1.18445},
doi = {10.1609/SOCS.V9I1.18445},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/AtzmonSFWBZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AndersonBBBEGGI17,
author = {Monica Anderson and
Roman Bart{\'{a}}k and
John S. Brownstein and
David L. Buckeridge and
Hoda Eldardiry and
Christopher W. Geib and
Maria L. Gini and
Aaron Isaksen and
Sarah Keren and
Robert Laddaga and
Viliam Lis{\'{y}} and
Rodney Martin and
David R. Martinez and
Martin Michalowski and
Loizos Michael and
Reuth Mirsky and
Thanh Hai Nguyen and
Michael J. Paul and
Enrico Pontelli and
Scott Sanner and
Arash Shaban{-}Nejad and
Arunesh Sinha and
Shirin Sohrabi and
Kumar Sricharan and
Biplav Srivastava and
Mark Stefik and
William W. Streilein and
Nathan R. Sturtevant and
Kartik Talamadupula and
Michael Thielscher and
Julian Togelius and
Tran Cao Son and
Long Tran{-}Thanh and
Neal Wagner and
Byron C. Wallace and
Szymon Wilk and
Jichen Zhu},
title = {Reports of the Workshops of the Thirty-First {AAAI} Conference on
Artificial Intelligence},
journal = {{AI} Mag.},
volume = {38},
number = {3},
pages = {72--82},
year = {2017},
url = {https://doi.org/10.1609/aimag.v38i3.2755},
doi = {10.1609/AIMAG.V38I3.2755},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/AndersonBBBEGGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BartakCDVZ17,
author = {Roman Bart{\'{a}}k and
Luk{\'{a}}s Chrpa and
Agostino Dovier and
Jindrich Vodr{\'{a}}zka and
Neng{-}Fa Zhou},
title = {Modeling and solving planning problems in tabled logic programming:
Experience from the Cave Diving domain},
journal = {Sci. Comput. Program.},
volume = {147},
pages = {54--77},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.04.007},
doi = {10.1016/J.SCICO.2017.04.007},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/BartakCDVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Bartak17,
author = {Roman Bart{\'{a}}k},
title = {Constraint Solving and Planning with Picat by Neng-Fa Zhou , H{\aa}kan
Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015.
Paperback, {ISBN} 978-3-319-25881-2},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {1},
pages = {118--120},
year = {2017},
url = {https://doi.org/10.1017/S1471068416000181},
doi = {10.1017/S1471068416000181},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Bartak17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/VlkBH17,
author = {Marek Vlk and
Roman Bart{\'{a}}k and
Zdenek Hanz{\'{a}}lek},
title = {Minimization of useless work in resource failure recovery of workflow
schedules},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--8},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247624},
doi = {10.1109/ETFA.2017.8247624},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/VlkBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakV17,
author = {Roman Bart{\'{a}}k and
Marta Vomlelov{\'{a}}},
editor = {Vasile Rus and
Zdravko Markov},
title = {Using Machine Learning to Identify Activities of a Flying Drone from
Sensor Readings},
booktitle = {Proceedings of the Thirtieth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2017, Marco Island, Florida,
USA, May 22-24, 2017},
pages = {436--441},
publisher = {{AAAI} Press},
year = {2017},
url = {https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15488},
timestamp = {Wed, 26 Oct 2022 08:35:10 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZhouB17,
author = {Neng{-}Fa Zhou and
Roman Bart{\'{a}}k},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {// Efficient Declarative Solutions in Picat for Optimal Multi-Agent
Pathfinding},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {11:1--11:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.11},
doi = {10.4230/OASICS.ICLP.2017.11},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ZhouB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakZSBS17,
author = {Roman Bart{\'{a}}k and
Neng{-}Fa Zhou and
Roni Stern and
Eli Boyarski and
Pavel Surynek},
title = {Modeling and Solving the Multi-agent Pathfinding Problem in Picat},
booktitle = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
pages = {959--966},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICTAI.2017.00147},
doi = {10.1109/ICTAI.2017.00147},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictai/BartakZSBS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BartakM17,
author = {Roman Bart{\'{a}}k and
Adrien Maillard},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Attribute grammars with set attributes and global constraints as a
unifying framework for planning domain models},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {39--48},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131858},
doi = {10.1145/3131851.3131858},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/BartakM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robot/SkodaB17,
author = {Jan Skoda and
Roman Bart{\'{a}}k},
editor = {An{\'{\i}}bal Ollero and
Alberto Sanfeliu and
Luis Montano and
Nuno Lau and
Carlos B. Cardeira},
title = {3D Navigation for a Mobile Robot},
booktitle = {{ROBOT} 2017: Third Iberian Robotics Conference - Volume 2, Seville,
Spain, November 22-24, 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {694},
pages = {345--356},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70836-2\_29},
doi = {10.1007/978-3-319-70836-2\_29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/robot/SkodaB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/AtzmonFSWBZ17,
author = {Dor Atzmon and
Ariel Felner and
Roni Stern and
Glenn Wagner and
Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
editor = {Alex Fukunaga and
Akihiro Kishimoto},
title = {k-Robust Multi-Agent Path Finding},
booktitle = {Proceedings of the Tenth International Symposium on Combinatorial
Search, {SOCS} 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, {USA}},
pages = {157--158},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/socs.v8i1.18415},
doi = {10.1609/SOCS.V8I1.18415},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/AtzmonFSWBZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/CernyBBG16,
author = {Martin Cern{\'{y}} and
Roman Bart{\'{a}}k and
Cyril Brom and
Jakub Gemrot},
title = {To Plan or to Simply React? An Experimental Study of Action Planning
in a Game Environment},
journal = {Comput. Intell.},
volume = {32},
number = {4},
pages = {668--710},
year = {2016},
url = {https://doi.org/10.1111/coin.12079},
doi = {10.1111/COIN.12079},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ci/CernyBBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BartakV16,
author = {Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka},
title = {An Experimental Study of Influence of Modeling and Solving Techniques
on Performance of a Tabled Logic Programming Planner},
journal = {Fundam. Informaticae},
volume = {149},
number = {1-2},
pages = {35--60},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1442},
doi = {10.3233/FI-2016-1442},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BartakV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/SalidoB16,
author = {Miguel A. Salido and
Roman Bart{\'{a}}k},
title = {Introduction to the special issue on constraint satisfaction for planning
and scheduling},
journal = {Knowl. Eng. Rev.},
volume = {31},
number = {5},
pages = {415--416},
year = {2016},
url = {https://doi.org/10.1017/S0269888917000017},
doi = {10.1017/S0269888917000017},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/SalidoB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/BortoliBDZ16,
author = {Marco De Bortoli and
Roman Bart{\'{a}}k and
Agostino Dovier and
Neng{-}Fa Zhou},
editor = {Camillo Fiorentini and
Alberto Momigliano},
title = {Compiling and Executing {PDDL} in Picat},
booktitle = {Proceedings of the 31st Italian Conference on Computational Logic,
Milano, Italy, June 20-22, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1645},
pages = {132--147},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1645/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BortoliBDZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakV16,
author = {Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka},
editor = {Zdravko Markov and
Ingrid Russell},
title = {Domain Modeling for Planning as Logic Programming},
booktitle = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2016, Key Largo, Florida, USA,
May 16-18, 2016},
pages = {8--13},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12942},
timestamp = {Wed, 26 Oct 2022 08:35:12 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakK16,
author = {Roman Bart{\'{a}}k and
Vladislav Kubon},
editor = {Zdravko Markov and
Ingrid Russell},
title = {On Similarities Between Workflow Verification and Grammar Checking},
booktitle = {Proceedings of the Twenty-Ninth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2016, Key Largo, Florida, USA,
May 16-18, 2016},
pages = {585--590},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12946},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/VodrazkaB16,
author = {Jindrich Vodr{\'{a}}zka and
Roman Bart{\'{a}}k},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {The Benefit of Control Knowledge and Heuristics During Search in Planning},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
2016},
pages = {552--559},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005828005520559},
doi = {10.5220/0005828005520559},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/VodrazkaB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakDZ16,
author = {Roman Bart{\'{a}}k and
Agostino Dovier and
Neng{-}Fa Zhou},
title = {Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc
Usage: Complexity and Models},
booktitle = {28th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2016, San Jose, CA, USA, November 6-8, 2016},
pages = {91--97},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICTAI.2016.0024},
doi = {10.1109/ICTAI.2016.0024},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BartakDZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BartakKO16,
author = {Roman Bart{\'{a}}k and
Michal Koutn{\'{y}} and
David Obdrz{\'{a}}lek},
editor = {Subbarao Kambhampati},
title = {Practical 3D Tracking Using Low-Cost Cameras},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4236--4237},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/638},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BartakKO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BartakZD16,
author = {Roman Bart{\'{a}}k and
Neng{-}Fa Zhou and
Agostino Dovier},
editor = {Roman Bart{\'{a}}k and
Thomas Leo McCluskey and
Enrico Pontelli},
title = {Multiple-Origin-Multiple-Destination Path Finding with Minimal Arc
Usage: Complexity and Models},
booktitle = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
Solving and Reasoning co-located with 25th International Joint Conference
on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1648},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1648/paper4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:32 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BartakZD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BartakV16,
author = {Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka},
title = {The Effect of Domain Modeling on Efficiency of Planning},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016},
year = {2016},
url = {https://isaim2016.cs.ou.edu/papers/ISAIM2016\_Bartak\_Vodrazka.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BartakV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChrpaB16,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Guiding Planning Engines by Transition-Based Domain Control Knowledge},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {545--548},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12806},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChrpaB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BartakK16,
author = {Roman Bart{\'{a}}k and
Vladislav Kubon},
editor = {Grigori Sidorov and
Oscar Herrera{-}Alc{\'{a}}ntara},
title = {Using a Grammar Checker to Validate Compliance of Processes with Workflow
Models},
booktitle = {Advances in Computational Intelligence - 15th Mexican International
Conference on Artificial Intelligence, {MICAI} 2016, Canc{\'{u}}n,
Mexico, October 23-28, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10061},
pages = {317--331},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62434-1\_27},
doi = {10.1007/978-3-319-62434-1\_27},
timestamp = {Mon, 28 Aug 2023 21:17:11 +0200},
biburl = {https://dblp.org/rec/conf/micai/BartakK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BartakD16,
author = {Roman Bart{\'{a}}k and
Tom{\'{a}}s Dvor{\'{a}}k},
editor = {Grigori Sidorov and
Oscar Herrera{-}Alc{\'{a}}ntara},
title = {On Verification of Workflow and Planning Domain Models Using Attribute
Grammars},
booktitle = {Advances in Computational Intelligence - 15th Mexican International
Conference on Artificial Intelligence, {MICAI} 2016, Canc{\'{u}}n,
Mexico, October 23-28, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10061},
pages = {332--345},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62434-1\_28},
doi = {10.1007/978-3-319-62434-1\_28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/BartakD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BartakV16,
author = {Roman Bart{\'{a}}k and
Marek Vlk},
editor = {Grigori Sidorov and
Oscar Herrera{-}Alc{\'{a}}ntara},
title = {Hierarchical Task Model for Resource Failure Recovery in Production
Scheduling},
booktitle = {Advances in Computational Intelligence - 15th Mexican International
Conference on Artificial Intelligence, {MICAI} 2016, Canc{\'{u}}n,
Mexico, October 23-28, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10061},
pages = {362--378},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-62434-1\_30},
doi = {10.1007/978-3-319-62434-1\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/BartakV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/JelinekB16,
author = {Jan Jel{\'{\i}}nek and
Roman Bart{\'{a}}k},
editor = {Marco Gavanelli and
John H. Reppy},
title = {Using Constraint Logic Programming to Schedule Solar Array Operations
on the International Space Station},
booktitle = {Practical Aspects of Declarative Languages - 18th International Symposium,
{PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9585},
pages = {3--12},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28228-2\_1},
doi = {10.1007/978-3-319-28228-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/JelinekB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Bartak16,
author = {Roman Bart{\'{a}}k},
editor = {Rusins Martins Freivalds and
Gregor Engels and
Barbara Catania},
title = {Using Attribute Grammars to Model Nested Workflows with Extra Constraints},
booktitle = {{SOFSEM} 2016: Theory and Practice of Computer Science - 42nd International
Conference on Current Trends in Theory and Practice of Computer Science,
Harrachov, Czech Republic, January 23-28, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9587},
pages = {171--182},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49192-8\_14},
doi = {10.1007/978-3-662-49192-8\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Bartak16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016knowpros,
editor = {Roman Bart{\'{a}}k and
Thomas Leo McCluskey and
Enrico Pontelli},
title = {Proceedings of the Workshop on Knowledge-based Techniques for Problem
Solving and Reasoning co-located with 25th International Joint Conference
on Artificial Intelligence {(IJCAI} 2016), New York City, USA, July
10, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1648},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1648},
urn = {urn:nbn:de:0074-1648-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/2016knowpros.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/DvorakTB15,
author = {Filip Dvorak and
Daniel Toropila and
Roman Bart{\'{a}}k},
title = {Yet more planning efficiency: Finite-domain state-variable reformulation},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {27},
number = {5},
pages = {543--576},
year = {2015},
url = {https://doi.org/10.1080/0952813X.2014.993504},
doi = {10.1080/0952813X.2014.993504},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jetai/DvorakTB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZhouBD15,
author = {Neng{-}Fa Zhou and
Roman Bart{\'{a}}k and
Agostino Dovier},
title = {Planning as tabled logic programming},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {543--558},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000216},
doi = {10.1017/S1471068415000216},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/ZhouBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/BartakV15,
author = {Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {Searching for Sequential Plans Using Tabled Logic Programming},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {A} workshop of the {XIV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2015),
Ferrara, Italy, September 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1451},
pages = {24--38},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/BartakV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SkodaB15,
author = {Jan Skoda and
Roman Bart{\'{a}}k},
editor = {Ingrid Russell and
William Eberle},
title = {Camera-Based Localization and Stabilization of a Flying Drone},
booktitle = {Proceedings of the Twenty-Eighth International Florida Artificial
Intelligence Research Society Conference, {FLAIRS} 2015, Hollywood,
Florida, USA, May 18-20, 2015},
pages = {372--378},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS15/paper/view/10398},
timestamp = {Wed, 26 Oct 2022 08:35:13 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SkodaB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BartakV15,
author = {Roman Bart{\'{a}}k and
Marek Vlk},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Reactive Recovery from Machine Breakdown in Production Scheduling
with Temporal Distance and Resource Constraints},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {119--130},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BartakV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BartakV15a,
author = {Roman Bart{\'{a}}k and
Marek Vlk},
editor = {B{\'{e}}atrice Duval and
H. Jaap van den Herik and
St{\'{e}}phane Loiseau and
Joaquim Filipe},
title = {Machine Breakdown Recovery in Production Scheduling with Simple Temporal
Constraints},
booktitle = {Agents and Artificial Intelligence - 7th International Conference,
{ICAART} 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9494},
pages = {185--206},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27947-3\_10},
doi = {10.1007/978-3-319-27947-3\_10},
timestamp = {Tue, 16 Aug 2022 23:04:29 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BartakV15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BartakV15,
author = {Roman Bart{\'{a}}k and
Adam Vykovsky},
editor = {Grigori Sidorov and
Sof{\'{\i}}a N. Galicia{-}Haro and
Obdulia Pichardo{-}Lagunas and
Oscar Herrera{-}Alc{\'{a}}ntara and
Gustavo Arroyo{-}Figueroa},
title = {Any Object Tracking and Following by a Flying Drone},
booktitle = {Fourteenth Mexican International Conference on Artificial Intelligence,
{MICAI} 2015, Cuernavaca, Mexico, October 25-31, 2015},
pages = {35--41},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/MICAI.2015.12},
doi = {10.1109/MICAI.2015.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micai/BartakV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/MatznerB15,
author = {Filip Matzner and
Roman Bart{\'{a}}k},
editor = {Obdulia Pichardo{-}Lagunas and
Oscar Herrera{-}Alc{\'{a}}ntara and
Gustavo Arroyo{-}Figueroa},
title = {Short-Term Motion Tracking Using Inexpensive Sensors},
booktitle = {Advances in Artificial Intelligence and Its Applications - 14th Mexican
International Conference on Artificial Intelligence, {MICAI} 2015,
Cuernavaca, Morelos, Mexico, October 25-31, 2015. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9414},
pages = {583--601},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27101-9\_45},
doi = {10.1007/978-3-319-27101-9\_45},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/MatznerB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BartakDZ15,
author = {Roman Bart{\'{a}}k and
Agostino Dovier and
Neng{-}Fa Zhou},
editor = {Moreno Falaschi and
Elvira Albert},
title = {On modeling planning problems in tabled logic programming},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {31--42},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790521},
doi = {10.1145/2790449.2790521},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BartakDZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BalyoB15,
author = {Tom{\'{a}}s Balyo and
Roman Bart{\'{a}}k},
editor = {Levi Lelis and
Roni Stern},
title = {No One SATPlan Encoding To Rule Them All},
booktitle = {Proceedings of the Eighth Annual Symposium on Combinatorial Search,
{SOCS} 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel},
pages = {146--150},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/socs.v6i1.18371},
doi = {10.1609/SOCS.V6I1.18371},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/BalyoB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taai/BartakV15,
author = {Roman Bart{\'{a}}k and
Jindrich Vodr{\'{a}}zka},
title = {The effect of domain modeling on efficiency of planning: Lessons from
the Nomystery domain},
booktitle = {Conference on Technologies and Applications of Artificial Intelligence,
{TAAI} 2015, Tainan, Taiwan, November 20-22, 2015},
pages = {433--440},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/TAAI.2015.7407131},
doi = {10.1109/TAAI.2015.7407131},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/taai/BartakV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhouBD15,
author = {Neng{-}Fa Zhou and
Roman Bart{\'{a}}k and
Agostino Dovier},
title = {Planning as Tabled Logic Programming},
journal = {CoRR},
volume = {abs/1507.03979},
year = {2015},
url = {http://arxiv.org/abs/1507.03979},
eprinttype = {arXiv},
eprint = {1507.03979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhouBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2014Bartak,
author = {Roman Bart{\'{a}}k and
Robert A. Morris and
Kristen Brent Venable},
title = {An Introduction to Constraint-Based Temporal Reasoning},
series = {Synthesis Lectures on Artificial Intelligence and Machine Learning},
publisher = {Morgan {\&} Claypool Publishers},
year = {2014},
url = {https://doi.org/10.2200/S00557ED1V01Y201312AIM026},
doi = {10.2200/S00557ED1V01Y201312AIM026},
isbn = {978-3-031-00439-1},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2014Bartak.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/BartakR14,
author = {Roman Bart{\'{a}}k and
Vladim{\'{\i}}r Rovensk{\'{y}}},
title = {On verification of nested workflows with extra constraints: From theory
to practice},
journal = {Expert Syst. Appl.},
volume = {41},
number = {3},
pages = {904--918},
year = {2014},
url = {https://doi.org/10.1016/j.eswa.2013.08.021},
doi = {10.1016/J.ESWA.2013.08.021},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eswa/BartakR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BartakZ14,
author = {Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
title = {Using Tabled Logic Programming to Solve the Petrobras Planning Problem},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {697--710},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000295},
doi = {10.1017/S1471068414000295},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BartakZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/CernyBBA14,
author = {Martin Cern{\'{y}} and
Cyril Brom and
Roman Bart{\'{a}}k and
Martin Antos},
editor = {Ian Horswill and
Arnav Jhala},
title = {Spice It Up! Enriching Open World {NPC} Simulation Using Constraint
Satisfaction},
booktitle = {Proceedings of the Tenth {AAAI} Conference on Artificial Intelligence
and Interactive Digital Entertainment, {AIIDE} 2014, October 3-7,
2014, North Carolina State University, Raleigh, NC, {USA}},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE14/paper/view/8995},
timestamp = {Wed, 10 Feb 2021 22:01:16 +0100},
biburl = {https://dblp.org/rec/conf/aiide/CernyBBA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/VodrazkaB14,
author = {Jindrich Vodr{\'{a}}zka and
Roman Bart{\'{a}}k},
editor = {Gennady Agre and
Pascal Hitzler and
Adila Alfa Krisnadhi and
Sergei O. Kuznetsov},
title = {On Modeling Formalisms for Automated Planning},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications -
16th International Conference, {AIMSA} 2014, Varna, Bulgaria, September
11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8722},
pages = {270--277},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10554-3\_28},
doi = {10.1007/978-3-319-10554-3\_28},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/VodrazkaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/TrundaB14,
author = {Otakar Trunda and
Roman Bart{\'{a}}k},
editor = {Joaquin Vanschoren and
Pavel Brazdil and
Carlos Soares and
Lars Kotthoff},
title = {Determining a Proper Initial Configuration of Red-Black Planning by
Machine Learning},
booktitle = {Proceedings of the International Workshop on Meta-learning and Algorithm
Selection co-located with 21st European Conference on Artificial Intelligence,
MetaSel@ECAI 2014, Prague, Czech Republic, August 19, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1201},
pages = {51--52},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1201/paper-12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/ecai/TrundaB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakHO14,
author = {Roman Bart{\'{a}}k and
Andrej Hrasko and
David Obdrz{\'{a}}lek},
editor = {William Eberle and
Chutima Boonthum{-}Denecke},
title = {On Autonomous Landing of AR.Drone: Hands-On Experience},
booktitle = {Proceedings of the Twenty-Seventh International Florida Artificial
Intelligence Research Society Conference, {FLAIRS} 2014, Pensacola
Beach, Florida, USA, May 21-23, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS14/paper/view/7870},
timestamp = {Wed, 26 Oct 2022 08:35:14 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakO14,
author = {Roman Bart{\'{a}}k and
David Obdrz{\'{a}}lek},
editor = {William Eberle and
Chutima Boonthum{-}Denecke},
title = {Special Track on Intelligent Autonomous Systems},
booktitle = {Proceedings of the Twenty-Seventh International Florida Artificial
Intelligence Research Society Conference, {FLAIRS} 2014, Pensacola
Beach, Florida, USA, May 21-23, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS14/paper/view/8684},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DvorakBBIG14,
author = {Filip Dvorak and
Roman Bart{\'{a}}k and
Arthur Bit{-}Monnot and
F{\'{e}}lix Ingrand and
Malik Ghallab},
title = {Planning and Acting with Temporal and Hierarchical Decomposition Models},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {115--121},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.27},
doi = {10.1109/ICTAI.2014.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/DvorakBBIG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/KolomboB14,
author = {Martin Kolombo and
Roman Bart{\'{a}}k},
editor = {Alexander F. Gelbukh and
F{\'{e}}lix Castro{-}Espinoza and
Sof{\'{\i}}a N. Galicia{-}Haro},
title = {A Constraint-Based Planner for Mars Express Orbiter},
booktitle = {Nature-Inspired Computation and Machine Learning - 13th Mexican International
Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
Mexico, November 16-22, 2014. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8857},
pages = {451--463},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13650-9\_39},
doi = {10.1007/978-3-319-13650-9\_39},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/KolomboB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/Bartak14,
author = {Roman Bart{\'{a}}k},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Planning and Scheduling},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {39: 1--14},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/Bartak14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/socs/2014,
editor = {Stefan Edelkamp and
Roman Bart{\'{a}}k},
title = {Proceedings of the Seventh Annual Symposium on Combinatorial Search,
{SOCS} 2014, Prague, Czech Republic, 15-17 August 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {https://ojs.aaai.org/index.php/SOCS/issue/view/434},
isbn = {978-1-57735-676-9},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socs/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BartakZ14,
author = {Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
title = {Using Tabled Logic Programming to Solve the Petrobras Planning Problem},
journal = {CoRR},
volume = {abs/1405.2501},
year = {2014},
url = {http://arxiv.org/abs/1405.2501},
eprinttype = {arXiv},
eprint = {1405.2501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BartakZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BartakCKZ13,
author = {Roman Bart{\'{a}}k and
Radom{\'{\i}}r Cernoch and
Ondrej Kuzelka and
Filip Zelezn{\'{y}}},
title = {Formulating the template {ILP} consistency problem as a constraint
satisfaction problem},
journal = {Constraints An Int. J.},
volume = {18},
number = {2},
pages = {144--165},
year = {2013},
url = {https://doi.org/10.1007/s10601-013-9141-7},
doi = {10.1007/S10601-013-9141-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BartakCKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/BartakFM13,
author = {Roman Bart{\'{a}}k and
Simone Fratini and
Thomas Leo McCluskey},
title = {Preface to special issue on Knowledge Engineering for Planning and
Scheduling},
journal = {Knowl. Eng. Rev.},
volume = {28},
number = {2},
pages = {117--119},
year = {2013},
url = {https://doi.org/10.1017/S0269888912000379},
doi = {10.1017/S0269888912000379},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/BartakFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Bartak13,
author = {Roman Bart{\'{a}}k},
editor = {Chutima Boonthum{-}Denecke and
G. Michael Youngblood},
title = {Simplifying Verification of Nested Workflows with Extra Constraints},
booktitle = {Proceedings of the Twenty-Sixth International Florida Artificial Intelligence
Research Society Conference, {FLAIRS} 2013, St. Pete Beach, Florida,
USA, May 22-24, 2013},
publisher = {{AAAI} Press},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS13/paper/view/5833},
timestamp = {Wed, 26 Oct 2022 08:35:16 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Bartak13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BartakBCG13,
author = {Roman Bart{\'{a}}k and
Cyril Brom and
Martin Cern{\'{y}} and
Jakub Gemrot},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Planning and Reactive Agents in Dynamic Game Environments - An Experimental
Study},
booktitle = {{ICAART} 2013 - Proceedings of the 5th International Conference on
Agents and Artificial Intelligence, Volume 1, Barcelona, Spain, 15-18
February, 2013},
pages = {234--240},
publisher = {SciTePress},
year = {2013},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/BartakBCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/TrundaB13,
author = {Otakar Trunda and
Roman Bart{\'{a}}k},
editor = {F{\'{e}}lix Castro{-}Espinoza and
Alexander F. Gelbukh and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {Using Monte Carlo Tree Search to Solve Planning Problems in Transportation
Domains},
booktitle = {Advances in Soft Computing and Its Applications - 12th Mexican International
Conference on Artificial Intelligence, {MICAI} 2013, Mexico City,
Mexico, November 24-30, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8266},
pages = {435--449},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45111-9\_38},
doi = {10.1007/978-3-642-45111-9\_38},
timestamp = {Wed, 04 May 2022 08:39:24 +0200},
biburl = {https://dblp.org/rec/conf/micai/TrundaB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BartakZ13,
author = {Roman Bart{\'{a}}k and
Neng{-}Fa Zhou},
editor = {F{\'{e}}lix Castro{-}Espinoza and
Alexander F. Gelbukh and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {On Modeling Planning Problems: Experience from the Petrobras Challenge},
booktitle = {Advances in Soft Computing and Its Applications - 12th Mexican International
Conference on Artificial Intelligence, {MICAI} 2013, Mexico City,
Mexico, November 24-30, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8266},
pages = {466--477},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45111-9\_40},
doi = {10.1007/978-3-642-45111-9\_40},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micai/BartakZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/DvorakTB13,
author = {Filip Dvorak and
Daniel Toropila and
Roman Bart{\'{a}}k},
editor = {Alan M. Frisch and
Peter Gregory},
title = {Towards {AI} Planning Efficiency: Finite-Domain State Variable Reformulation},
booktitle = {Proceedings of the Tenth Symposium on Abstraction, Reformulation,
and Approximation, {SARA} 2013, 11-12 July 2013, Leavenworth, Washington,
{USA}},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA13/paper/view/7257},
timestamp = {Tue, 09 Feb 2021 08:32:52 +0100},
biburl = {https://dblp.org/rec/conf/sara/DvorakTB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiide/KadlecTCBB12,
author = {Rudolf Kadlec and
Csaba T{\'{o}}th and
Martin Cern{\'{y}} and
Roman Bart{\'{a}}k and
Cyril Brom},
editor = {Mark O. Riedl and
Gita Sukthankar},
title = {Planning Is the Game: Action Planning as a Design Tool and Game Mechanism},
booktitle = {Proceedings of the Eighth {AAAI} Conference on Artificial Intelligence
and Interactive Digital Entertainment, AIIDE-12, Stanford, California,
USA, October 8-12, 2012},
publisher = {The {AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5465},
timestamp = {Tue, 12 Apr 2022 13:09:30 +0200},
biburl = {https://dblp.org/rec/conf/aiide/KadlecTCBB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ChovanecB12,
author = {Andrej Chovanec and
Roman Bart{\'{a}}k},
editor = {Allan Ramsay and
Gennady Agre},
title = {Decomposition, Merging, and Refinement Approach to Boost Inductive
Logic Programming Algorithms},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications -
15th International Conference, {AIMSA} 2012, Varna, Bulgaria, September
12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7557},
pages = {184--194},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33185-5\_21},
doi = {10.1007/978-3-642-33185-5\_21},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/ChovanecB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BartakJNRSCSD12,
author = {Roman Bart{\'{a}}k and
Milan Jaska and
Ladislav Novak and
Vladim{\'{\i}}r Rovensk{\'{y}} and
Tom{\'{a}}s Skalick{\'{y}} and
Martin Cully and
Con Sheahan and
Thanh{-}Tung Dang},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing
Planners},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {1003--1004},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-1003},
doi = {10.3233/978-1-61499-098-7-1003},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BartakJNRSCSD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakDGBT12,
author = {Roman Bart{\'{a}}k and
Filip Dvorak and
Jakub Gemrot and
Cyril Brom and
Daniel Toropila},
editor = {G. Michael Youngblood and
Philip M. McCarthy},
title = {When Planning Should Be Easy: On Solving Cumulative Planning Problems},
booktitle = {Proceedings of the Twenty-Fifth International Florida Artificial Intelligence
Research Society Conference, Marco Island, Florida, USA, May 23-25,
2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS12/paper/view/4458},
timestamp = {Wed, 26 Oct 2022 08:35:17 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakDGBT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Bartak12,
author = {Roman Bart{\'{a}}k},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {On Complexity of Verifying Nested Workflows with Extra Constraints},
booktitle = {{ICAART} 2012 - Proceedings of the 4th International Conference on
Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
Vilamoura, Algarve, Portugal, 6-8 February, 2012},
pages = {346--354},
publisher = {SciTePress},
year = {2012},
timestamp = {Thu, 03 May 2012 17:45:15 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Bartak12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ToropilaDTHB12,
author = {Daniel Toropila and
Filip Dvorak and
Otakar Trunda and
Martin Hanes and
Roman Bart{\'{a}}k},
title = {Three Approaches to Solve the Petrobras Challenge: Exploiting Planning
Techniques for Solving Real-Life Logistics Problems},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {191--198},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.34},
doi = {10.1109/ICTAI.2012.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ToropilaDTHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BalyoBS12,
author = {Tom{\'{a}}s Balyo and
Roman Bart{\'{a}}k and
Pavel Surynek},
title = {Shortening Plans by Local Re-planning},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {1022--1028},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.144},
doi = {10.1109/ICTAI.2012.144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BalyoBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BartakR12,
author = {Roman Bart{\'{a}}k and
Vladim{\'{\i}}r Rovensk{\'{y}}},
editor = {Ildar Z. Batyrshin and
Miguel Gonz{\'{a}}lez{-}Mendoza},
title = {Verifying Nested Workflows with Extra Constraints},
booktitle = {Advances in Artificial Intelligence - 11th Mexican International Conference
on Artificial Intelligence, {MICAI} 2012, San Luis Potos{\'{\i}},
Mexico, October 27 - November 4, 2012. Revised Selected Papers, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {7629},
pages = {359--370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-37807-2\_31},
doi = {10.1007/978-3-642-37807-2\_31},
timestamp = {Wed, 04 May 2022 08:39:24 +0200},
biburl = {https://dblp.org/rec/conf/micai/BartakR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/BalyoBS12,
author = {Tom{\'{a}}s Balyo and
Roman Bart{\'{a}}k and
Pavel Surynek},
editor = {Daniel Borrajo and
Ariel Felner and
Richard E. Korf and
Maxim Likhachev and
Carlos Linares L{\'{o}}pez and
Wheeler Ruml and
Nathan R. Sturtevant},
title = {On Improving Plan Quality via Local Enhancements},
booktitle = {Proceedings of the Fifth Annual Symposium on Combinatorial Search,
{SOCS} 2012, Niagara Falls, Ontario, Canada, July 19-21, 2012},
pages = {154--156},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/socs.v3i1.18260},
doi = {10.1609/SOCS.V3I1.18260},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/BalyoBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/BartakSS12,
author = {Roman Bart{\'{a}}k and
Con Sheahan and
Ann Sheahan},
editor = {M{\'{a}}ria Bielikov{\'{a}} and
Gerhard Friedrich and
Georg Gottlob and
Stefan Katzenbeisser and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {MAK{\mbox{\texteuro}}- {A} System for Modelling, Optimising, and Analyzing
Production in Small and Medium Enterprises},
booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7147},
pages = {600--611},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27660-6\_49},
doi = {10.1007/978-3-642-27660-6\_49},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/BartakSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BartakS11,
author = {Roman Bart{\'{a}}k and
Miguel A. Salido},
title = {Constraint satisfaction for planning and scheduling problems},
journal = {Constraints An Int. J.},
volume = {16},
number = {3},
pages = {223--227},
year = {2011},
url = {https://doi.org/10.1007/s10601-011-9109-4},
doi = {10.1007/S10601-011-9109-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BartakS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Bartak11,
author = {Roman Bart{\'{a}}k},
editor = {R. Charles Murray and
Philip M. McCarthy},
title = {A Novel Constraint Model for Parallel Planning},
booktitle = {Proceedings of the Twenty-Fourth International Florida Artificial
Intelligence Research Society Conference, May 18-20, 2011, Palm Beach,
Florida, {USA}},
publisher = {{AAAI} Press},
year = {2011},
url = {http://aaai.org/ocs/index.php/FLAIRS/FLAIRS11/paper/view/2534},
timestamp = {Wed, 26 Oct 2022 08:35:19 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Bartak11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BartakZS11,
author = {Roman Bart{\'{a}}k and
Michal Zerola and
Stanislav Slusny},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {Towards Routing for Autonomous Robots - Using Constraint Programming
in an Anytime Path Planner},
booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence,
Rome, Italy, January 28-30, 2011},
pages = {313--320},
publisher = {SciTePress},
year = {2011},
timestamp = {Thu, 07 Jul 2011 22:16:28 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BartakZS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChovanecB11,
author = {Andrej Chovanec and
Roman Bart{\'{a}}k},
title = {Boosting Inductive Logic Programming via Decomposition, Merging, and
Refinement},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {914--915},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.153},
doi = {10.1109/ICTAI.2011.153},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChovanecB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/ChovanecB11,
author = {Andrej Chovanec and
Roman Bart{\'{a}}k},
editor = {Ildar Z. Batyrshin and
Grigori Sidorov},
title = {On Generating Templates for Hypothesis in Inductive Logic Programming},
booktitle = {Advances in Artificial Intelligence - 10th Mexican International Conference
on Artificial Intelligence, {MICAI} 2011, Puebla, Mexico, November
26 - December 4, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7094},
pages = {162--173},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25324-9\_14},
doi = {10.1007/978-3-642-25324-9\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/ChovanecB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Bartak11,
author = {Roman Bart{\'{a}}k},
editor = {Anders Kofod{-}Petersen and
Fredrik Heintz and
Helge Langseth},
title = {On Constraint Models for Parallel Planning: The Novel Transition Scheme},
booktitle = {Eleventh Scandinavian Conference on Artificial Intelligence, {SCAI}
2011, Trondheim, Norway, May 24th - 26th, 2011},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {227},
pages = {50--59},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-60750-754-3-50},
doi = {10.3233/978-1-60750-754-3-50},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scai/Bartak11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BartakFM10,
author = {Roman Bart{\'{a}}k and
Simone Fratini and
Lee McCluskey},
title = {The Third Competition on Knowledge Engineering for Planning and Scheduling},
journal = {{AI} Mag.},
volume = {31},
number = {1},
pages = {95--98},
year = {2010},
url = {https://doi.org/10.1609/aimag.v31i1.2288},
doi = {10.1609/AIMAG.V31I1.2288},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BartakFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/air/MunakataB10,
author = {Toshinori Munakata and
Roman Bart{\'{a}}k},
title = {Logic programming for combinatorial problems},
journal = {Artif. Intell. Rev.},
volume = {33},
number = {1-2},
pages = {135--150},
year = {2010},
url = {https://doi.org/10.1007/s10462-009-9150-5},
doi = {10.1007/S10462-009-9150-5},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/air/MunakataB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BartakCS10,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek and
Pavel Surynek},
title = {Discovering implied constraints in precedence graphs with alternatives},
journal = {Ann. Oper. Res.},
volume = {180},
number = {1},
pages = {233--263},
year = {2010},
url = {https://doi.org/10.1007/s10479-008-0492-1},
doi = {10.1007/S10479-008-0492-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BartakCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BartakT10,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
title = {Solving Sequential Planning Problems via Constraint Satisfaction},
journal = {Fundam. Informaticae},
volume = {99},
number = {2},
pages = {125--145},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-242},
doi = {10.3233/FI-2010-242},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BartakT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/BartakSR10,
author = {Roman Bart{\'{a}}k and
Miguel A. Salido and
Francesca Rossi},
title = {Constraint satisfaction techniques in planning and scheduling},
journal = {J. Intell. Manuf.},
volume = {21},
number = {1},
pages = {5--15},
year = {2010},
url = {https://doi.org/10.1007/s10845-008-0203-4},
doi = {10.1007/S10845-008-0203-4},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jim/BartakSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/BartakLMS10,
author = {Roman Bart{\'{a}}k and
James Little and
Oscar Manzano and
Con Sheahan},
title = {From enterprise models to scheduling models: bridging the gap},
journal = {J. Intell. Manuf.},
volume = {21},
number = {1},
pages = {121--132},
year = {2010},
url = {https://doi.org/10.1007/s10845-008-0166-5},
doi = {10.1007/S10845-008-0166-5},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jim/BartakLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/BartakCMS10,
author = {Roman Bart{\'{a}}k and
Amedeo Cesta and
Lee McCluskey and
Miguel A. Salido},
title = {Preface to special issue on planning and scheduling},
journal = {Knowl. Eng. Rev.},
volume = {25},
number = {3},
pages = {247--248},
year = {2010},
url = {https://doi.org/10.1017/S0269888910000196},
doi = {10.1017/S0269888910000196},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/BartakCMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/BartakSR10,
author = {Roman Bart{\'{a}}k and
Miguel A. Salido and
Francesca Rossi},
title = {New trends in constraint satisfaction, planning, and scheduling: a
survey},
journal = {Knowl. Eng. Rev.},
volume = {25},
number = {3},
pages = {249--279},
year = {2010},
url = {https://doi.org/10.1017/S0269888910000202},
doi = {10.1017/S0269888910000202},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ker/BartakSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/BartakR10,
author = {Roman Bart{\'{a}}k and
Hana Rudov{\'{a}}},
title = {Special issue on applications and methodologies for planning and scheduling:
editorial},
journal = {J. Sched.},
volume = {13},
number = {4},
pages = {299--300},
year = {2010},
url = {https://doi.org/10.1007/s10951-010-0187-8},
doi = {10.1007/S10951-010-0187-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scheduling/BartakR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BartakKZ10,
author = {Roman Bart{\'{a}}k and
Ondrej Kuzelka and
Filip Zelezn{\'{y}}},
title = {Formulating Template Consistency in Inductive Logic Programming as
a Constraint Satisfaction Problem},
booktitle = {Abstraction, Reformulation, and Approximation, Papers from the 2010
{AAAI} Workshop, Atlanta, Georgia, USA, July 12, 2010},
series = {{AAAI} Technical Report},
volume = {{WS-10-08}},
publisher = {{AAAI}},
year = {2010},
url = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2065},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BartakKZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Bartak10,
author = {Roman Bart{\'{a}}k},
editor = {Darina Dicheva and
Danail Dochev},
title = {Constraint Models for Reasoning on Unification in Inductive Logic
Programming},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 14th
International Conference, {AIMSA} 2010, Varna, Bulgaria, September
8-10. 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6304},
pages = {101--110},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15431-7\_11},
doi = {10.1007/978-3-642-15431-7\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/Bartak10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakKZ10,
author = {Roman Bart{\'{a}}k and
Ondrej Kuzelka and
Filip Zelezn{\'{y}}},
editor = {Hans W. Guesgen and
R. Charles Murray},
title = {Using Constraint Satisfaction for Learning Hypotheses in Inductive
Logic Programming},
booktitle = {Proceedings of the Twenty-Third International Florida Artificial Intelligence
Research Society Conference, May 19-21, 2010, Daytona Beach, Florida,
{USA}},
publisher = {{AAAI} Press},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/FLAIRS/2010/paper/view/1214},
timestamp = {Wed, 26 Oct 2022 08:35:20 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakKZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DvorakB10,
author = {Filip Dvorak and
Roman Bart{\'{a}}k},
title = {Integrating Time and Resources into Planning},
booktitle = {22nd {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2010, Arras, France, 27-29 October 2010 - Volume 2},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICTAI.2010.86},
doi = {10.1109/ICTAI.2010.86},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/DvorakB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/Bartak10,
author = {Roman Bart{\'{a}}k},
editor = {Grigori Sidorov and
Arturo Hern{\'{a}}ndez Aguirre and
Carlos A. Reyes Garc{\'{\i}}a},
title = {Optimizing Alternatives in Precedence Networks},
booktitle = {Advances in Artificial Intelligence - 9th Mexican International Conference
on Artificial Intelligence, {MICAI} 2010, Pachuca, Mexico, November
8-13, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6437},
pages = {197--208},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16761-4\_18},
doi = {10.1007/978-3-642-16761-4\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/micai/Bartak10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisched/Bartak09,
author = {Roman Bart{\'{a}}k},
title = {Tutorial: constraint-based scheduling},
booktitle = {2009 {IEEE} Symposium on Computational Intelligence in Scheduling,
CISched 2009, Nashville, TN, USA, April 1-2, 2009},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/SCIS.2009.4927006},
doi = {10.1109/SCIS.2009.4927006},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cisched/Bartak09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/BartakT09,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {Willem Jan van Hoeve and
John N. Hooker},
title = {Constraint Models for Sequential Planning},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 6th International Conference,
{CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {314--315},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01929-6\_25},
doi = {10.1007/978-3-642-01929-6\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/BartakT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Bartak09,
author = {Roman Bart{\'{a}}k},
editor = {H. Chad Lane and
Hans W. Guesgen},
title = {Special Track on Artificial Intelligence Planning and Scheduling},
booktitle = {Proceedings of the Twenty-Second International Florida Artificial
Intelligence Research Society Conference, May 19-21, 2009, Sanibel
Island, Florida, {USA}},
publisher = {{AAAI} Press},
year = {2009},
url = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/674},
timestamp = {Wed, 26 Oct 2022 08:35:22 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Bartak09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakT09,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {H. Chad Lane and
Hans W. Guesgen},
title = {Enhancing Constraint Models for Planning Problems},
booktitle = {Proceedings of the Twenty-Second International Florida Artificial
Intelligence Research Society Conference, May 19-21, 2009, Sanibel
Island, Florida, {USA}},
publisher = {{AAAI} Press},
year = {2009},
url = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/96},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/ZerolaSLB09,
author = {Michal Zerola and
Michal Sumbera and
J{\'{e}}r{\^{o}}me Lauret and
Roman Bart{\'{a}}k},
title = {Efficient multi-site data movement in distributed environment},
booktitle = {Proceedings of the 2009 10th {IEEE/ACM} International Conference on
Grid Computing, October 13-15, 2009, Banff, Alberta, Canada},
pages = {171--172},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/GRID.2009.5353045},
doi = {10.1109/GRID.2009.5353045},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grid/ZerolaSLB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ZerolaSBL09,
author = {Michal Zerola and
Michal Sumbera and
Roman Bart{\'{a}}k and
J{\'{e}}r{\^{o}}me Lauret},
title = {Using Constraint Programming to Plan Efficient Data Movement on the
Grid},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {729--733},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.80},
doi = {10.1109/ICTAI.2009.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ZerolaSBL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/BartakT09,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {Jan Rauch and
Zbigniew W. Ras and
Petr Berka and
Tapio Elomaa},
title = {Revisiting Constraint Models for Planning Problems},
booktitle = {Foundations of Intelligent Systems, 18th International Symposium,
{ISMIS} 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5722},
pages = {582--591},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04125-9\_61},
doi = {10.1007/978-3-642-04125-9\_61},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/BartakT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/BartakT09,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Integrating Constraint Models for Sequential and Partial-Order Planning},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/835},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/BartakT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/ChrpaB09,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k},
editor = {Vadim Bulitko and
J. Christopher Beck},
title = {Reformulating Planning Problems by Eliminating Unpromising Actions},
booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
{SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
publisher = {{AAAI}},
year = {2009},
url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/826},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sara/ChrpaB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/ai/Bartak09,
author = {Roman Bart{\'{a}}k},
editor = {Juan R. Rabu{\~{n}}al and
Juli{\'{a}}n Dorado and
Alejandro Pazos},
title = {Constraint Processing},
booktitle = {Encyclopedia of Artificial Intelligence {(3} Volumes)},
pages = {404--409},
publisher = {{IGI} Global},
year = {2009},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=10279},
timestamp = {Mon, 22 May 2023 11:26:05 +0200},
biburl = {https://dblp.org/rec/reference/ai/Bartak09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-0148,
author = {Michal Zerola and
J{\'{e}}r{\^{o}}me Lauret and
Roman Bart{\'{a}}k and
Michal Sumbera},
title = {Using constraint programming to resolve the multi-source/multi-site
data movement paradigm on the Grid},
journal = {CoRR},
volume = {abs/0901.0148},
year = {2009},
url = {http://arxiv.org/abs/0901.0148},
eprinttype = {arXiv},
eprint = {0901.0148},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-0148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-2914,
author = {Michal Zerola and
J{\'{e}}r{\^{o}}me Lauret and
Roman Bart{\'{a}}k and
Michal Sumbera},
title = {Efficient Multi-site Data Movement Using Constraint Programming for
Data Hungry Science},
journal = {CoRR},
volume = {abs/0906.2914},
year = {2009},
url = {http://arxiv.org/abs/0906.2914},
eprinttype = {arXiv},
eprint = {0906.2914},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-2914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csr/Bartak08,
author = {Roman Bart{\'{a}}k},
title = {Rina Dechter , Constraint Processing, Morgan Kaufmann Publisher {(2003)}
{ISBN} 1-55860-890-7, Francesca Rossi, Peter van Beek and Toby Walsh,
Editors, Handbook of Constraint Programming, Elsevier {(2006)} {ISBN}
978-0-444-52726-4},
journal = {Comput. Sci. Rev.},
volume = {2},
number = {2},
pages = {123--130},
year = {2008},
url = {https://doi.org/10.1016/j.cosrev.2008.05.001},
doi = {10.1016/J.COSREV.2008.05.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csr/Bartak08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/SalidoGB08,
author = {Miguel A. Salido and
Antonio Garrido and
Roman Bart{\'{a}}k},
title = {Introduction: Special issue on constraint satisfaction techniques
for planning and scheduling problems},
journal = {Eng. Appl. Artif. Intell.},
volume = {21},
number = {5},
pages = {679--682},
year = {2008},
url = {https://doi.org/10.1016/j.engappai.2008.03.007},
doi = {10.1016/J.ENGAPPAI.2008.03.007},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/SalidoGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/BartakC08,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
title = {Incremental Filtering Algorithms for Precedence and Dependency Constraints},
journal = {Int. J. Artif. Intell. Tools},
volume = {17},
number = {1},
pages = {205--221},
year = {2008},
url = {https://doi.org/10.1142/S0218213008003856},
doi = {10.1142/S0218213008003856},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/BartakC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BartakC08,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
editor = {Danail Dochev and
Marco Pistore and
Paolo Traverso},
title = {Nested Precedence Networks with Alternatives: Recognition, Tractability,
and Models},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 13th
International Conference, {AIMSA} 2008, Varna, Bulgaria, September
4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5253},
pages = {235--246},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85776-1\_20},
doi = {10.1007/978-3-540-85776-1\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/BartakC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakT08,
author = {Roman Bart{\'{a}}k and
Daniel Toropila},
editor = {David Wilson and
H. Chad Lane},
title = {Reformulating Constraint Models for Classical Planning},
booktitle = {Proceedings of the Twenty-First International Florida Artificial Intelligence
Research Society Conference, May 15-17, 2008, Coconut Grove, Florida,
{USA}},
pages = {525--530},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/FLAIRS/2008/flairs08-121.php},
timestamp = {Wed, 26 Oct 2022 08:35:23 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/ChrpaB08,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k},
editor = {David Wilson and
H. Chad Lane},
title = {Towards Getting Domain Knowledge: Plans Analysis through Investigation
of Actions Dependencies},
booktitle = {Proceedings of the Twenty-First International Florida Artificial Intelligence
Research Society Conference, May 15-17, 2008, Coconut Grove, Florida,
{USA}},
pages = {531--536},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/FLAIRS/2008/flairs08-122.php},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/ChrpaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BartakC08,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Nested temporal networks with alternatives: recognition and tractability},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {156--157},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363729},
doi = {10.1145/1363686.1363729},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BartakC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/ChrpaB08,
author = {Luk{\'{a}}s Chrpa and
Roman Bart{\'{a}}k},
editor = {Anders Holst and
Per Kreuger and
Peter Funk},
title = {Looking for Planning Problems Solvable in Polynomial Time via Investigation
of Structures of Action Dependencies},
booktitle = {Tenth Scandinavian Conference on Artificial Intelligence, {SCAI} 2008,
Stockholm, Sweden, May 26-28, 2008},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {173},
pages = {175--180},
publisher = {{IOS} Press},
year = {2008},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=8994},
timestamp = {Mon, 15 Feb 2021 14:16:47 +0100},
biburl = {https://dblp.org/rec/conf/scai/ChrpaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/BartakM07,
author = {Roman Bart{\'{a}}k and
Lee McCluskey},
title = {Introduction to the Special Issue on Knowledge Engineering Tools and
Techniques for Automated Planning and Scheduling Systems},
journal = {Knowl. Eng. Rev.},
volume = {22},
number = {2},
pages = {115--116},
year = {2007},
url = {https://doi.org/10.1017/S026988890700104X},
doi = {10.1017/S026988890700104X},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ker/BartakM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisched/BartakCS07,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek and
Pavel Surynek},
title = {Modelling Alternatives in Temporal Networks},
booktitle = {2007 {IEEE} Symposium on Computational Intelligence in Scheduling,
CISched 2007, Honolulu, Hawaii, USA, April 2-4, 2007},
pages = {129--136},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SCIS.2007.367680},
doi = {10.1109/SCIS.2007.367680},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/cisched/BartakCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BartakCH07,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek and
Martin Hejna},
editor = {Fran{\c{c}}ois Fages and
Francesca Rossi and
Sylvain Soliman},
title = {Temporal Reasoning in Nested Temporal Networks with Alternatives},
booktitle = {Recent Advances in Constraints, 12th Annual {ERCIM} International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2007, Rocquencourt, France, June 7-8, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5129},
pages = {17--31},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89812-2\_2},
doi = {10.1007/978-3-540-89812-2\_2},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BartakCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SurynekB07,
author = {Pavel Surynek and
Roman Bart{\'{a}}k},
editor = {David Wilson and
Geoff Sutcliffe},
title = {Maintaining Arc-Consistency over Mutex Relations in Planning Graphs
during Search},
booktitle = {Proceedings of the Twentieth International Florida Artificial Intelligence
Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
pages = {134--139},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-025.php},
timestamp = {Wed, 26 Oct 2022 08:35:25 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SurynekB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakC07,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
editor = {David Wilson and
Geoff Sutcliffe},
title = {Temporal Networks with Alternatives: Complexity and Model},
booktitle = {Proceedings of the Twentieth International Florida Artificial Intelligence
Research Society Conference, May 7-9, 2007, Key West, Florida, {USA}},
pages = {641--646},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-126.php},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Bartak07,
author = {Roman Bart{\'{a}}k},
editor = {Ian Miguel and
Wheeler Ruml},
title = {Generating Implied Boolean Constraints Via Singleton Consistency},
booktitle = {Abstraction, Reformulation, and Approximation, 7th International Symposium,
{SARA} 2007, Whistler, Canada, July 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4612},
pages = {50--63},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73580-9\_7},
doi = {10.1007/978-3-540-73580-9\_7},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/Bartak07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/BartakM06,
author = {Roman Bart{\'{a}}k and
Lee McCluskey},
title = {The First Competition on Knowledge Engineering for Planning and Scheduling},
journal = {{AI} Mag.},
volume = {27},
number = {1},
pages = {97--98},
year = {2006},
url = {https://doi.org/10.1609/aimag.v27i1.1867},
doi = {10.1609/AIMAG.V27I1.1867},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/BartakM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BartakM06,
author = {Roman Bart{\'{a}}k and
Michela Milano},
title = {Introduction to the Special Issue on the Integration of {AI} and {OR}
Techniques in {CP} for Combinatorial Optimization {(CPAIOR} 2005)},
journal = {Constraints An Int. J.},
volume = {11},
number = {4},
pages = {269--270},
year = {2006},
url = {https://doi.org/10.1007/s10601-006-9000-x},
doi = {10.1007/S10601-006-9000-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/BartakM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BartakC06,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
editor = {Derek Long and
Stephen F. Smith and
Daniel Borrajo and
Lee McCluskey},
title = {Incremental Maintenance of Double Precedence Graphs: {A} Constraint-Based
Approach},
booktitle = {Proceedings of the Sixteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
pages = {350--353},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/ICAPS/2006/icaps06-038.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/BartakC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BartakC06,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
editor = {Francisco Azevedo and
Pedro Barahona and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {A Constraint Model for State Transitions in Disjunctive Resources},
booktitle = {Recent Advances in Constraints, 11th Annual {ERCIM} International
Workshop on Constraint Solving and Contraint Logic Programming, {CSCLP}
2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4651},
pages = {48--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73817-6\_3},
doi = {10.1007/978-3-540-73817-6\_3},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BartakC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/Bartak06,
author = {Roman Bart{\'{a}}k},
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {Incremental Propagation of Time Windows on Disjunctive Resources},
booktitle = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
pages = {25--30},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-005.php},
timestamp = {Wed, 26 Oct 2022 08:35:26 +0200},
biburl = {https://dblp.org/rec/conf/flairs/Bartak06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BartakC06,
author = {Roman Bart{\'{a}}k and
Ondrej Cepek},
title = {Incremental Filtering Algorithms for Precedence and Dependency Constraints},
booktitle = {18th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2006), 13-15 November 2006, Arlington, VA, {USA}},
pages = {416--426},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICTAI.2006.67},
doi = {10.1109/ICTAI.2006.67},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BartakC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/AtkinsonBSTZ06,
author = {Timothy Atkinson and
Roman Bart{\'{a}}k and
Marius{-}Calin Silaghi and
E. Tuleu and
Markus Zanker},
title = {Private and Efficient Stable Marriages (Matching)},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {345},
year = {2006},
url = {http://eprint.iacr.org/2006/345},
timestamp = {Mon, 31 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/AtkinsonBSTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Bartak05,
author = {Roman Bart{\'{a}}k},
title = {R. Dechter, Constraint Processing, Morgan Kaufmann {(2003)}},
journal = {Artif. Intell.},
volume = {169},
number = {2},
pages = {142--145},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2005.10.006},
doi = {10.1016/J.ARTINT.2005.10.006},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Bartak05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/VilimBC05,
author = {Petr Vil{\'{\i}}m and
Roman Bart{\'{a}}k and
Ondrej Cepek},
title = {Extension of \emph{O}(\emph{n} log \emph{n}) Filtering Algorithms
for the Unary Resource Constraint to Optional Activities},
journal = {Constraints An Int. J.},
volume = {10},
number = {4},
pages = {403--425},
year = {2005},
url = {https://doi.org/10.1007/s10601-005-2814-0},
doi = {10.1007/S10601-005-2814-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/VilimBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CejnarB05,
author = {Pavel Cejnar and
Roman Bart{\'{a}}k},
editor = {Peter van Beek},
title = {Automated Search for Heuristic Functions},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {843},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_81},
doi = {10.1007/11564751\_81},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CejnarB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SurynekB05,
author = {Pavel Surynek and
Roman Bart{\'{a}}k},
editor = {Peter van Beek},
title = {Encoding {HTN} Planning as a Dynamic {CSP}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {868},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_106},
doi = {10.1007/11564751\_106},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SurynekB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ZlomekB05,
author = {Josef Zlomek and
Roman Bart{\'{a}}k},
editor = {Peter van Beek},
title = {Full Arc Consistency in {WCSP} and in Constraint Hierarchies with
Finite Domains},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3709},
pages = {876},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11564751\_114},
doi = {10.1007/11564751\_114},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/ZlomekB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/Bartak05,
author = {Roman Bart{\'{a}}k},
editor = {Brahim Hnich and
Mats Carlsson and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {On Generators of Random Quasigroup Problems},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {3978},
pages = {164--178},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11754602\_12},
doi = {10.1007/11754602\_12},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/Bartak05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakS05,
author = {Roman Bart{\'{a}}k and
Pavel Surynek},
editor = {Ingrid Russell and
Zdravko Markov},
title = {An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint
Satisfaction Problems},
booktitle = {Proceedings of the Eighteenth International Florida Artificial Intelligence
Research Society Conference, Clearwater Beach, Florida, {USA}},
pages = {161--166},
publisher = {{AAAI} Press},
year = {2005},
url = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-027.php},
timestamp = {Wed, 26 Oct 2022 08:35:28 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/SilaghiAZB05,
author = {Marius{-}Calin Silaghi and
Amit Abhyankar and
Markus Zanker and
Roman Bart{\'{a}}k},
editor = {Ingrid Russell and
Zdravko Markov},
title = {Desk-Mates (Stable Matching) with Privacy of Preferences, and a New
Distributed {CSP} Framework},
booktitle = {Proceedings of the Eighteenth International Florida Artificial Intelligence
Research Society Conference, Clearwater Beach, Florida, {USA}},
pages = {671--677},
publisher = {{AAAI} Press},
year = {2005},
url = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-110.php},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flairs/SilaghiAZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BartakR05,
author = {Roman Bart{\'{a}}k and
Hana Rudov{\'{a}}},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Limited assignments: a new cutoff strategy for incomplete depth-first
search},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {388--392},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066767},
doi = {10.1145/1066677.1066767},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/BartakR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2005,
editor = {Roman Bart{\'{a}}k and
Michela Milano},
title = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, Second International Conference,
{CPAIOR} 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3524},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136920},
doi = {10.1007/B136920},
isbn = {3-540-26152-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cib/Bartak04,
author = {Roman Bart{\'{a}}k},
title = {The {CP-04} Workshop on {CSP} Techniques with Immediate Application
(Conference Report)},
journal = {{IEEE} Intell. Informatics Bull.},
volume = {4},
pages = {3},
year = {2004},
url = {http://www.comp.hkbu.edu.hk/\%7Ecib/2004/Dec/iib\_vol4no2\_confreport.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cib/Bartak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/VilimBC04,
author = {Petr Vil{\'{\i}}m and
Roman Bart{\'{a}}k and
Ondrej Cepek},
editor = {Mark Wallace},
title = {Unary Resource Constraint with Optional Activities},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {62--76},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_8},
doi = {10.1007/978-3-540-30201-8\_8},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/VilimBC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SurynekB04,
author = {Pavel Surynek and
Roman Bart{\'{a}}k},
editor = {Mark Wallace},
title = {A New Algorithm for Maintaining Arc Consistency After Constraint Retraction},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {767--771},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_63},
doi = {10.1007/978-3-540-30201-8\_63},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/SurynekB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/BartakE04,
author = {Roman Bart{\'{a}}k and
Radek Erben},
editor = {Valerie Barr and
Zdravko Markov},
title = {A New Algorithm for Singleton Arc Consistency},
booktitle = {Proceedings of the Seventeenth International Florida Artificial Intelligence
Research Society Conference, Miami Beach, Florida, {USA}},
pages = {257--262},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/FLAIRS/2004/flairs04-047.php},
timestamp = {Wed, 26 Oct 2022 08:35:30 +0200},
biburl = {https://dblp.org/rec/conf/flairs/BartakE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patat/MullerRB04,
author = {Tom{\'{a}}s M{\"{u}}ller and
Hana Rudov{\'{a}} and
Roman Bart{\'{a}}k},
editor = {Edmund K. Burke and
Michael A. Trick},
title = {Minimal Perturbation Problem in Course Timetabling},
booktitle = {Practice and Theory of Automated Timetabling V, 5th International
Conference, {PATAT} 2004, Pittsburgh, PA, USA, August 18-20, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3616},
pages = {126--146},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11593577\_8},
doi = {10.1007/11593577\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/patat/MullerRB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Bartak04,
author = {Roman Bart{\'{a}}k},
editor = {Dietmar Seipel and
Michael Hanus and
Ulrich Geske and
Oskar Bartenstein},
title = {Effective Modeling with Constraints},
booktitle = {Applications of Declarative Programming and Knowledge Management,
15th International Conference on Applications of Declarative Programming
and Knowledge Management, {INAP} 2004, and 18th Workshop on Logic
Programming, {WLP} 2004, Potsdam, Germany, March 4-6, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3392},
pages = {149--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11415763\_10},
doi = {10.1007/11415763\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Bartak04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/Bartak03,
author = {Roman Bart{\'{a}}k},
title = {Dynamic Global Constraints in Backtracking Based Environments},
journal = {Ann. Oper. Res.},
volume = {118},
number = {1-4},
pages = {101--119},
year = {2003},
url = {https://doi.org/10.1023/A:1021805623454},
doi = {10.1023/A:1021805623454},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/Bartak03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BartakM03,
author = {Roman Bart{\'{a}}k and
Roman Mecl},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Implementing Propagators for Tabular Constraints},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {44--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_3},
doi = {10.1007/978-3-540-24662-6\_3},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BartakM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BartakMR03,
author = {Roman Bart{\'{a}}k and
Tom{\'{a}}s M{\"{u}}ller and
Hana Rudov{\'{a}}},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {A New Approach to Modeling and Solving Minimal Perturbation Problems},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {233--249},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_13},
doi = {10.1007/978-3-540-24662-6\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csclp/BartakMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/VilimB02,
author = {Petr Vil{\'{\i}}m and
Roman Bart{\'{a}}k},
editor = {Malik Ghallab and
Joachim Hertzberg and
Paolo Traverso},
title = {Filtering Algorithms for Batch Processing with Sequence Dependent
Setup Times},
booktitle = {Proceedings of the Sixth International Conference on Artificial Intelligence
Planning Systems, April 23-27, 2002, Toulouse, France},
pages = {312--321},
publisher = {{AAAI}},
year = {2002},
url = {http://www.aaai.org/Library/AIPS/2002/aips02-032.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/VilimB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognet/Bartak02,
author = {Roman Bart{\'{a}}k},
editor = {Barry O'Sullivan},
title = {Visopt ShopFloor: Going Beyond Traditional Scheduling},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CologNet International
Workshop on Constraint Solving and Constraint Logic Programming, Cork,
Ireland, June 19-21, 2002. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2627},
pages = {185--199},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36607-5\_14},
doi = {10.1007/3-540-36607-5\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/colognet/Bartak02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Bartak02,
author = {Roman Bart{\'{a}}k},
editor = {Pascal Van Hentenryck},
title = {Visopt ShopFloor: On the Edge of Planning and Scheduling},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {587--602},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_39},
doi = {10.1007/3-540-46135-3\_39},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Bartak02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Bartak02,
author = {Roman Bart{\'{a}}k},
editor = {Frank van Harmelen},
title = {A Theoretical Framework for Constraint Hierarchy Solvers},
booktitle = {Proceedings of the 15th European Conference on Artificial Intelligence,
ECAI'2002, Lyon, France, July 2002},
pages = {146--150},
publisher = {{IOS} Press},
year = {2002},
timestamp = {Mon, 03 Jan 2022 07:50:19 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Bartak02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Bartak02,
author = {Roman Bart{\'{a}}k},
editor = {William I. Grosky and
Frantisek Pl{\'{a}}sil},
title = {Modelling Resource Transitions in Constraint-Based Scheduling},
booktitle = {{SOFSEM} 2002: Theory and Practice of Informatics, 29th Conference
on Current Trends in Theory and Practice of Informatics, Milovy, Czech
Republic, November 22-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2540},
pages = {186--194},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36137-5\_13},
doi = {10.1007/3-540-36137-5\_13},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Bartak02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0109022,
author = {Tom{\'{a}}s M{\"{u}}ller and
Roman Bart{\'{a}}k},
title = {Interactive Timetabling},
journal = {CoRR},
volume = {cs.PL/0109022},
year = {2001},
url = {https://arxiv.org/abs/cs/0109022},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0109022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0109025,
author = {Roman Bart{\'{a}}k},
title = {Dynamic Global Constraints: {A} First View},
journal = {CoRR},
volume = {cs.PL/0109025},
year = {2001},
url = {https://arxiv.org/abs/cs/0109025},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0109025.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0110012,
title = {Proceedings of the 6th Annual Workshop of the {ERCIM} Working Group
on Constraints},
journal = {CoRR},
volume = {cs.PL/0110012},
year = {2001},
url = {https://arxiv.org/abs/cs/0110012},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0110012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/Bartak00,
author = {Roman Bart{\'{a}}k},
title = {Conceptual Models for Combined Planning and Scheduling},
journal = {Electron. Notes Discret. Math.},
volume = {4},
pages = {1},
year = {2000},
url = {https://doi.org/10.1016/S1571-0653(05)80101-5},
doi = {10.1016/S1571-0653(05)80101-5},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/Bartak00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacpl/Bartak00,
author = {Roman Bart{\'{a}}k},
editor = {Carmen Gervet},
title = {Mixing Planning and Scheduling to Model Complex Process Environments},
booktitle = {Proceedings of the Second International Conference on the Practical
Application of Constraint Technologies and Logic Programming, {PACPL}
2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000},
pages = {329--332},
publisher = {Practical Application Company Ltd.},
year = {2000},
timestamp = {Thu, 01 Dec 2022 14:47:56 +0100},
biburl = {https://dblp.org/rec/conf/pacpl/Bartak00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Bartak99,
author = {Roman Bart{\'{a}}k},
editor = {Krzysztof R. Apt and
Antonis C. Kakas and
{\'{E}}ric Monfroy and
Francesca Rossi},
title = {Dynamic Constraint Models for Planning and Scheduling Problems},
booktitle = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
Cyprus, October 25-27, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1865},
pages = {237--255},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-44654-0\_12},
doi = {10.1007/3-540-44654-0\_12},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/compulog/Bartak99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kybernetika/BartakS97,
author = {Roman Bart{\'{a}}k and
Petr Step{\'{a}}nek},
title = {Extendible meta-interpreters},
journal = {Kybernetika},
volume = {33},
number = {3},
pages = {291--310},
year = {1997},
url = {http://www.kybernetika.cz/content/1997/3/291},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kybernetika/BartakS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/Bartak97,
author = {Roman Bart{\'{a}}k},
editor = {Mark Wallace},
title = {A Plug-In Architecture of Constraint Hierarchy Solvers},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Constraint Technology, {PACT} 1997, Westminster Central
Hall, London, UK, April 23-25, 1997},
pages = {359--372},
publisher = {Practical Application Company Ltd.},
year = {1997},
timestamp = {Wed, 30 Nov 2022 10:17:58 +0100},
biburl = {https://dblp.org/rec/conf/pact2/Bartak97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-07 22:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
