%0 Conference Paper %1 conf/ijcai/CharrierGNS19 %A Charrier, Tristan %A Gamblin, Sébastien %A Niveau, Alexandre %A Schwarzentruber, François %B IJCAI %D 2019 %E Kraus, Sarit %I ijcai.org %K dblp %P 6494-6496 %T Hintikka's World: Scalable Higher-order Knowledge. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#CharrierGNS19

@inproceedings{conf/ijcai/CharrierGNS19, added-at = {2024-10-06T00:00:00.000+0200}, author = {Charrier, Tristan and Gamblin, Sébastien and Niveau, Alexandre and Schwarzentruber, François}, biburl = {https://www.bibsonomy.org/bibtex/29d49635772b146d52d7c4cdcd1e78d87/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2019}, editor = {Kraus, Sarit}, ee = {https://doi.org/10.24963/ijcai.2019/934}, interhash = {4fd91979090492aecc2b865ed9b39393}, intrahash = {9d49635772b146d52d7c4cdcd1e78d87}, keywords = {dblp}, pages = {6494-6496}, publisher = {ijcai.org}, timestamp = {2024-10-07T09:17:49.000+0200}, title = {Hintikka's World: Scalable Higher-order Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2019.html#CharrierGNS19}, year = 2019 }