Alexandre Niveau
5 papers · 2013–2019 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (12)
🚀
Conference Pioneer
Conferences
IJCAI (5)
Top co-authors
Papers
Hintikka's World: Scalable Higher-order Knowledge
IJCAI 2019
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions
IJCAI 2017
Efficient Representations for the Modal Logic S5
IJCAI 2016
An Algebra of Granular Temporal Relations for Qualitative Reasoning
IJCAI 2015
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages
IJCAI 2013