Manuel Bodirsky

3 papers · 2001–2021 · 3 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🏃 Academic Marathon (20) 🐝 Cross-Pollinator (8) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird

Conferences

AAAI (1) ACL (1) IJCAI (1)

Top co-authors

Joachim Niehren (1) Antoine Mottet (1) Peter Jonsson (1) Simon Knäuer (1) Barnaby Martin (1) Katrin Erk (1) Alexander Koller (1)

Keywords

constraint satisfaction (2) computational complexity (1) spatial reasoning (1) complexity classification (1) constraint satisfaction problem (1) interval algebra (1) primitive positive interpretation (1) rectangle algebra (1) relation algebra (1) temporal reasoning (1) network satisfaction (1)

Papers

Network Satisfaction for Symmetric Relation Algebras with a Flexible Atom AAAI 2021

Classification Transfer for Qualitative Reasoning Problems IJCAI 2018

Underspecified Beta Reduction ACL 2001