Hostname: page-component-7c8c6479df-8mjnm Total loading time: 0 Render date: 2024-03-29T10:10:05.481Z Has data issue: false hasContentIssue false

Answer Set Planning: A Survey

Published online by Cambridge University Press:  01 April 2022

SON CAO TRAN
Affiliation:
Department of Computer Science, New Mexico State University, Las Cruces, NM 88003, USA (e-mails: tson@cs.nmsu.edu, epontell@cs.nmsu.edu)
ENRICO PONTELLI
Affiliation:
Department of Computer Science, New Mexico State University, Las Cruces, NM 88003, USA (e-mails: tson@cs.nmsu.edu, epontell@cs.nmsu.edu)
MARCELLO BALDUCCINI
Affiliation:
Department of Decision and System Sciences, Saint Joseph’s University, Philadelphia, PA 19131, USA (e-mail: mbalducc@sju.edu)
TORSTEN SCHAUB
Affiliation:
Department of Computer Science, University of Potsdam, Potsdam, Germany (e-mail: torsten@cs.uni-potsdam.de)

Abstract

Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, that is, solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set solvers has provided a significant boost to the development of ASP-based planning systems. This paper surveys the progress made during the last two and a half decades in the area of answer set planning, from its foundations to its use in challenging planning domains. The survey explores the advantages and disadvantages of answer set planning. It also discusses typical applications of answer set planning and presents a set of challenges for future research.

Type
Survey Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

*

Tran Son and Enrico Pontelli have been partially supported by NSF grants 1914635, 1833630, 1757207, and 1812628. Tran Son’s and Marcello Balduccini’s contribution was made possible in part through the help and support of NIST via cooperative agreement 70NANB21H167. Torsten Schaub was supported by DFG grant SCHA 550/15, Germany.

References

