Alexandre Niveau

5 papers · 2013–2019 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

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)

Research topics

Artificial Intelligence (2) Core AI (2) Knowledge & Reasoning (1) Reasoning (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