Raul Fervari

2 papers · 2017–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (9)

Conferences

AAAI (1) IJCAI (1)

Top co-authors

Andreas Herzig (1) Yanjing Wang (1) Yanjun Li (1) Stéphane Demri (1)

Keywords

modal logic (2) complexity analysis (1) model checking (1) epistemic logic (1) goal-directed knowing how (1) ability-based logic (1) strategic reasoning (1) knowing how (1)

Papers

Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023

Strategically knowing how IJCAI 2017