Andreas Achen | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Rasmus K. Rendsvig
11 publications
Andrés Occhipinti Liberman
4 publications

research

∙ 06/14/2019

Dynamic Term-Modal Logics for Epistemic Planning

Classical planning frameworks are built on first-order languages. The fi...

0 Andreas Achen, et al. ∙

research

∙ 11/05/2018

Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic

In the present paper syntax and semantics will be presented for an expan...

0 Andreas Achen, et al. ∙