@inproceedings(AndresRSS15,
 author       = {Benjamin Andres and David Rajaratnam and Orkunt Sabuncu and Torsten Schaub},
 year         = {2015},
 title        = {Integrating {ASP} into {ROS} for Reasoning in Robots},
 booktitle    = {Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning},
 volume       = {9345},
 publisher    = {Springer},
 address      = {Lexington, Kentucky},
 pages        = {69--82},
 doi          = {10.1007/978-3-319-23264-5_7},
)
@inproceedings(barer2014suboptimal,
 author       = {Max Barer and Guni Sharon and Roni Stern and Ariel Felner},
 year         = {2014},
 title        = {Suboptimal Variants of the Conflict-Based Search Algorithm for the Multi-Agent Pathfinding Problem},
 booktitle    = {Seventh Annual Symposium on Combinatorial Search},
 doi          = {10.3233/978-1-61499-419-0-961},
)
@inproceedings(citrigno1997dlv,
 author       = {Simona Citrigno and Thomas Eiter and Wolfgang Faber and Georg Gottlob and Christoph Koch and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello},
 year         = {1997},
 title        = {The {dlv} System: Model Generator and Application Frontends},
 booktitle    = {Proceedings of the 12th Workshop on Logic Programming},
 volume       = {128137},
 pages        = {128--137},
 url          = {https://www.wfaber.com/research/papers/wlp97.pdf},
)
@inproceedings(gekakasc14b,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2014},
 title        = {{Clingo} = {ASP} + Control: Preliminary Report},
 booktitle    = {Technical Communications of the 13th International Conference on Logic Programming},
 volume       = {14(4-5)},
 url          = {https://arxiv.org/abs/1405.3694},
)
@inproceedings(GebserKNS07,
 author       = {Martin Gebser and Benjamin Kaufmann and Andr{\'{e}} Neumann and Torsten Schaub},
 year         = {2007},
 title        = {\emph{clasp} : {A} Conflict-Driven Answer Set Solver},
 booktitle    = {Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning},
 volume       = {4483},
 publisher    = {Springer},
 address      = {Tempe, Arizona},
 pages        = {260--265},
 doi          = {10.1007/978-3-540-72200-7_23},
)
@article(gebser2018experimenting,
 author       = {Martin Gebser and Philipp Obermeier and Thomas Otto and Schaub Torsten and Orkunt Sabuncu and Van Nguyen and Tran Cao Son},
 year         = {2018},
 title        = {Experimenting with robotic intra-logistics domains},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {18},
 number       = {3-4},
 pages        = {502--519},
 doi          = {10.1017/S1471068418000200},
)
@inproceedings(GelfondL90,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1990},
 title        = {Logic Programs with Classical Negation},
 booktitle    = {Logic Programming, Proceedings of the Seventh International Conference},
 publisher    = {{MIT} Press},
 address      = {Jerusalem, Israel},
 pages        = {579--597},
 url          = {https://dl.acm.org/doi/10.5555/87961.88030},
)
@incollection(MarekT99,
 author       = {Victor W. Marek and Miroslaw Truszczynski},
 year         = {1999},
 title        = {Stable Models and an Alternative Logic Programming Paradigm},
 booktitle    = {The Logic Programming Paradigm - {A} 25-Year Perspective},
 publisher    = {Springer},
 pages        = {375--398},
 doi          = {10.1007/978-3-642-60085-2_17},
)
@article(Niemela99,
 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},
 number       = {3-4},
 pages        = {241--273},
 doi          = {10.1023/A:1018930122475},
)
@inproceedings(pianpak2019distributed,
 author       = {Poom Pianpak and Tran Cao Son and Z O Toups and William Yeoh},
 year         = {2019},
 title        = {A Distributed Solver for Multi-Agent Path Finding Problems},
 booktitle    = {Proceedings of the First International Conference on Distributed Artificial Intelligence},
 pages        = {1--7},
 doi          = {10.1145/3356464.3357702},
)
@inproceedings(quigley2009ros,
 author       = {Morgan Quigley and Ken Conley and Brian Gerkey and Josh Faust and Tully Foote and Jeremy Leibs and Rob Wheeler and Andrew Y. Ng},
 year         = {2009},
 title        = {{ROS}: an open-source Robot Operating System},
 booktitle    = {ICRA workshop on open source software},
 volume       = {3},
 address      = {Kobe, Japan},
 pages        = {5},
 url          = {http://www.cim.mcgill.ca/~dudek/417/Papers/quigley-icra2009-ros.pdf},
)
@article(sharon2015conflict,
 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      = {Artificial Intelligence},
 volume       = {219},
 pages        = {40--66},
 doi          = {10.1016/j.artint.2014.11.006},
)
@inproceedings(silver2005cooperative,
 author       = {David Silver},
 year         = {2005},
 title        = {Cooperative Pathfinding},
 booktitle    = {Proceedings of the 1st Artificial Intelligence and Interactive Digital Entertainment Conference},
 volume       = {1},
 publisher    = {Marina Del Rey},
 pages        = {117--122},
 url          = {https://www.aaai.org/Library/AIIDE/2005/aiide05-020.php},
)