Skip to content
conftrace_

Gabriele Röger

6 papers · 2013–2020 · 1 venue · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓
🏃 Academic Marathon · Sprint 🚀 Conference Pioneer

Venues

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)

Research topics

Artificial Intelligence (3) Core AI (3)

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