Abels, D., Jordi, J., Ostrowski, M., Schaub, T., Toletti, A. and Wanko, P. 2019. Train scheduling with hybrid ASP. In Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’19), Balduccini, M., Lierler, Y. and Woltran, S., Eds. Lecture Notes in Artificial Intelligence, vol. 11481. Springer-Verlag, 317.Google Scholar
Aker, E., Erdogan, A., Erdem, E. and Patoglu, V. 2011. Causal reasoning for planning and coordination of multiple housekeeping robots. In Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11), J. Delgrande and W. Faber, Eds. Lecture Notes in Artificial Intelligence, vol. 6645. Springer-Verlag, 311316.Google Scholar
Albore, A., Ramrez, M. and Geffner, H. 2011. Effective heuristics and belief tracking for planning with incomplete information. In Proceedings of the Twenty-first International Conference on Automated Planning and Scheduling (ICAPS’11), F. Bacchus, C. Domshlak, S. Edelkamp and M. Helmert, Eds. AAAI Press, 28.Google Scholar
Allen, J., Hendler, J. and Tate, A., Eds. 1990. Readings in Planning. Morgan Kaufmann, CA, USA.Google Scholar
Allen, J., Kautz, H., Pelavin, R. and Tenenberg, J. 1991. Reasoning about Plans. Morgan Kaufmann.Google Scholar
Allen, M. and Zilberstein, S. 2009. Complexity of decentralized control: Special cases. In Proceedings of the Twenty-Third Annual Conference on Neural Information Processing Systems (NIPS’09), Y. Bengio, D. Schuurmans, J. Lafferty, C. Williams and A. Culotta, Eds. Curran Associates, Inc., 1927.Google Scholar
Alviano, M., Calimeri, F., Dodaro, C., FuscÀ, D., Leone, N., Perri, S., Ricca, F., Veltri, P. and Zangari, J. 2017. The ASP system DLV2. In Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), M. Balduccini and T. Janhunen, Eds. Lecture Notes in Artificial Intelligence, vol. 10377. Springer-Verlag, 215221.Google Scholar
Alviano, M., Dodaro, C., Faber, W., Leone, N. and Ricca, F. 2013. WASP: A native ASP solver based on constraint learning. In Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’13), P. Cabalar and T. Son, Eds. Lecture Notes in Artificial Intelligence, vol. 8148. Springer-Verlag, 5466.Google Scholar
Aminof, B., De Giacomo, G., Lomuscio, A., Murano, A. and Rubin, S. 2020. Synthesizing strategies under expected and exceptional environment behaviors. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI’20), C. Bessiere, Ed. ijcai.org, 1674–1680.Google Scholar
Andreychuk, A., Yakovlev, K., Atzmon, D. and Stern, R. 2019. Multi-agent pathfinding with continuous time. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI’19), S. Kraus, Ed. ijcai.org, 39–45.Google Scholar
Atzmon, D., Stern, R., Felner, A., Wagner, G., BartÁk, R. and Zhou, N. 2020. Robust multi-agent path finding and executing. Journal of Artificial Intelligence Research 67, 549579.CrossRefGoogle Scholar
Aucher, G. and Bolander, T. 2013. Undecidability in epistemic planning. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI’13), F. Rossi, Ed. IJCAI/AAAI Press, 2733.Google Scholar
Bacchus, F. 2001. The AIPS’00 planning competition. AI Magazine 22, 3, 4756.Google Scholar
Bäckström, C. and Nebel, B. 1995. Complexity results for SAS+ planning. Computational Intelligence 11, 625656.CrossRefGoogle Scholar
Baier, J. and McIlraith, S. 2008. Planning with preferences. AI Magazine 29, 4, 2536.CrossRefGoogle Scholar
Balduccini, M. 2009. Representing constraint satisfaction problems in answer set programming. In Proceedings of the Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP’09), Faber, W. and Lee, J., Eds. 16–30.Google Scholar
Balduccini, M. 2011. Industrial-size scheduling with ASP+CP. In Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11), Delgrande, J. and Faber, W., Eds. Lecture Notes in Artificial Intelligence, vol. 6645. Springer-Verlag, 284–296.Google Scholar
Balduccini, M. and Gelfond, M. 2003. Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming 3, 4-5, 425461.CrossRefGoogle Scholar
Balduccini, M. and Lierler, Y. 2013. Integration schemas for constraint answer set programming: a case study. In Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP’13), Lamma, E. and Swift, T., Eds. Theory and Practice of Logic Programming, Online Supplement, vol. 13(4-5).Google Scholar
Balduccini, M. and Lierler, Y. 2017. Constraint answer set solver EZCSP and why integration schemas matter. Theory and Practice of Logic Programming 17, 4, 462515.CrossRefGoogle Scholar
Balduccini, M., Magazzeni, D., Maratea, M. and Leblanc, E. 2017. CASP solutions for planning in hybrid domains. Theory and Practice of Logic Programming 17, 4, 591633.CrossRefGoogle Scholar
Banbara, M., Kaufmann, B., Ostrowski, M. and Schaub, T. 2017. Clingcon: The next generation. Theory and Practice of Logic Programming 17, 4, 408461.CrossRefGoogle Scholar
Baral, C. and Gelfond, M. 2000. Reasoning agents in dynamic domains. In Logic-Based Artificial Intelligence, J. Minker, Ed. Kluwer Academic Publishers, Dordrecht, 257279.Google Scholar
Baral, C., Kreinovich, V. and Trejo, R. 2000. Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence 122, 1-2, 241267.CrossRefGoogle Scholar
Baral, C., McIlraith, S. and Son, T. 2000. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’00), Cohn, A., Giunchiglia, F. and Selman, B., Eds. Morgan Kaufmann Publishers, 311322.Google Scholar
Baral, C., Nam, T. and Tuan, L. 2002. Reasoning about actions in a probabilistic setting. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI’02), R. Dechter, M. Kearns and R. Sutton, Eds. AAAI Press, 507512.Google Scholar
Baroni, P., Lamperti, G., Pogliano, P. and Zanella, M. 1999. Diagnosis of large active systems. Artificial Intelligence 110, 1, 135183.CrossRefGoogle Scholar
BartÁk, R. and Svancara, J. 2019. On sat-based approaches for multi-agent path finding with the sum-of-costs objective. In Proceedings of the Twelfth International Symposium on Combinatorial Search (SOCS’19), P. Surynek and W. Yeoh, Eds. AAAI Press, 1017.Google Scholar
BartÁk, R., Svancara, J., SkopkovÁ, V., Nohejl, D. and Krasicenko, I. 2019. Multi-agent path finding on real robots. AI Magazine 32, 3, 175189.Google Scholar
Bartholomew, M. and Lee, J. 2013. Functional stable model semantics and answer set programming modulo theories. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI’13), F. Rossi, Ed. IJCAI/AAAI Press, 718724.Google Scholar
Baselice, S., Bonatti, P. and Gelfond, M. 2005. Towards an integration of answer set and constraint solving. In Proceedings of the Twenty-first International Conference on Logic Programming (ICLP’05), M. Gabbrielli and G. Gupta, Eds. Lecture Notes in Computer Science, vol. 3668. Springer-Verlag, 52–66.Google Scholar
Bellman, R. 1957. A markovian decision process. Journal of Mathematics and Mechanics 6, 5, 679684.Google Scholar
Bernstein, D., Givan, R., Immerman, N. and Zilberstein, S. 2002. The complexity of decentralized control of markov decision processes. Mathematics of Operations Research 27, 4, 819840.CrossRefGoogle Scholar
Bidoux, L., Pignon, J. and BÉnaben, F. 2019. Planning with preferences using multi-attribute utility theory along with a choquet integral. Engineering Applications of Artificial Intelligence 85, 808817.CrossRefGoogle Scholar
Blum, A. and Furst, M. 1997. Fast planning through planning graph analysis. Artificial Intelligence 90, 1-2, 281300.CrossRefGoogle Scholar
Bolander, T. and Andersen, M. 2011. Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics 21, 1, 934.CrossRefGoogle Scholar
Bolander, T., Jensen, M. and Schwarzentruber, F. 2015. Complexity results in epistemic planning. In Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI’15), Yang, Q. and Wooldridge, M., Eds. AAAI Press, 2791–2797. Bonatti, P., Pontelli, E. and Son, T. 2008. Credulous resolution for answer set programming. In Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI’08), D. Fox and C. Gomes, Eds. AAAI Press, 418–423.Google Scholar
Bonet, B. and Geffner, H. 2000. Planning with incomplete information as heuristic search in belief space. In Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems (AIPS’00), S. Chien, S. Kambhampati and C. Knoblock, Eds. AAAI Press, 5261.Google Scholar
Bonet, B. and Geffner, H. 2001. Planning as heuristic search. Artificial Intelligence 129, 533.CrossRefGoogle Scholar
Bonet, B. and Geffner, H. 2003. Labeled RTDP: Improving the convergence of real-time dynamic programming. E. Giunchiglia, N. Muscettola and D. Nau, Eds. AAAI Press, 12–21.Google Scholar
Bonet, B. and Helmert, M. 2010. Strengthening landmark heuristics via hitting sets. In Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI’10), H. Coelho, R. Studer and M. Wooldridge, Eds. IOS Press, 329334.Google Scholar
Boyarski, E., Felner, A., Stern, R., Sharon, G., Tolpin, D., Betzalel, O. and Shimony, S. 2015. ICBS: Improved conflict-based search algorithm for multi-agent pathfinding. In Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI’15), Q. Yang and M. Wooldridge, Eds. AAAI Press, 740746.Google Scholar
Brafman, R. and Domshlak, C. 2008. From one to many: Planning for loosely coupled multi-agent systems. In Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS’08), J. Rintanen, B. Nebel, J. Beck and E. Hansen, Eds. AAAI Press, 2835.Google Scholar
Brafman, R. and Hoffmann, J. 2004. Conformant planning via heuristic forward search: A new approach. In Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS’04), S. Zilberstein, J. Koehler and S. Koenig, Eds. AAAI Press, 355364.Google Scholar
Brenner, M. 2003. A multiagent planning language. In Proceedings of the Workshop on PDDL, 33–38.Google Scholar
Brewka, G. 2002. Logic programming with ordered disjunction. In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI’02), R. Dechter, M. Kearns and R. Sutton, Eds. AAAI Press, 100105.Google Scholar
Brewka, G., Delgrande, J., Romero, J. and Schaub, T. 2015a. asprin: Customizing answer set preferences without a headache. In Proceedings of the Twenty-Ninth National Conference on Artificial Intelligence (AAAI’15), B. Bonet and S. Koenig, Eds. AAAI Press, 14671474.Google Scholar
Brewka, G., Delgrande, J., Romero, J. and Schaub, T. 2015b. Implementing preferences with asprin. In Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’15), F. Calimeri, G. Ianni and M. TruszczyŃski, Eds. Lecture Notes in Artificial Intelligence, vol. 9345. Springer-Verlag, 158172.Google Scholar
Bryant, R. 1992. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24, 3, 293318.CrossRefGoogle Scholar
Bryce, D., Kambhampati, S. and Smith, D. 2006. Planning graph heuristics for belief space search. Journal of Artificial Intelligence Research 26, 3599.CrossRefGoogle Scholar
Burigana, A., Fabiano, F., Dovier, A. and Pontelli, E. 2020. Modelling multi-agent epistemic planning in ASP. Theory and Practice of Logic Programming 20, 5, 593608.CrossRefGoogle Scholar
Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F. and Schaub, T. 2019. ASP-Core-2 input language format. Theory and Practice of Logic Programming 20, 2, 294309.Google Scholar
Camacho, A., Baier, J., Muise, C. and McIlraith, S. 2018. Finite LTL synthesis as planning. In Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS’18), M. de Weerdt, S. Koenig, G. Röger and M. Spaan, Eds. AAAI Press, 2938.Google Scholar
Camacho, A., Bienvenu, M. and McIlraith, S. 2019. Towards a unified view of AI planning and reactive synthesis. In Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS’19), J. Benton, N. Lipovetzky, E. Onaindia, D. Smith and S. Srivastava, Eds. AAAI Press, 5867.Google Scholar
Cashmore, M., Magazzeni, D. and Zehtabi, P. 2020. Planning for hybrid systems via satisfiability modulo theories. Journal of Artificial Intelligence Research 67, 235283.CrossRefGoogle Scholar
Castellini, C., Giunchiglia, E. and Tacchella, A. 2003. SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artificial Intelligence 147, 1-2, 85117.CrossRefGoogle Scholar
Cat, B. D., Denecker, M., Bruynooghe, M. and Stuckey, P. 2015. Lazy model expansion: Interleaving grounding with search. Journal of Artificial Intelligence Research 52, 235286.CrossRefGoogle Scholar
Chakraborti, T., Sreedharan, S., Zhang, Y. and Kambhampati, S. 2017. Plan explanations as model reconciliation: Moving beyond explanation as soliloquy. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI’17), C. Sierra, Ed. IJCAI/AAAI Press, 156163.Google Scholar
Charrier, T., Maubert, B. and Schwarzentruber, F. 2016. On the impact of modal depth in epistemic planning. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI’16), R. Kambhampati, Ed. IJCAI/AAAI Press, 10301036.Google Scholar
Chen, Y., Huang, R., Xing, Z. and Zhang, W. 2009. Long-distance mutual exclusion for planning. Artificial Intelligence 173, 2, 365391.CrossRefGoogle Scholar
Cimatti, A. and Roveri, M. 2000. Conformant planning via symbolic model checking. Journal of Artificial Intelligence Research 13, 305338.CrossRefGoogle Scholar
Cimatti, A., Roveri, M. and Bertoli, P. 2004. Conformant planning via symbolic model checking and heuristic search. Artificial Intelligence 159, 1-2, 127206.CrossRefGoogle Scholar
Cohen, L., Uras, T., Kumar, T., Xu, H., Ayanian, N. and Koenig, S. 2016. Improved solvers for bounded-suboptimal multi-agent path finding. In Proceedings of the Twenty-fifth International Joint Conference on Artificial Intelligence (IJCAI’16), R. Kambhampati, Ed. IJCAI/AAAI Press, 30673074.Google Scholar
Coles, A. and Coles, A. 2011. LPRPG-P: Relaxed plan heuristics for planning with preferences. In Proceedings of the Twenty-First International Conference on Automated Planning and Scheduling (ICAPS’11), F. Bacchus, C. Domshlak, S. Edelkamp and M. Helmert, Eds. AAAI Press.CrossRefGoogle Scholar
Cordier, M. and ThiÉbaux, S. 1994. Event-based diagnosis for evolutive systems. Tech. rep., Technical Report 819, IRISA, Cedex, France.Google Scholar
Crosby, M., Jonsson, A. and Rovatsos, M. 2014. A single-agent approach to multiagent planning. In Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI’14), T. Schaub, G. Friedrich and B. O’Sullivan, Eds. IOS Press, 237242.Google Scholar
Dai, P., Mausam, Weld, D. and Goldsmith, J. 2011. Topological value iteration algorithms. Journal of Artificial Intelligence Research 42, 181209.Google Scholar
Das, M., Odom, P., Islam, M., Doppa, J., Roth, D. and Natarajan, S. 2019. Planning with actively eliciting preferences. Knowledge Based Systems 165, 219227.CrossRefGoogle Scholar
De Kleer, J. and Kurien, J. 2003. Fundamentals of model-based diagnosis. IFAC Proceedings 36, 5, 2536.Google Scholar
Denecker, M., Missiaen, L. and Bruynooghe, M. 1992. Temporal reasoning with abductive event calculus. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI’92), B. Neumann, Ed. John Wiley & Sons, 384–388.Google Scholar
de Weerdt, M., Bos, A., Tonino, H. and Witteveen, C. 2003. A resource logic for multi-agent plan merging. Annals of Mathematics and Artificial Intelligence 37, 1-2, 93130.CrossRefGoogle Scholar
de Weerdt, M. and Clement, B. 2009. Introduction to planning in multiagent systems. Multiagent and Grid Systems 5, 4, 345355.CrossRefGoogle Scholar
de Wilde, B., ter Mors, A. and Witteveen, C. 2014. Push and rotate: A complete multi-agent pathfinding algorithm. Journal of Artificial Intelligence Research 51, 443–492.Google Scholar
Dimopoulos, Y., Gebser, M., LÜhne, P., Romero, J. and Schaub, T. 2019. plasp 3: Towards effective ASP planning. Theory and Practice of Logic Programming 19, 3, 477504.CrossRefGoogle Scholar
Dimopoulos, Y., Nebel, B. and Köhler, J. 1997. Encoding planning problems in nonmonotonic logic programs. In Proceedings of the Fourth European Conference on Planning, S. Steel and R. Alami, Eds. Lecture Notes in Artificial Intelligence, vol. 1348. Springer-Verlag, 169–181.Google Scholar
Dix, J., Kuter, U. and Nau, D. 2005. Planning in answer set programming using ordered task decomposition. In We Will Show Them! Essays in Honour of Dov Gabbay, S. ArtËmov, H. Barringer, A. d’Avila Garcez, L. Lamb and J. Woods, Eds., vol. 1. College Publications, 521–576.Google Scholar
Do, M. and Kambhampati, S. 2003. Sapa: A multi-objective metric temporal planner. Journal of Artificial Intelligence Research 20, 155194.CrossRefGoogle Scholar
Dodaro, C., GalatÀ, G., Khan, M., Maratea, M. and Porro, I. 2019. An asp-based solution for operating room scheduling with beds management. P. Fodor, M. Montali, D. Calvanese and D. Roman, Eds. Lecture Notes in Computer Science, vol. 11784. Springer-Verlag, 6781.Google Scholar
Dovier, A., Formisano, A. and Pontelli, E. 2009. An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. Journal of Experimental and Theoretical Artificial Intelligence 21, 2, 79121.CrossRefGoogle Scholar
Durfee, E. 1999. Distributed problem solving and planning. In Muliagent Systems: A Modern Approach to Distributed Artificial Intelligence, G. Weiss, Ed. MIT Press, 121164.Google Scholar
Eijck, J. V. 2004. Dynamic epistemic modelling. Tech. rep.Google Scholar
Eiter, T., Faber, W., Leone, N., Pfeifer, G. and Polleres, A. 2000. Planning under incomplete knowledge. In Proceedings of the First International Conference on Computational Logic (CL’00), J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, L. Pereira, Y. Sagiv and P. Stuckey, Eds. Lecture Notes in Computer Science, vol. 1861. Springer-Verlag, 807821.Google Scholar
Eiter, T., Faber, W., Leone, N., Pfeifer, G. and Polleres, A. 2003a. Answer set planning under action costs. Journal of Artificial Intelligence Research 19, 2571.CrossRefGoogle Scholar
Eiter, T., Faber, W., Leone, N., Pfeifer, G. and Polleres, A. 2003b. A logic programming approach to knowledge-state planning. Artificial Intelligence 144, 1-2, 157211.CrossRefGoogle Scholar
Eiter, T., Faber, W., Leone, N., Pfeifer, G. and Polleres, A. 2004. A logic programming approach to knowledge-state planning: Semantics and complexity. ACM Transactions on Computational Logic 5, 2, 206263.CrossRefGoogle Scholar
Eiter, T., Leone, N., Mateis, C., Pfeifer, G. and Scarcello, F. 1997. A deductive system for nonmonotonic reasoning. In Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’97), J. Dix, U. Furbach and A. Nerode, Eds. Lecture Notes in Artificial Intelligence, vol. 1265. Springer-Verlag, 363374.Google Scholar
Elkabani, I., Pontelli, E. and Son, T. 2004. Smodels with CLP and its applications: A simple and effective approach to aggregates in ASP. In Proceedings of the Twentieth International Conference on Logic Programming (ICLP’04), B. Demoen and V. Lifschitz, Eds. Lecture Notes in Computer Science, vol. 3132. Springer-Verlag, 7389.Google Scholar
Endriss, U., Mancarella, P., Sadri, F., Terreni, G. and Toni, F. 2004. The CIFF proof procedure for abductive logic programming with constraints. In Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA’04), J. Alferes and J. Leite, Eds. Lecture Notes in Computer Science, vol. 3229. Springer-Verlag, 3143.Google Scholar
Engesser, T., Bolander, T., MattmÜller, R. and Nebel, B. 2017. Cooperative epistemic multi-agent planning for implicit coordination. In Proceedings of the Ninth Workshop on Methods for Modalities, S. Ghosh and R. Ramanujam, Eds. EPTCS, vol. 243, 75–90. Erdem, E., Kisa, D., Öztok, U. and SchÜller, P. 2013. A general formal framework for pathfinding problems with multiple agents. In Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI’13), M. desJardins and M. Littman, Eds. AAAI Press, 290296.Google Scholar
Eshghi, K. 1988. Abductive planning with event calculus. In Proceedings of the Fifth International Conference on Logic Programming (ICLP’88), R. Kowalski and K. Bowen, Eds. MIT Press, 562579.Google Scholar
Fabiano, F., Burigana, A., Dovier, A. and Pontelli, E. 2020. EFP 2.0: A multi-agent epistemic solver with multiple e-state representations. In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (ICAPS’20), J. Beck, O. Buffet, J. Hoffmann, E. Karpas and S. Sohrabi, Eds. AAAI Press, 101109.Google Scholar
Fagin, R., Halpern, J., Moses, Y. and Vardi, M. 1995. Reasoning About Knowledge. MIT Press.Google Scholar
Fandinno, J., Laferriere, F., Romero, J., Schaub, T. and Son, T. 2021. Planning with incomplete information in quantified answer set programming. Theory and Practice of Logic Programming 21, 5, 663679.CrossRefGoogle Scholar
Feldman, A., Pill, I., Wotawa, F., Matei, I. and de Kleer, J. 2020. Efficient model-based diagnosis of sequential circuits. In Proceedings of the Thirty-fourth National Conference on Artificial Intelligence (AAAI’20). AAAI Press, 28142821.Google Scholar
Fikes, R. and Nilsson, N. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 3-4, 189208.CrossRefGoogle Scholar
Fox, M., Long, D. and Magazzeni, D. 2017. Explainable planning. CoRR abs/1709.10256.Google Scholar
Gebser, M., Kaminski, R., Kaufmann, B., Lindauer, M., Ostrowski, M., Romero, J., Schaub, T. and Thiele, S. 2015. Potassco User Guide, 2 ed. University of Potsdam.Google Scholar
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Wanko, P. 2016. Theory solving made easy with clingo 5. In Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP’16), M. Carro and A. King, Eds. OpenAccess Series in Informatics (OASIcs), vol. 52. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2:1–2:15.Google Scholar
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2019. Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming 19, 1, 2782.CrossRefGoogle Scholar
Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2007. clasp: A conflict-driven answer set solver. In Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’07), C. Baral, G. Brewka and J. Schlipf, Eds. Lecture Notes in Artificial Intelligence, vol. 4483. Springer-Verlag, 260265.Google Scholar
Gebser, M., Kaufmann, B., Otero, R., Romero, J., Schaub, T. and Wanko, P. 2013. Domain-specific heuristics in answer set programming. In Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI’13), M. desJardins and M. Littman, Eds. AAAI Press, 350356.Google Scholar
Gebser, M., Obermeier, P., Otto, T., Schaub, T., Sabuncu, O., Nguyen, V. and Son, T. 2018. Experimenting with robotic intra-logistics domains. Theory and Practice of Logic Programming 18, 3-4, 502519.CrossRefGoogle Scholar
Gebser, M., Obermeier, P., Schaub, T., Ratsch-Heitmann, M. and Runge, M. 2018. Routing driverless transport vehicles in car assembly with answer set programming. Theory and Practice of Logic Programming 18, 3-4, 520534.CrossRefGoogle Scholar
Gebser, M., Ostrowski, M. and Schaub, T. 2009. Constraint answer set solving. In Proceedings of the Twenty-Fifth International Conference on Logic Programming (ICLP’09), P. Hill and D. Warren, Eds. Lecture Notes in Computer Science, vol. 5649. Springer-Verlag, 235249.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365385.CrossRefGoogle Scholar
Gelfond, M. and Lifschitz, V. 1998. Action languages. Electronic Transactions on Artificial Intelligence 3, 6, 193210.Google Scholar
Gerevini, A., Dimopoulos, Y., Haslum, P. and Saetti, A. 2004. Fifth international planning competition — deterministic part.Google Scholar
Gerevini, A. and Long, D. 2005. Plan constraints and preferences in pddl 3.0. Tech. rep., University of Brescia, Italy.Google Scholar
Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D. and Wilkins, D. 1998. PDDL — the Planning Domain Definition Language. Version 1.2. Tech. Rep. CVC TR98003/DCS TR1165, Yale Center for Computational Vision and Control.Google Scholar
Ghallab, M., Nau, D. and Traverso, P. 2004. Automated Planning: Theory and Practice. Morgan Kaufmann Publishers.Google Scholar
Ghallab, M., Nau, D. and Traverso, P. 2016. Automated Planning and Acting. Cambridge University Press.CrossRefGoogle Scholar
Giunchiglia, E., Kartha, G. and Lifschitz, V. 1997. Representing action: Indeterminacy and ramifications. Artificial Intelligence 95, 2, 409438.CrossRefGoogle Scholar
Giunchiglia, E. and Maratea, M. 2007. Planning as satisfiability with preferences. In Proceedings of the Twenty-Second National Conference on Artificial Intelligence (AAAI’07). AAAI Press, 987992.Google Scholar
Giunchiglia, E. and Maratea, M. 2011. Introducing preferences in planning as satisfiability. Journal of Logic and Computation 21, 2, 205229.CrossRefGoogle Scholar
Gmytrasiewicz, P. and Doshi, P. 2005. A framework for sequential planning in multi-agent settings. Journal of Artificial Intelligence Research 24, 4979.CrossRefGoogle Scholar
Golden, K. 1998. Leap before you look: Information gathering in the PUCCINI planner. In Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS’98), R. Simmons, M. Veloso and S. Smith, Eds. AAAI Press, 7077.Google Scholar
Golden, K., Etzioni, O. and Weld, D. 1996. Planning with execution and incomplete informations. Tech. Rep. TR96-01-09, Department of Computer Science, University of Washington.Google Scholar
Goldenberg, M., Felner, A., Stern, R., Sharon, G., Sturtevant, N., Holte, R. and Schaeffer, J. 2014. Enhanced partial expansion A*. Journal of Artificial Intelligence Research 50, 141187.CrossRefGoogle Scholar
Goldman, C. and Zilberstein, S. 2004. Decentralized control of cooperative systems: Categorization and complexity analysis. Journal of Artificial Intelligence Research 22, 143174.CrossRefGoogle Scholar
GÓmez, R., HernÁndez, C. and Baier, J. 2020. Solving sum-of-costs multi-agent pathfinding with answer-set programming. In Proceedings of the Thirty-fourth National Conference on Artificial Intelligence (AAAI’20). AAAI Press, 98679874.Google Scholar
GÓmez, R., HernÁndez, C. and Baier, J. 2021. A compact answer set programming encoding of multi-agent pathfinding. IEEE Access 9, 2688626901.CrossRefGoogle Scholar
Grastien, A. and Anbulagan. 2013. Diagnosis of discrete event systems using satisfiability algorithms: A theoretical and empirical study. IEEE Transactions on Automatic Control 58, 12, 30703083.CrossRefGoogle Scholar
Grastien, A. and Scala, E. 2020. CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement. Artificial Intelligence 284, 103271.CrossRefGoogle Scholar
Green, C. 1969. Application of theorem proving to problem solving. In Proceedings of the First International Joint Conference on Artificial Intelligence (IJCAI’69), D. Walker and L. Norton, Eds. William Kaufmann, 219240.Google Scholar
Guestrin, C., Koller, D. and Parr, R. 2001. Multiagent planning with factored mdps. In Proceedings of the Fourteenth Annual Conference on Neural Information Processing Systems (NIPS’01), T. Dietterich, S. Becker and Z. Ghahramani, Eds. MIT Press, 15231530.Google Scholar
Hansen, E. and Zilberstein, S. 2001. Lao*: A heuristic search algorithm that finds solutions with loops. Artificial Intelligence 129, 1-2, 35–62. Haslum, P. and Jonsson, P. 2000. Some results on the complexity of planning with incomplete information. In Proceedings of the Fifth European Conference on Planning (ECP’99), S. Biundo and M. Fox, Eds. Lecture Notes in Computer Science, vol. 1809. Springer-Verlag, 308318.Google Scholar
Helmert, M. 2006. The fast downward planning system. Journal of Artificial Intelligence Research 26, 191246.CrossRefGoogle Scholar
Helmert, M. and Domshlak, C. 2009. Landmarks, critical paths and abstractions: What’s the difference anyway? In Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS’09), A. Gerevini, A. Howe, A. Cesta and I. Refanidis, Eds. AAAI Press.CrossRefGoogle Scholar
Helmert, M. and Geffner, H. 2008. Unifying the causal graph and additive heuristics. In Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling (ICAPS’08), J. Rintanen, B. Nebel, J. Beck and E. Hansen, Eds. AAAI Press, 140147.Google Scholar
Helmert, M. and MattmÜller, R. 2008. Accuracy of admissible heuristic functions in selected planning domains. In Proceedings of the Twenty-third National Conference on Artificial Intelligence (AAAI’08), D. Fox and C. Gomes, Eds. AAAI Press, 938943.Google Scholar
Helmert, M., Röger, G., Seipp, J., Karpas, E., Hoffmann, J., Keyder, E., Nissim, R., Richter, S. and Westphal, M. 2011. Fast downward stone soup. In IPC’11, 3845.Google Scholar
Hendler, J., Tate, A. and Drummond, M. 1990. AI planning: Systems and techniques. AI Magazine 11, 2, 6177.Google Scholar
Hoffmann, J. 2005. Where ’ignoring delete lists’ works: Local search topology in planning benchmarks. Journal of Artificial Intelligence Research 24, 685758.CrossRefGoogle Scholar
Hoffmann, J. and Brafman, R. 2006. Conformant planning via heuristic forward search: A new approach. Artificial Intelligence 170, 6-7, 507541.CrossRefGoogle Scholar
Hoffmann, J. and Nebel, B. 2001. The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14, 253302.CrossRefGoogle Scholar
Hoffmann, J., Porteous, J. and Sebastia, L. 2004. Ordered landmarks in planning. Journal of Artificial Intelligence Research 22, 215278.CrossRefGoogle Scholar
Hönig, W., Kumar, T., Cohen, L., Ma, H., Xu, H., Ayanian, N. and Koenig, S. 2016. Multi-agent path finding with kinematic constraints. In Proceedings of the Twenty-sixth International Conference on Automated Planning and Scheduling (ICAPS’16), A. Coles, A. Coles, S. Edelkamp, D. Magazzeni and S. Sanner, Eds. AAAI Press, 477485.Google Scholar
Huang, X., Fang, B., Wan, H. and Liu, Y. 2017. A general multi-agent epistemic planner based on higher-order belief change. In Proceedings of the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI’17), C. Sierra, Ed. IJCAI/AAAI Press, 10931101.Google Scholar
Jiang, Y., Zhang, S., Khandelwal, P. and Stone, P. 2019. Task planning in robotics: An empirical comparison of PDDL- and ASP-based systems. Frontiers of Information Technology and Electronic Engineering 20, 3, 363373.CrossRefGoogle Scholar
Kaelbling, L., Littman, M. and Cassandra, A. 1998. Planning and acting in partially observable stochastic domains. Artificial Intelligence 101, 1-2, 99134.CrossRefGoogle Scholar
Kambhampati, S., Parker, E. and Lambrecht, E. 1997. Understanding and extending graphplan. In S. Steel and R. Alami, Eds. Lecture Notes in Computer Science, vol. 1348. Springer-Verlag, 260272.Google Scholar
Kautz, H., McAllester, D. and Selman, B. 1996. Encoding plans in propositional logic. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR’96), Aiello, L., Doyle, J. and Shapiro, S., Eds. Morgan Kaufmann Publishers, 374384.Google Scholar
Kautz, H. and Selman, B. 1992. Planning as satisfiability. In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI’92), B. Neumann, Ed. John Wiley & sons, 359363.Google Scholar
Kautz, H. and Walser, J. 1999. State-space planning by integer optimization. In Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI’99), J. Hendler and D. Subramanian, Eds. AAAI/MIT Press, 526533.Google Scholar
Khandelwal, P., Yang, F., Leonetti, M., Lifschitz, V. and Stone, P. 2014. Planning in action language BC while learning action costs for mobile robots. In Proceedings of the Twenty-fourth International Conference on Automated Planning and Scheduling (ICAPS’14), S. Chien, M. Do, A. Fern and W. Ruml, Eds. AAAI Press.CrossRefGoogle Scholar
Kocsis, L. and SzepesvÁri, C. 2006. Bandit based monte-carlo planning. In Proceedings of the Seventeenth European Conference on Machine Learning (ECML’06), J. FÜrnkranz, T. Scheffer and M. Spiliopoulou, Eds. Lecture Notes in Computer Science, vol. 4212. Springer-Verlag, 282293.Google Scholar
Kominis, F. and Geffner, H. 2015. Beliefs in multiagent planning: From one agent to many. In Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS’15), R. Brafman, C. Domshlak, P. Haslum and S. Zilberstein, Eds. AAAI Press, 147155.Google Scholar
Kominis, F. and Geffner, H. 2017. Multiagent online planning with nested beliefs and dialogue. In Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS’17), L. Barbulescu, J. Frank, Mausam and S. Smith, Eds. AAAI Press, 186194.Google Scholar
Korf, R. 1985. Depth-first iterative-deepening: An optimal admissible tree search. Artificial Intelligence 27, 1, 97109.CrossRefGoogle Scholar
Kowalski, R. and Sergot, M. 1986. A logic-based calculus of events. New Generation Computing 4, 1, 6795.CrossRefGoogle Scholar
Le, H. and Pontelli, E. 2005. An investigation of sharing strategies for answer set solvers and SAT solvers. In Proceedings of the Eleventh International Euro-Par Conference, J. Cunha and P. Medeiros, Eds. Lecture Notes in Computer Science, vol. 3648. Springer-Verlag, 750760.Google Scholar
Le, T., Fabiano, F., Son, T. and Pontelli, E. 2018. EFP and PG-EFP: Epistemic forward search planners in multi-agent domains. In Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (ICAPS’18), M. de Weerdt, S. Koenig, G. Röger and M. Spaan, Eds. AAAI Press, 161170.Google Scholar
Le, T., Son, T., Pontelli, E. and Yeoh, W. 2015. Solving distributed constraint optimization problems using logic programming. In Proceedings of the Twenty-Ninth National Conference on Artificial Intelligence (AAAI’15), B. Bonet and S. Koenig, Eds. AAAI Press, 11741181.Google Scholar
Levesque, H. 1996. What is planning in the presence of sensing? In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI’96), W. Clancey and D. Weld, Eds. AAAI/MIT Press, 11391146.Google Scholar
Lierler, Y. and Maratea, M. 2004. Cmodels-2: SAT-based answer sets solver enhanced to non-tight programs. In Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’04), V. Lifschitz and I. Niemelä, Eds. Lecture Notes in Artificial Intelligence, vol. 2923. Springer-Verlag, 346350.Google Scholar
Lifschitz, V. 1999. Answer set planning. In Proceedings of the International Conference on Logic Programming (ICLP’99), D. de Schreye, Ed. MIT Press, 2337.Google Scholar
Lifschitz, V. 2002. Answer set programming and plan generation. Artificial Intelligence 138, 1-2, 3954.CrossRefGoogle Scholar
Lifschitz, V. and Turner, H. 1999. Representing transition systems by logic programs. In Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’99), M. Gelfond, N. Leone and G. Pfeifer, Eds. Lecture Notes in Artificial Intelligence, vol. 1730. Springer-Verlag, 92106.Google Scholar
Lin, F. 1995. Embracing causality in specifying the indirect effects of actions. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI’95), C. Mellish, Ed. Morgan Kaufmann Publishers, 19851993.Google Scholar
Lobo, J. 1998. COPLAS: A COnditional PLAnner with Sensing Actions. Tech. Rep. FS-98-02, AAAI.Google Scholar
Lobo, J., Mendez, G. and Taylor, S. 1997. Adding knowledge to the action description language A. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI’97), B. Kuipers and B. Webber, Eds. AAAI/MIT Press, 454459.Google Scholar
Long, D., Kautz, H., Selman, B., Bonet, B., Geffner, H., Köhler, J., Brenner, M., Hoffmann, J., Rittinger, F., Anderson, C., Weld, D., Smith, D. and Fox, M. 2000. The AIPS’98 planning competition. AI Magazine 21, 2, 1333.Google Scholar
Löwe, B., Pacuit, E. and Witzel, A. 2011. DEL planning and some tractable cases. In Proceedings of the Third International Workshop on Logic, Rationality, and Interaction (LORI’11), H. Van Ditmarsch, J. Lang and S. Ju, Eds. Lecture Notes in Computer Science, vol. 6953. Springer-Verlag, 179192.Google Scholar
Luna, R. and Bekris, K. 2011. Push and swap: Fast cooperative path-finding with completeness guarantees. In Proceedings of the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI’11), T. Walsh, Ed. IJCAI/AAAI Press, 294300.Google Scholar
Ma, H. and Koenig, S. 2016. Optimal target assignment and path finding for teams of agents. In Proceedings of the Fifteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS’16), C. Jonker, S. Marsella, J. Thangarajah and K. Tuyls, Eds. ACM Press, 11441152.Google Scholar
Ma, H., Kumar, T. and Koenig, S. 2017. Multi-agent path finding with delay probabilities. In Proceedings of the Thirty-First National Conference on Artificial Intelligence (AAAI’17), P. Satinder and S. Markovitch, Eds. AAAI Press, 36053612.Google Scholar
Ma, H., Tovey, C., Sharon, G., Kumar, T. and Koenig, S. 2016. Multi-agent path finding with payload transfers and the package-exchange robot-routing problem. In Proceedings of the Thirtieth National Conference on Artificial Intelligence (AAAI’16), D. Schuurmans and M. Wellman, Eds. AAAI Press, 31663173.Google Scholar
Ma, H., Wagner, G., Felner, A., Li, J., Kumar, T. and Koenig, S. 2018. Multi-agent path finding with deadlines. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI’18), J. Lang, Ed. ijcai.org, 417423.Google Scholar
Marple, K. and Gupta, G. 2013. Galliwasp: A goal-directed answer set solver. In Proceedings of the Twenty-second International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR’12), E. Albert, Ed. Lecture Notes in Computer Science, vol. 7844. Springer-Verlag, 122136.Google Scholar
McCain, N. and Turner, H. 1995. A causal theory of ramifications and qualifications. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI’95), C. Mellish, Ed. Morgan Kaufmann Publishers, 19781984.Google Scholar
McIlraith, S. 1997. Representing actions and state constraints in model-based diagnosis. In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI’97), B. Kuipers and B. Webber, Eds. AAAI/MIT Press, 4349.Google Scholar
Mellarkod, V., Gelfond, M. and Zhang, Y. 2008. Integrating answer set programming and constraint logic programming. Annals of Mathematics and Artificial Intelligence 53, 1-4, 251287.CrossRefGoogle Scholar
Metodi, A., Stern, R., Kalech, M. and Codish, M. 2014. A novel sat-based approach to model based diagnosis. Journal of Artificial Intelligence Research 51, 377411.CrossRefGoogle Scholar
Missiaen, L., Bruynooghe, M. and Denecker, M. 1995. CHICA, an abductive planning system based on event calculus. Journal of Logic and Computation 5, 5, 579602.CrossRefGoogle Scholar
Morales, A., Tu, P. and Son, T. 2007. An extension to conformant planning using logic programming. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI’07), M. Veloso, Ed. AAAI/MIT Press, 19911996.Google Scholar
Morris, R., Pasareanu, C., Luckow, K., Malik, W., Ma, H., Kumar, T. and Koenig, S. 2016. Planning, scheduling and monitoring for airport surface operations. In Proceedings of the Workshop on Planning for Hybrid Systems, D. Magazzeni, S. Sanner and S. ThiÉbaux, Eds. AAAI Press.Google Scholar
Mueller, E. 2006. Commonsense Reasoning. Morgan Kaufmann Publishers.CrossRefGoogle Scholar
Muise, C., Belle, V., Felli, P., McIlraith, S., Miller, T., Pearce, A. and Sonenberg, L. 2015. Planning over multi-agent epistemic states: A classical planning approach. In Proceedings of the Twenty-Ninth National Conference on Artificial Intelligence (AAAI’15), B. Bonet and S. Koenig, Eds. AAAI Press, 33273334.Google Scholar
Nair, R., Tambe, M., Yokoo, M., Pynadath, D. and Marsella, S. 2003. Taming decentralized pomdps: Towards efficient policy computation for multiagent settings. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI’03), G. Gottlob and T. Walsh, Eds. Morgan Kaufmann Publishers, 705711.Google Scholar
Nguyen, H., Tran, D., Son, T. and Pontelli, E. 2011. On improving conformant planners by analyzing domain-structures. In Proceedings of the Twenty-Fifth National Conference on Artificial Intelligence (AAAI’11), W. Burgard and D. Roth, Eds. AAAI Press.CrossRefGoogle Scholar
Nguyen, H., Tran, D., Son, T. and Pontelli, E. 2012. On computing conformant plans using classical planners: A generate-and-complete approach. In Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS’12), L. McCluskey, B. Williams, J. Silva and B. Bonet, Eds. AAAI Press.CrossRefGoogle Scholar
Nguyen, V., Obermeier, P., Son, T., Schaub, T. and Yeoh, W. 2017. Generalized target assignment and path finding using answer set programming. In Proceedings of the Twenty-sixth International Joint Conference on Artificial Intelligence (IJCAI’17), C. Sierra, Ed. IJCAI/AAAI Press, 12161223.Google Scholar
Nguyen, V., Stylianos, V., Son, T. and Yeoh, W. 2020. Explainable planning using answer set programming. In Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning (KR’18), D. Calvanese, E. Erdem and M. Thielscher, Eds. AAAI Press, 662666.Google Scholar
Niemelä, I. and Simons, P. 1997. Smodels: An implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’97), J. Dix, U. Furbach and A. Nerode, Eds. Lecture Notes in Artificial Intelligence, vol. 1265. Springer-Verlag, 420429.Google Scholar
Nissim, R. and Brafman, R. 2012. Multi-agent a* for parallel and distributed systems. In Proceedings of the Eleventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS’12), W. van der Hoek, L. Padgham, V. Conitzer and M. Winikoff, Eds. IFAAMAS, 12651266.Google Scholar
Nogueira, M., Balduccini, M., Gelfond, M., Watson, R. and Barry, M. 2001. An A-prolog decision support system for the space shuttle. In Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages (PADL’01), I. Ramakrishnan, Ed. Lecture Notes in Computer Science, vol. 1990. Springer-Verlag, 169183.Google Scholar
Ostrowski, M. and Schaub, T. 2012. ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming 12, 4-5, 485503.CrossRefGoogle Scholar
Palacios, H. and Geffner, H. 2005. Mapping conformant planning into SAT through compilation and projection. In Proceedings of the Eleventh Conference of the Spanish Association for Artificial Intelligence (CAEPIA’05), R. Marn, E. Onaindia, A. Bugarn and J. S. Reyes, Eds. Lecture Notes in Computer Science, vol. 4177. Springer-Verlag, 311320.Google Scholar
Palacios, H. and Geffner, H. 2007. From conformant into classical planning: Efficient translations that may be complete too. In Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS’07), M. Boddy, M. Fox and S. ThiÉbaux, Eds. AAAI Press, 264271.Google Scholar
Palacios, H. and Geffner, H. 2009. Compiling uncertainty away in conformant planning problems with bounded width. Journal of Artificial Intelligence Research 35, 623675.CrossRefGoogle Scholar
PalÙ, A. D., Dovier, A., Pontelli, E. and Rossi, G. 2009. GASP: Answer set programming with lazy grounding. Fundamenta Informaticae 96, 3, 297322.CrossRefGoogle Scholar
Peot, M. and Smith, D. 1992. Conditional Nonlinear Planning. In Proceedings of the First International Conference on Artificial Intelligence Planning Systems (AIPS’92), J. Hendler, Ed. Morgan Kaufmann Publishers, 189197.Google Scholar
Peshkin, L. and Savova, V. 2002. Reinforcement learning for adaptive routing. In Proceedings of the International Joint Conference on Neural Networks (IJCNN’02), vol. 2. 18251830.Google Scholar
Pianpak, P., Son, T., Toups, Z. and Yeoh, W. 2019. A distributed solver for multi-agent path finding problems. In Proceedings of the First International Conference on Distributed Artificial Intelligence (DAI’19). ACM Press, 2:1–2:7.Google Scholar
Pommerening, F., Röger, G., Helmert, M., Cambazard, H., Rousseau, L. and Salvagnin, D. 2020. Lagrangian decomposition for classical planning (extended abstract). In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI’20), C. Bessiere, Ed. ijcai.org, 47704774.Google Scholar
Poupart, P. and Boutilier, C. 2003. Bounded finite state controllers. In Proceedings of the Sixteenth Annual Conference on Neural Information Processing Systems (NIPS’03), S. Thrun, L. Saul and B. Schölkopf, Eds. MIT Press, 823830.Google Scholar
Pryor, L. and Collins, G. 1996. Planning for contingencies: A decision-based approach. Journal of Artificial Intelligence Research 4, 287339.CrossRefGoogle Scholar
Przymusinski, T. 1988. Perfect model semantics. In Proceedings of the Fifth International Conference on Logic Programming (ICLP’88), R. Kowalski and K. Bowen, Eds. MIT Press, 10811096.Google Scholar
Rathnasabapathy, B., Doshi, P. and Gmytrasiewicz, P. 2006. Exact solutions of interactive POMDPs using behavioral equivalence. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’06), H. Nakashima, M. Wellman, G. Weiss and P. Stone, Eds. ACM Press, 10251032.Google Scholar
Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32, 1, 5796.CrossRefGoogle Scholar
Richter, S. and Helmert, M. 2009. Preferred operators and deferred evaluation in satisficing planning. In Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS’09), A. Gerevini, A. Howe, A. Cesta and I. Refanidis, Eds. AAAI Press.CrossRefGoogle Scholar
Rintanen, J. 1999. Constructing conditional plans by a theorem-prover. Journal of Artificial Intelligence Research 10, 323352.CrossRefGoogle Scholar
Rintanen, J. 2011. Planning with SAT, admissible heuristics and A*. In Proceedings of the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI’11), T. Walsh, Ed. IJCAI/AAAI Press, 2015–2020.Google Scholar
Rintanen, J. 2012. Planning as satisfiability: Heuristics. Artificial Intelligence 193, 4586.CrossRefGoogle Scholar
Rintanen, J., Heljanko, K. and Niemelä, I. 2006. Planning as satisfiability: Parallel plans and algorithms for plan search. Artificial Intelligence 170, 12-13, 10311080.CrossRefGoogle Scholar
Rizwan, M., Patoglu, V. and Erdem, E. 2020. Human robot collaborative assembly planning: An answer set programming approach. Theory and Practice of Logic Programming 20, 6, 10061020.CrossRefGoogle Scholar
Robinson, N., Gretton, C., Pham, D. and Sattar, A. 2009. SAT-based parallel planning using a split representation of actions. In Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS’09), A. Gerevini, A. Howe, A. Cesta and I. Refanidis, Eds. AAAI Press, 281288.Google Scholar
Röger, G. and Helmert, M. 2010. The more, the merrier: Combining heuristic estimators for satisficing planning. In Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS’10), R. Brafman, H. Geffner, J. Hoffmann and H. Kautz, Eds. AAAI Press, 246249.Google Scholar
Sacerdoti, E. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence 5, 2, 115135.CrossRefGoogle Scholar
Salzman, O. and Stern, R. 2020. Research challenges and opportunities in multi-agent path finding and multi-agent pickup and delivery problems. In Proceedings of the Nineteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS’20), A. El Fallah Seghrouchni, G. Sukthankar, B. An and N. Yorke-Smith, Eds. International Foundation for Autonomous Agents and Multiagent Systems, 17111715.Google Scholar
Scala, E., Ramrez, M., Haslum, P. and ThiÉbaux, S. 2016. Numeric planning with disjunctive global constraints via SMT. In Proceedings of the Twenty-sixth International Conference on Automated Planning and Scheduling (ICAPS’16), A. Coles, A. Coles, S. Edelkamp, D. Magazzeni and S. Sanner, Eds. AAAI Press, 276284.Google Scholar
Schneidenbach, L., Schnor, B., Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2009. Experiences running a parallel answer set solver on Blue Gene. In Proceedings of the Sixteenth European PVM/MPI Users’ Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface (PVM/MPI’09), M. Ropo, J. Westerholm and J. Dongarra, Eds. Lecture Notes in Computer Science, vol. 5759. Springer-Verlag, 6472.Google Scholar
Shanahan, M. 1997. Event calculus planning revisited. In S. Steel and R. Alami, Eds. Lecture Notes in Computer Science, vol. 1348. Springer-Verlag, 390402.Google Scholar
Shanahan, M. 1999. The ramification problem in the event calculus. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), T. Dean, Ed. Morgan Kaufmann Publishers, 140146.Google Scholar
Shanahan, M. 2000. An abductive event calculus planner. Journal of Logic Programming 44, 1-3, 207240.CrossRefGoogle Scholar
Shani, G., Pineau, J. and Kaplow, R. 2013. A survey of point-based POMDP solvers. Autonomous Agents and Multi-Agent Systems 27, 1, 151.Google Scholar
Sharon, G., Stern, R., Felner, A. and Sturtevant, N. 2015. Conflict-based search for optimal multi-agent pathfinding. Artificial Intelligence 219, 4066.CrossRefGoogle Scholar
Shoham, Y. and Leyton-Brown, K. 2009. Multiagent Systems — Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press.Google Scholar
Sideris, A. and Dimopoulos, Y. 2010. Constraint propagation in propositional planning. In Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS’10), R. Brafman, H. Geffner, J. Hoffmann and H. Kautz, Eds. AAAI Press, 153160.Google Scholar
Silver, D. 2005. Cooperative pathfinding. In Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference (AIIDE’05), R. Young and J. Laird, Eds. AAAI Press, 117122.Google Scholar
Simons, P., Niemelä, I. and Soininen, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138, 1-2, 181234.CrossRefGoogle Scholar
Smith, D. and Weld, D. 1998. Conformant Graphplan. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI’98), J. Mostow and C. Rich, Eds. AAAI/MIT Press, 889896.Google Scholar
Sohrabi, S., Baier, J. and McIlraith, S. 2009. HTN planning with preferences. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI’09), C. Boutilier, Ed. AAAI/MIT Press, 17901797.Google Scholar
Son, T. and Baral, C. 2001. Formalizing sensing actions - a transition function based approach. Artificial Intelligence 125, 1-2, 1991.CrossRefGoogle Scholar
Son, T., Baral, C., Nam, T. and McIlraith, S. 2006. Domain-dependent knowledge in answer set planning. ACM Transactions on Computational Logic 7, 4, 613657.CrossRefGoogle Scholar
Son, T. and Pontelli, E. 2006. Planning with preferences using logic programming. Theory and Practice of Logic Programming 6, 5, 559608.CrossRefGoogle Scholar
Son, T. and Pontelli, E. 2007. Planning for biochemical pathways: A case study of answer set planning in large planning problem instances. In Proceedings of the First Workshop on Software Engineering for Answer Set Programming (SEA’07), M. de Vos and T. Schaub, Eds., vol. 281. CEUR Workshop Proceedings, 116130.Google Scholar
Son, T., Pontelli, E. and Nguyen, N. 2009a. Planning for multiagent using asp-prolog. In Proceedings of the Tenth International Workshop on Computational Logic in Multi-Agent Systems, J. Dix, M. Fisher and P. NovÁk, Eds. Lecture Notes in Computer Science, vol. 6214. Springer-Verlag, 121.Google Scholar
Son, T., Pontelli, E., Nguyen, N. and Sakama, C. 2014. Formalizing negotiations using logic programming. ACM Transactions on Computational Logic 15, 2, 12:1–12:30.Google Scholar
Son, T., Pontelli, E. and Sakama, C. 2009b. Logic programming for multiagent planning with negotiation. In Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP’09), P. Hill and D. Warren, Eds. Lecture Notes in Computer Science, vol. 5649. Springer-Verlag, 99114.Google Scholar
Son, T., Sabuncu, O., Schulz-Hanke, C., Schaub, T. and Yeoh, W. 2016. Solving goal recognition design using ASP. In Proceedings of the Thirtieth National Conference on Artificial Intelligence (AAAI’16), D. Schuurmans and M. Wellman, Eds. AAAI Press, 31813187.Google Scholar
Son, T. and Tu, P. 2006. On the completeness of approximation based reasoning and planning in action theories with incomplete information. In Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR’06), P. Doherty, J. Mylopoulos and C. Welty, Eds. AAAI Press, 481491.Google Scholar
Son, T., Tu, P., Gelfond, M. and Morales, A. 2005a. An approximation of action theories of $\mathcal{AL}$ and its application to conformant planning. In Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’05), C. Baral, G. Greco, N. Leone and G. Terracina, Eds. Lecture Notes in Artificial Intelligence, vol. 3662. Springer-Verlag, 172184.Google Scholar
Son, T., Tu, P., Gelfond, M. and Morales, A. 2005b. Conformant planning for domains with constraints — a new approach. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI’05), M. Veloso and S. Kambhampati, Eds. AAAI Press, 12111216.Google Scholar
Sonu, E. and Doshi, P. 2015. Scalable solutions of interactive pomdps using generalized and bounded policy iteration. Autonomous Agents and Multi-Agent Systems 29, 3, 455494.CrossRefGoogle Scholar
Spies, D., You, J. and Hayward, R. 2019. Human robot collaborative assembly planning: An answer set programming. Theory and Practice of Logic Programming 19, 5-6, 11241142.CrossRefGoogle Scholar
Stern, R., Sturtevant, N., Felner, A., Koenig, S., Ma, H., Walker, T., Li, J., Atzmon, D., Cohen, L., Kumar, T., BartÁk, R. and Boyarski, E. 2019. Multi-agent pathfinding: Definitions, variants, and benchmarks. In Proceedings of the Twelfth International Symposium on Combinatorial Search (SOCS’19), P. Surynek and W. Yeoh, Eds. AAAI Press, 151159.Google Scholar
Subrahmanian, V. and Zaniolo, C. 1995. Relating stable models and AI planning domains. In Proceedings of the Twelfth International Conference on Logic Programming. MIT Press, 233247.Google Scholar
Surynek, P. 2019a. Multi-agent path finding with continuous time and geometric agents viewed through satisfiability modulo theories (SMT). In Proceedings of the Twelfth International Symposium on Combinatorial Search (SOCS’19), P. Surynek and W. Yeoh, Eds. AAAI Press, 200201.Google Scholar
Surynek, P. 2019b. Unifying search-based and compilation-based approaches to multi-agent path finding through satisfiability modulo theories. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI’19), S. Kraus, Ed. ijcai.org, 11771183.Google Scholar
Surynek, P., Felner, A., Stern, R. and Boyarski, E. 2016. Efficient SAT approach to multi-agent path finding under the sum of costs objective. In Proceedings of the Twenty-second European Conference on Artificial Intelligence (ECAI’16), G. Kaminka, M. Fox, P. Bouquet, E. HÜllermeier, V. Dignum, F. Dignum and F. van Harmelen, Eds. IOS Press, 810818.Google Scholar
Surynek, P., Felner, A., Stern, R. and Boyarski, E. 2018. Sub-optimal sat-based approach to multi-agent path-finding problem. In Proceedings of the Eleventh International Symposium on Combinatorial Search (SOCS’18), V. Bulitko and S. Storandt, Eds. AAAI Press, 90105.Google Scholar
Taupe, R., Weinzierl, A. and Friedrich, G. 2019. Degrees of laziness in grounding - effects of lazy-grounding strategies on ASP solving. In Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’19), M. Balduccini, Y. Lierler and S. Woltran, Eds. Lecture Notes in Artificial Intelligence, vol. 11481. Springer-Verlag, 298311.Google Scholar
ThiÉbaux, S., Cordier, M., Jehl, O. and Krivine, J. 1996. Supply restoration in power distribution systems: A case study in integrating model-based diagnosis and repair planning. In Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence (UAI’96), E. Horvitz and F. Jensen, Eds. Morgan Kaufmann Publishers, 525532.Google Scholar
Thiebaux, S., Hoffmann, J. and Nebel, B. 2003. In defense of PDDL axioms. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI’03), G. Gottlob and T. Walsh, Eds. Morgan Kaufmann Publishers, 961968.Google Scholar
Thielscher, M. 1997. A theory of dynamic diagnosis. Electronic Transactions on Artificial Intelligence 1, 4, 73104.Google Scholar
Thielscher, M. 2000. The Fluent Calculus: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments. Tech. Rep. CL-2000-01, Computational Logic Group, Department of Computer Science, Dresden University of Technology.Google Scholar
To, S., Pontelli, E. and Son, T. 2009. A conformant planner with explicit disjunctive representation of belief states. In Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS’09), A. Gerevini, A. Howe, A. Cesta and I. Refanidis, Eds. AAAI Press, 305312.Google Scholar
To, S., Pontelli, E. and Son, T. 2010a. A new approach to conformant planning using cnf. In Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS’10), R. Brafman, H. Geffner, J. Hoffmann and H. Kautz, Eds. AAAI Press, 169176.Google Scholar
To, S., Pontelli, E. and Son, T. 2010b. On the use of prime implicates in conformant planning. In Proceedings of the Twenty-fourth National Conference on Artificial Intelligence (AAAI’10), M. Fox and D. Poole, Eds. AAAI Press.CrossRefGoogle Scholar
TorreÑo, A., Onaindia, E. and Sapena, O. 2012. An approach to multi-agent planning with incomplete information. In Proceedings of the Twentieth European Conference on Artificial Intelligence (ECAI’12), L. De Raedt, C. Bessiere, D. Dubois, P. Doherty, P. Frasconi, F. Heintz and P. Lucas, Eds. IOS Press, 762767.Google Scholar
Tran, D., Nguyen, H., Pontelli, E. and Son, T. 2009. Improving performance of conformant planners: Static analysis of declarative planning domain specifications. In Proceedings of the Eleventh International Symposium on Practical Aspects of Declarative Languages (PADL’09), A. Gill and T. Swift, Eds. Lecture Notes in Computer Science, vol. 5418. Springer-Verlag, 239253.Google Scholar
Tran, V., Nguyen, K., Son, T. and Pontelli, E. 2013. A conformant planner based on approximation: Cpa(h). ACM Transactions on Intelligent Systems and Technology 4, 2, 36:1–36:38.Google Scholar
Treszkai, L. and Belle, V. 2020. A correctness result for synthesizing plans with loops in stochastic domains. International Journal of Approximate Reasoning 119, 92107.CrossRefGoogle Scholar
Tu, P., Son, T. and Baral, C. 2007. Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory and Practice of Logic Programming 7, 4, 377450.CrossRefGoogle Scholar
Tu, P., Son, T., Gelfond, M. and Morales, A. 2011. Approximation of action theories and its application to conformant planning. Artificial Intelligence 175, 1, 79119.CrossRefGoogle Scholar
Turner, H. 1997. Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming 31, 1-3, 245298.CrossRefGoogle Scholar
Turner, H. 2002. Polynomial-length planning spans the polynomial hierarchy. In Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA’02), S. Flesca, S. Greco, N. Leone and G. Ianni, Eds. Lecture Notes in Computer Science, vol. 2424. Springer-Verlag, 111124.Google Scholar
van der Hoek, W. and Wooldridge, M. 2002. Tractable multiagent planning for epistemic goals. In Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’02). ACM Press, 11671174.Google Scholar
Van Ditmarsch, H., van der Hoek, W. and Kooi, B. 2007. Dynamic Epistemic Logic. Springer-Verlag.Google Scholar
Van Gelder, A., Ross, K. and Schlipf, J. 1991. The well-founded semantics for general logic programs. Journal of the ACM 38, 3, 620650.Google Scholar
Van Nieuwenborgh, D., Eiter, T. and Vermeir, D. 2007. Conditional planning with external functions. In Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, 15–17 May 2007, Proceedings, C. Baral, G. Brewka and J. S. Schlipf, Eds. Lecture Notes in Computer Science, vol. 4483. Springer, 214227.Google Scholar
Veloso, M., Biswas, J., Coltin, B. and Rosenthal, S. 2015. CoBots: Robust symbiotic autonomous mobile service robots. In Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI’15), Q. Yang and M. Wooldridge, Eds. AAAI Press, 44234429.Google Scholar
Vidal, V. and Geffner, H. 2006. Branching and pruning: An optimal temporal POCL planner based on constraint programming. Artificial Intelligence 170, 3, 298335.CrossRefGoogle Scholar
Vlassis, N. 2007. A Concise Introduction to Multiagent Systems and Distributed Artificial Intelligence. Morgan and Claypool Publishers.CrossRefGoogle Scholar
Wagner, G. and Choset, H. 2015. Subdimensional expansion for multirobot path planning. Artificial Intelligence 219, 124.Google Scholar
Wan, H., Yang, R., Fang, L., Liu, Y. and Xu, H. 2015. A complete epistemic planner without the epistemic closed world assumption. In Proceedings of the Twenty-fourth International Joint Conference on Artificial Intelligence (IJCAI’15), Q. Yang and M. Wooldridge, Eds. AAAI Press, 32573263.Google Scholar
Wang, K. and Botea, A. 2011. MAPP a scalable multi-agent path planning algorithm with tractability and completeness guarantees. Journal of Artificial Intelligence Research 42, 5590.Google Scholar
Wang, Y. and Lee, J. 2019. Elaboration tolerant representation of markov decision process via decision-theoretic extension of probabilistic action language pBC+. In Proceedings of the Fifteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’19), M. Balduccini, Y. Lierler and S. Woltran, Eds. Lecture Notes in Artificial Intelligence, vol. 11481. Springer-Verlag, 224238.Google Scholar
Warren, D. 1976. Generating conditional plans and programs. In Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour (ECAI’76), 344354.Google Scholar
Weld, D. 1994. An introduction to least commitment planning. AI Magazine 15, 4, 2761.Google Scholar
Weld, D., Anderson, C. and Smith, D. 1998. Extending graphplan to handle uncertainty & sensing actions. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI’98), J. Mostow and C. Rich, Eds. AAAI/MIT Press, 897904.Google Scholar
Williams, B. and Nayak, P. 1996. A model-based approach to reactive self-configuring systems. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI’96), W. Clancey and D. Weld, Eds. AAAI/MIT Press, 971978.Google Scholar
Wotawa, F. 2020. On the use of answer set programming for model-based diagnosis. In Proceedings of the Thirty-third International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE’20), H. Fujita, P. Fournier-Viger, M. Ali and J. Sasaki, Eds. Lecture Notes in Computer Science, vol. 12144. Springer-Verlag, 518529.Google Scholar
Wurman, P., D’Andrea, R. and Mountz, M. 2008. Coordinating hundreds of cooperative, autonomous vehicles in warehouses. AI Magazine 29, 1, 920.Google Scholar
Yalciner, I. F., Nouman, A., Patoglu, V. and Erdem, E. 2017. Hybrid conditional planning using answer set programming. Theory and Practice of Logic Programming 17, 5–6, 10271047.CrossRefGoogle Scholar
Yang, Q. 1997. Intelligent Planning - A Decomposition and Abstraction based Approach. Artificial Intelligence. Springer.Google Scholar
Yu, J. and LaValle, S. 2016. Optimal multirobot path planning on graphs: Complete algorithms and effective heuristics. IEEE Transactions on Robotics 32, 5, 11631177.CrossRefGoogle Scholar
Zhu, L. and Givan, R. 2004. Heuristic planning via roadmap deduction. In IPC-4, 6466.Google Scholar