@article(bogatarkanE20expl, author = {Aysu Bogatarkan and Esra Erdem}, year = {2020}, title = {Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming}, journal = {Theory Pract. Log. Program.}, volume = {20}, number = {6}, pages = {974--989}, doi = {10.1017/S1471068420000320}, url = {https://arxiv.org/abs/2008.03573}, ) @inproceedings(bogatarkan2020multi, author = {Aysu Bogatarkan and Esra Erdem and Alexander Kleiner and Volkan Patoglu}, year = {2020}, title = {Multi-modal Multi-agent Path Finding with Optimal Resource Utilization}, booktitle = {Proceedings of 5th International Conference on the Industry 4.0 Model for Advanced Manufacturing}, pages = {313--324}, doi = {10.1007/978-3-030-46212-3\_24}, ) @inproceedings(bogatarkanPE19, author = {Aysu Bogatarkan and Volkan Patoglu and Esra Erdem}, year = {2019}, title = {A Declarative Method for Dynamic Multi-Agent Path Finding}, booktitle = {Proceedings of the 5th Global Conference on Artificial Intelligence}, pages = {54--67}, doi = {10.29007/cnzw}, ) @article(BrewkaET11, author = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski}, year = {2011}, title = {Answer set programming at a glance}, journal = {ACM Commununications}, volume = {54}, number = {12}, pages = {92--103}, doi = {10.1145/2043174.2043195}, ) @article(BrewkaEL16, author = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski}, year = {2016}, title = {Answer Set Programming: An Introduction to the Special Issue}, journal = {{AI} Magazine}, volume = {37}, number = {3}, pages = {5--6}, doi = {10.1609/aimag.v37i3.2669}, ) @article(Dijkstra59, author = {Edsger W. Dijkstra}, year = {1959}, title = {A Note on Two Problems in Connexion with Graphs}, journal = {Numer. Math.}, volume = {1}, number = {1}, pages = {269--271}, doi = {10.1007/BF01386390}, ) @article(DresnerS08, author = {Kurt M. Dresner and Peter Stone}, year = {2008}, title = {A Multiagent Approach to Autonomous Intersection Management}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {31}, pages = {591--695}, doi = {10.1613/jair.2502}, ) @article(gebser2011clingo, author = {Martin Gebser and Benjamin Kaufmann and Roland Kaminski and Max Ostrowski and Torsten Schaub and Marius Schneider}, year = {2011}, title = {Potassco: The Potsdam Answer Set Solving Collection}, journal = {AI Commun.}, volume = {24}, number = {2}, pages = {107\IeC{\textendash}124}, doi = {10.5555/1971622.1971623}, ) @incollection(gelfond1988stable, author = {Michael Gelfond and Vladimir Lifschitz}, year = {1988}, title = {The stable model semantics for logic programming}, booktitle = {Proceedings of International Logic Programming Conference and Symposium}, 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}, ) @inproceedings(LeeY09, author = {Jae{-}Yeong Lee and Wonpil Yu}, year = {2009}, title = {A coarse-to-fine approach for fast path finding for mobile robots}, booktitle = {Proc. of IROS}, pages = {5414--5419}, doi = {10.1109/IROS.2009.5354686}, ) @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}, ) @inproceedings(mccarthy98, author = {John McCarthy}, year = {1998}, title = {Elaboration Tolerance}, booktitle = {Proc. of CommonSense}, ) @inproceedings(MorrisPLMMKK16, author = {Robert Morris and Corina S. Pasareanu and Kasper S{\o}e Luckow and Waqar Malik and Hang Ma and T. K. Satish Kumar and Sven Koenig}, year = {2016}, title = {Planning, Scheduling and Monitoring for Airport Surface Operations}, booktitle = {Planning for Hybrid Systems, Papers from {AAAI} Workshop.}, ) @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}, ) @inproceedings(tork2019, author = {Emre Hilmi Songur and Aysu Bogatarkan and Farukhzhon Barotov and Batuhan Yildirim and Gokay Coruhlu and Esra Erdem and Volkan Patoglu}, year = {2019}, title = {Cok-etmenli yorunge bulma probleminin lego robotlarinda uygulanmasi: bir egitsel robotik calismasi}, booktitle = {5. T\IeC{\"u}rkiye Robotbilim Konferans\IeC{\i} (TORK 2019)}, publisher = {Ozyegin Universitesi Yayinlari}, pages = {172--177}, url = {https://tork2019.ozyegin.edu.tr/sites/default/files/tork2019_r1.pdf}, ) @inproceedings(StandleyK11, author = {Trevor Scott Standley and Richard E. Korf}, year = {2011}, title = {Complete Algorithms for Cooperative Pathfinding Problems}, booktitle = {Proc. of IJCAI}, pages = {668--673}, doi = {10.5591/978-1-57735-516-8/IJCAI11-118}, ) @article(WurmanDM08, author = {Peter R. Wurman and Raffaello D'Andrea and Mick Mountz}, year = {2008}, title = {Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses}, journal = {{AI} Magazine}, volume = {29}, number = {1}, pages = {9--20}, doi = {10.1609/aimag.v29i1.2082}, )