research
∙
06/14/2019
Dynamic Term-Modal Logics for Epistemic Planning
Classical planning frameworks are built on first-order languages. The fi...
research
∙
11/05/2018