conftrace_

Alexandre Niveau

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

Achievements

Jump to papers ↓

+1 more ↓

🏃 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