conftrace_

Fabio Mogavero

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

Achievements

Jump to papers ↓

+3 more ↓

🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (7) 🌈 Renaissance Researcher (5) 🧭 Keyword Pioneer

🌍 Conference Polyglot (2) 📈 Trend Setter 🚀 Conference Pioneer

Conferences

AAAI (1) IJCAI (1)

Top co-authors

Efthymia Tsamoura (1) Michael Benedikt (1) Erman Acar (1) Massimo Benerecetti (1) Egor V. Kostylev (1)

Keywords

logical reasoning (1) query reformulation (1) nash equilibrium (1) model checking (1) background knowledge (1) vocabulary restriction (1) complexity classification (1) strategy logic (1) multi-agent system (1) query equivalent (1)

Papers

Satisfiability in Strategy Logic Can Be Easier than Model Checking AAAI 2019 Reformulating Queries: Theory and Practice IJCAI 2017