Dynamic Term-Modal Logics for First-Order Epistemic Planning

14 June 2019

Papers citing "Dynamic Term-Modal Logics for First-Order Epistemic Planning"

3 / 3 papers shown

Title
Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic Andreas Achen 13 2 0 05 Nov 2018
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change Xiao Huang Biqing Fang Hai Wan Yongmei Liu 21 54 0 29 Jun 2018
A Gentle Introduction to Epistemic Planning: The DEL Approach Thomas Bolander 83 51 0 07 Mar 2017