Hintikka's World: Scalable Higher-order Knowledge.

Tristan Charrier, Sbastien Gamblin, Alexandre Niveau, Franois Schwarzentruber

Browse the full IJCAI paper archive.