Hintikka's world

swMATH31988MaRDI QIDQ43699FDOQ43699

Author name not available (Why is that?)

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
• Knowledge-based programs as succinct policies for partially observable domains
• SMCDEL

This page was built for software: Hintikka's world