no code implementations • 14 Jun 2019 • Andrés Occhipinti Liberman, Andreas Achen, Rasmus Kræmmer Rendsvig
The formalism combines the strengths of DEL (higher-order reasoning) with those of first-order logic (lifted representation) to model multi-agent epistemic planning.