@inproceedings(BogatarkanP019,
 author       = {Aysu Bogatarkan and Volkan Patoglu and Esra Erdem},
 year         = {2019},
 title        = {A Declarative Method for Dynamic Multi-Agent Path Finding},
 booktitle    = {Proc. of GCAI},
 volume       = {65},
 pages        = {54--67},
 doi          = {10.1609/aaai.v33i01.33017732},
)
@inproceedings(ErdemKOS13,
 author       = {Esra Erdem and Doga Gizem Kisa and Umut Oztok and Peter Schueller},
 year         = {2013},
 title        = {A General Formal Framework for Pathfinding Problems with Multiple Agents},
 booktitle    = {Proc. of AAAI},
 note         = {\url{https://dl.acm.org/doi/10.5555/2891460.2891501}},
)
@inproceedings(GelfondL88,
 author       = {M. Gelfond and V. Lifschitz},
 year         = {1988},
 title        = {The stable model semantics for logic programming},
 booktitle    = {Proc. of ICLP},
 publisher    = {MIT Press},
 pages        = {1070--1080},
)
@article(GelfondL91,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1991},
 title        = {Classical negation in logic programs and disjunctive databases},
 journal      = {New Generation Computing},
 volume       = {9},
 pages        = {365--385},
 doi          = {10.1007/bf03037169},
)
@article(Lifschitz02,
 author       = {Vladimir Lifschitz},
 year         = {2002},
 title        = {Answer set programming and plan generation},
 journal      = {Artificial Intelligence},
 volume       = {138},
 pages        = {39--54},
 doi          = {10.1016/s0004-3702(02)00186-8},
)
@incollection(MarekT99,
 author       = {Victor Marek and Miros{\l}aw Truszczy\'nski},
 year         = {1999},
 title        = {Stable models and an alternative logic programming paradigm},
 booktitle    = {The Logic Programming Paradigm: a 25-Year Perspective},
 publisher    = {Springer Verlag},
 pages        = {375--398},
 doi          = {10.1007/978-3-642-60085-2_17},
)
@article(Niemelae99,
 author       = {Ilkka Niemel{\"a}},
 year         = {1999},
 title        = {Logic programs with stable model semantics as a constraint programming paradigm},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 volume       = {25},
 pages        = {241--273},
 doi          = {10.1023/A:1018930122475},
)
@inproceedings(RatnerW86,
 author       = {Daniel Ratner and Manfred K. Warmuth},
 year         = {1986},
 title        = {Finding a Shortest Solution for the N $\times$ N Extension of the 15-PUZZLE Is Intractable},
 booktitle    = {Proc. of AAAI},
 pages        = {168--172},
 note         = {\url{https://dl.acm.org/doi/10.5555/2887770.2887797}},
)
@article(SharonSFS15,
 author       = {Guni Sharon and Roni Stern and Ariel Felner and Nathan R. Sturtevant},
 year         = {2015},
 title        = {Conflict-based search for optimal multi-agent pathfinding},
 journal      = {Artif. Intell.},
 volume       = {219},
 pages        = {40--66},
 doi          = {10.1016/j.artint.2014.11.006},
)
@inproceedings(Surynek10,
 author       = {Pavel Surynek},
 year         = {2010},
 title        = {An Optimization Variant of Multi-Robot Path Planning Is Intractable},
 booktitle    = {Proc. of AAAI},
 note         = {\url{https://dl.acm.org/doi/10.5555/2898607.2898808}},
)
@inproceedings(svancara2019,
 author       = {Jiri Svancara and Marek Vlk and Roni Stern and Dor Atzmon and Roman Bartak},
 year         = {2019},
 title        = {Online Multi-Agent Pathfinding},
 booktitle    = {Proc. of {AAAI}},
 doi          = {10.1609/aaai.v33i01.33017732},
)
@article(Wurman,
 author       = {Peter Wurman and Raffaello D'Andrea and Mick Mountz},
 year         = {2008},
 title        = {Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses},
 journal      = {AI Magazine},
 volume       = {29},
 pages        = {9--20},
 doi          = {10.1609/aimag.v29i1.2082},
)