Gabriele Röger

6 papers · 2013–2020 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (3) 🚀 Conference Pioneer

Conferences

IJCAI (6)

Top co-authors

Malte Helmert (5) Florian Pommerening (4) Blai Bonet (1) Hadrien Cambazad (1) Louis-Martin Rousseau (1) Salomé Eriksson (1) Domenico Salvagnin (1) Jendrik Seipp (1)

Keywords

unsolvability certificate (2) shortest path problem (1) classical planning (1) lagrangian decomposition (1) proof system (1) abstraction heuristic (1) sound and complete (1) cost partitioning (1) operator-counting heuristic (1) planning task (1) independent verification (1)

Papers

Lagrangian Decomposition for Classical Planning (Extended Abstract) IJCAI 2020

Inductive Certificates of Unsolvability for Domain-Independent Planning IJCAI 2018

Towards Certified Unsolvability in Classical Planning IJCAI 2017

Correlation Complexity of Classical Planning Domains IJCAI 2016

Heuristics for Cost-Optimal Classical Planning Based on Linear Programming IJCAI 2015

Getting the Most Out of Pattern Databases for Classical Planning IJCAI 2013