conftrace_

Tiago de Lima

3 papers · 2017–2025 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (12)

Conferences

IJCAI (2) AAAI (1)

Top co-authors

Emiliano Lorini (2) François Schwarzentruber (1) Daniel Le Berre (1) Elise Perrotin (1) Jean-Marie Lagniez (1) Valentin Montmirail (1)

Keywords

model checking (3) modal logic (3) abstraction refinement (1) recursive algorithm (1) causal explanation (1) automata theory (1) belief base (1) modal operator (1) cognitive attitude (1) causal reasoning (1) agent reasoning (1) explainable ai (1)

Papers

A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 Model Checking Causality IJCAI 2024 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017