Alexandre Niveau

5 papers · 2013–2019 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (12) 🚀 Conference Pioneer

Conferences

IJCAI (5)

Top co-authors

Maroua Bouzid (2) Quentin Cohen-Solal (2) Tristan Charrier (1) Pierre Marquis (1) Sébastien Gamblin (1) Bruno Zanuttini (1) Hélène Fargier (1) François Schwarzentruber (1)

Keywords

symbolic reasoning (1) temporal sequence (1) knowledge representation (1) topological relation (1) epistemic logic (1) multi-agent system (1) qualitative reasoning (1) higher-order knowledge (1) moving region (1) tractable subclass (1)

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