Decidability Results in First-Order Epistemic Planning
暂无分享,去创建一个
[1] Thomas Bolander,et al. Undecidability in Epistemic Planning , 2013, IJCAI.
[2] Arnould Bayart. Review: Saul A. Kripke, The Undecidability of Monadic Modal Quantification Theory , 1966 .
[3] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[4] Carlos Gershenson,et al. Information and Computation , 2013, Handbook of Human Computation.
[5] M. Pourmahdian,et al. First-Order Modal Logic: Frame Definability and a Lindström Theorem , 2016, Studia Logica.
[6] Wiebe van der Hoek,et al. Dynamic epistemic logic with assignment , 2005, AAMAS '05.
[7] Quan Yu,et al. Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions , 2013, IJCAI.
[8] Thomas Bolander,et al. Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic , 2014, ECSI.
[9] Günter Asser,et al. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 1955 .
[10] J.F.A.K. van Benthem,et al. Frame correspondences in modal predicate logic , 2010 .
[11] Saul A. Kripke. The Undecidability of Monadic Modal Quantification Theory , 1962 .
[12] A. Visser. Uniform interpolation and layered bisimulation , 1996 .
[13] Stefan Edelkamp,et al. Automated Planning: Theory and Practice , 2007, Künstliche Intell..
[14] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[15] Thomas Bolander,et al. A Gentle Introduction to Epistemic Planning: The DEL Approach , 2017, M4M@ICLA.
[16] Patrick Blackburn,et al. Modal logic: a semantic perspective , 2007, Handbook of Modal Logic.
[17] David Marker,et al. Introduction to Model Theory , 2000 .
[18] J.F.A.K. van Benthem,et al. Modal Logic for Open Minds , 2010 .