References

  1. Mikkel Birkegaard Andersen, Thomas Bolander & Martin Holm Jensen: Don't plan for the unexpected: Planning based on plausibility models. Logique et Analyse. To appear.
  2. Mikkel Birkegaard Andersen, Thomas Bolander & Martin Holm Jensen (2012): Conditional epistemic planning. In: Logics in Artificial Intelligence. Springer, pp. 94–106, doi:10.1007/978-3-642-33353-8_8.
  3. Guillaume Aucher (2012): DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics 22(4), pp. 337–367, doi:10.1080/11663081.2012.736703.
  4. Guillaume Aucher & Thomas Bolander (2013): Undecidability in Epistemic Planning. In: IJCAI, pp. 27–33. Available at https://hal.inria.fr/hal-00824653.
  5. Christer Bäckström & Peter Jonsson (2011): All PSPACE-Complete Planning Problems Are Equal but Some Are More Equal than Others. In: SOCS 2011. Available at http://www.aaai.org/ocs/index.php/SOCS/SOCS11/paper/view/4009.
  6. Alexandru. Baltag & Larry Moss (2004): Logics for epistemic programs. Synthese 139, pp. 165–224, doi:10.1023/B:SYNT.0000024912.56773.5e.
  7. Thomas Bolander & M. Birkegaard Andersen (2011): Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics 21(1), pp. 9–34, doi:10.3166/jancl.21.9-34.
  8. Blai Bonet (2010): Conformant plans and beyond: Principles and complexity. Artificial Intelligence. 174(3-4), pp. 245–269, doi:10.1016/j.artint.2009.11.001.
  9. Blai Bonet & Hector Geffner (2000): Planning with Incomplete Information as Heuristic Search in Belief Space. In: ICAPS 2000, pp. 52–61, doi:10.1.1.38.8535. Available at http://www.aaai.org/Library/AIPS/2000/aips00-006.php.
  10. Blai Bonet & Hector Geffner (2012): Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning. In: AAAI 2012. Available at http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5022.
  11. Ronen I. Brafman & Jörg Hoffmann (2004): Conformant Planning via Heuristic Forward Search: A New Approach. In: ICAPS 2004, pp. 355–364, doi:10.1016/j.artint.2006.01.003. Available at http://www.aaai.org/Library/ICAPS/2004/icaps04-042.php.
  12. Daniel Bryce, Subbarao Kambhampati & David E. Smith (2006): Planning Graph Heuristics for Belief Space Search. Journal of Artificial Intelligence Research 26, pp. 35–99, doi:10.1613/jair.1869.
  13. Alessandro Cimatti & Marco Roveri (2000): Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research 13, pp. 305–338, doi:10.1613/jair.774.
  14. Alessandro Cimatti & Marco Roveri (2011): Conformant Planning via Symbolic Model Checking. CoRR abs/1106.0252. Available at http://arxiv.org/abs/1106.0252.
  15. Alessandro Cimatti, Marco Roveri & Piergiorgio Bertoli (2004): Conformant planning via symbolic model checking and heuristic search. Artificial Intelligence 159(1-2), pp. 127–206, doi:10.1016/j.artint.2004.05.003.
  16. Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007): Dynamic epistemic logic. Springer, doi:10.1007/978-1-4020-5839-4.
  17. R. Fagin, J. Halpern, Y. Moses & M. Vardi (1995): Reasoning about knowledge. MIT Press, Cambridge, MA, USA.
  18. R. Fagin, J. Y. Halpern, Y. Moses & M. Y. Vardi (1997): Knowledge-based programs. Distributed Computing 10(4), pp. 199–225, doi:10.1007/s004460050038.
  19. Patrik Haslum & Peter Jonsson (1999): Some Results on the Complexity of Planning with Incomplete Information. In: ECP 1999, pp. 308–318, doi:10.1007/10720246_24.
  20. Tao Jiang & B. Ravikumar (1991): A note on the space complexity of some decision problems for finite automata. Information Processing Letters 40, pp. 25–31, doi:10.1016/S0020-0190(05)80006-7.
  21. Jon Kleinberg & Éva Tardos (2005): Algorithm Design. Addison-Wesley.
  22. Jérôme Lang & Bruno Zanuttini (2012): Knowledge-Based Programs as Plans - The Complexity of Plan Verification. In: ECAI 2012, pp. 504–509, doi:10.3233/978-1-61499-098-7-504.
  23. Martin Lange (2006): Model checking propositional dynamic logic with all extras. Journal of Applied Logic 4, pp. 39–49, doi:10.1016/j.jal.2005.08.002.
  24. Benedikt Löwe, Eric Pacuit & Andreas Witzel (2011): DEL planning and some tractable cases. In: LORI 2011. Springer, pp. 179–192, doi:10.1007/978-3-642-24130-7_13.
  25. Héctor Palacios & Hector Geffner (2006): Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes). In: AAAI 2006, pp. 900–905. Available at http://www.aaai.org/Library/AAAI/2006/aaai06-142.php.
  26. Pere Pardo & Mehrnoosh Sadrzadeh (2013): Strong Planning in the Logics of Communication and Change. In: Declarative Agent Languages and Technologies X. Springer, pp. 37–56, doi:10.1007/978-3-642-37890-4_3.
  27. Rohit. Parikh & R. Ramanujam (1985): Distributed Processes and the Logic of Knowledge. In: Proceedings of Conference on Logic of Programs. Springer-Verlag, London, UK, pp. 256–268, doi:10.1007/3-540-15648-8_21.
  28. Philippe Schnoebelen (2003): The Complexity of Temporal Logic Model Checking. In: Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev: AiML 2002. King's College Publication, Toulouse, France, pp. 393–436. Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/Sch-aiml02.pdf. Invited paper.
  29. David E. Smith & Daniel S. Weld (1998): Conformant Graphplan. In: AAAI 1998, pp. 889–896. Available at http://www.aaai.org/Library/AAAI/1998/aaai98-126.php.
  30. Larry J Stockmeyer & Albert R Meyer (1973): Word problems requiring exponential time (Preliminary Report). In: STOC 1973. ACM, pp. 1–9, doi:10.1145/800125.804029.
  31. Son Thanh To, Tran Cao Son & Enrico Pontelli (2010): A New Approach to Conformant Planning Using CNF*. In: ICAPS 2010, pp. 169–176. Available at http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1461.
  32. Yanjing Wang & Qinxiang Cao (2013): On axiomatizations of public announcement logic. Synthese 190, pp. 103–134, doi:10.1007/s11229-012-0233-5.
  33. Yanjing Wang & Yanjun Li (2012): Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.. In: AiML 2012, pp. 559–580. Available at http://www.aiml.net/volumes/volume9/Wang-Li.pdf.
  34. Quan Yu, Ximing Wen & Yongmei Liu (2013): Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. In: IJCAI 2013, pp. 1183–1190. Available at http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6631.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org