Hintikka's world

MaRDI QIDQ43699swMATHFDO

Official website http://hintikkasworld.irisa.fr/

Source code repository https://gitlab.inria.fr/fschwarz/hintikkasworld

Cited in

(3)

• DEL-based epistemic planning: decidability and complexity
• SMCDEL
• Knowledge-based programs as succinct policies for partially observable domains

This page was built for software: Hintikka's world