Gabriele Röger

47 papers A* 25A 3B 8Journal 6Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Automated Planning with Ontologies Under Coherence Update Semantics. KR Stefan Borgwardt, Duy Nhu, Gabriele Röger
2025	—	`conf`	Automated Planning with Ontologies under Coherence Update Semantics (Extended Abstract). DL Stefan Borgwardt, Duy Nhu, Gabriele Röger
2025	J	`jnl`	Automated planning with ontologies under coherence update semantics (Extended Version). CoRR Stefan Borgwardt, Duy Nhu, Gabriele Röger
2025	A*	`conf`	Domain-Independent Instance Generation for Classical Planning. KR Claudia Grundke, Malte Helmert, Gabriele Röger
2025	J	`jnl`	Eliminating Negative Occurrences of Derived Predicates from PDDL Axioms. CoRR Claudia Grundke, Gabriele Röger
2025	J	`jnl`	Pseudo-Boolean Proof Logging for Optimal Classical Planning. CoRR Simon Dold, Malte Helmert, Jakob Nordström, Gabriele Röger, Tanja Schindler
2025	J	`jnl`	Unified Planning: Modeling, manipulating and solving AI planning problems in Python. SoftwareX Andrea Micheli, Arthur Bit-Monnot, Gabriele Röger, Enrico Scala, Alessandro Valentini, Luca Framba, Alberto Rovetta, Alessandro Trapasso, Luigi Bonassi, Alfonso Emilio Gerevini, Luca Iocchi, Félix Ingrand, Uwe Köckemann, Fabio Patrizi, Alessandro Saetti, Ivan Serina, Sebastian Stock
2024	A*	`conf`	Formal Representations of Classical Planning Domains. ICAPS Claudia Grundke, Gabriele Röger, Malte Helmert
2024	A*	`conf`	Merging or Computing Saturated Cost Partitionings? A Merge Strategy for the Merge-and-Shrink Framework. ICAPS Silvan Sievers, Thomas Keller, Gabriele Röger
2023	—	`conf`	Encouraging AI Adoption by SMEs: Opportunities and Contributions by the ICT49 Project Cluster. IISA Ourania I. Markaki, Aikaterini Papapostolou, Spiros Mouzakitis, Izabela Zrazinska, Urszula Sobek, Thomas Wilczek, Antonis Troumpoukis, Xenia Ziouvelou, Vangelis Karkaletsis, Alexandra Carrasco, Miriam García, Gabriele Röger, Andrea Micheli, Jaime Alessandro Codagnone, Miguel de Prado, Siobhan O'Neill
2022	A*	`conf`	Cost Partitioning Heuristics for Stochastic Shortest Path Problems. ICAPS Thorsten Klößner, Florian Pommerening, Thomas Keller, Gabriele Röger
2022	B	`conf`	On Producing Shortest Cost-Optimal Plans. SOCS Michael Katz, Gabriele Röger, Malte Helmert
2020	B	`conf`	An Atom-Centric Perspective on Stubborn Sets. SOCS Gabriele Röger, Malte Helmert, Jendrik Seipp, Silvan Sievers
2020	A*	`conf`	Lagrangian Decomposition for Classical Planning (Extended Abstract). IJCAI Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
2019	A*	`conf`	Lagrangian Decomposition for Optimal Cost Partitioning. ICAPS Florian Pommerening, Gabriele Röger, Malte Helmert, Hadrien Cambazard, Louis-Martin Rousseau, Domenico Salvagnin
2019	A*	`conf`	Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. ICAPS Silvan Sievers, Gabriele Röger, Martin Wehrle, Michael Katz
2018	A*	`conf`	A Proof System for Unsolvable Planning Tasks. ICAPS Salomé Eriksson, Gabriele Röger, Malte Helmert
2018	A*	`conf`	Inductive Certificates of Unsolvability for Domain-Independent Planning. IJCAI Salomé Eriksson, Gabriele Röger, Malte Helmert
2018	J	`jnl`	Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve
2018	A*	`ed.`	Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, ICAPS 2018, Delft, The Netherlands, June 24-29, 2018. ICAPS Mathijs de Weerdt, Sven Koenig, Gabriele Röger, Matthijs T. J. Spaan
2018	A*	`conf`	Symmetry-Based Task Reduction for Relaxed Reachability Analysis. ICAPS Gabriele Röger, Silvan Sievers, Michael Katz
2017	B	`conf`	Optimal Solutions to Large Logistics Planning Domain Problems. SOCS Gerald Paul, Gabriele Röger, Thomas Keller, Malte Helmert
2017	A*	`conf`	Towards Certified Unsolvability in Classical Planning. IJCAI Gabriele Röger
2017	A*	`conf`	Unsolvability Certificates for Classical Planning. ICAPS Salomé Eriksson, Gabriele Röger, Malte Helmert
2016	A*	`conf`	Correlation Complexity of Classical Planning Domains. IJCAI Jendrik Seipp, Florian Pommerening, Gabriele Röger, Malte Helmert
2015	B	`conf`	Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. SOCS Salomé Simon, Gabriele Röger
2015	A*	`conf`	From Non-Negative to General Operator Cost Partitioning. AAAI Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp
2015	A*	`conf`	Heuristics for Cost-Optimal Classical Planning Based on Linear Programming. IJCAI Florian Pommerening, Gabriele Röger, Malte Helmert, Blai Bonet
2015	A*	`conf`	On the Expressive Power of Non-Linear Merge-and-Shrink Representations. ICAPS Malte Helmert, Gabriele Röger, Silvan Sievers
2014	A*	`conf`	LP-Based Heuristics for Cost-Optimal Planning. ICAPS Florian Pommerening, Gabriele Röger, Malte Helmert, Blai Bonet
2014	A	`conf`	Optimal Planning in the Presence of Conditional Effects: Extending LM-Cut with Context Splitting. ECAI Gabriele Röger, Florian Pommerening, Malte Helmert
2014	—	`—`	Planning techniques and the action language golog (Planungstechniken und die Aktionssprache Golog) Gabriele Röger
2013	A*	`conf`	Getting the Most Out of Pattern Databases for Classical Planning. IJCAI Florian Pommerening, Gabriele Röger, Malte Helmert
2013	B	`conf`	Preface. SOCS Malte Helmert, Gabriele Röger
2013	B	`ed.`	Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. SOCS Malte Helmert, Gabriele Röger
2013	B	`conf`	SoCS 2013 Organization. SOCS Malte Helmert, Gabriele Röger
2012	—	`conf`	Non-Optimal Multi-Agent Pathfinding Is Solved (Since 1984). MAPF@AAAI Gabriele Röger, Malte Helmert
2012	B	`conf`	Non-Optimal Multi-Agent Pathfinding is Solved (Since 1984). SOCS Gabriele Röger, Malte Helmert
2012	J	`jnl`	Platas - Integrating Planning and the Action Language Golog. Künstliche Intell. Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel
2012	—	`ch.`	Using the Context-Enhanced Additive Heuristic for Temporal and Numeric Planning. Towards Service Robots for Everyday Environments Patrick Eyerich, Robert Mattmüller, Gabriele Röger
2010	A	`conf`	Relative-Order Abstractions for the Pancake Problem. ECAI Malte Helmert, Gabriele Röger
2010	A*	`conf`	The More, the Merrier: Combining Heuristic Estimators for Satisficing Planning. ICAPS Gabriele Röger, Malte Helmert
2009	A*	`conf`	Using the Context-enhanced Additive Heuristic for Temporal and Numeric Planning. ICAPS Patrick Eyerich, Robert Mattmüller, Gabriele Röger
2008	A*	`conf`	How Good is Almost Perfect?. AAAI Malte Helmert, Gabriele Röger
2008	A*	`conf`	On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. KR Gabriele Röger, Malte Helmert, Bernhard Nebel
2007	A*	`conf`	Expressiveness of ADL and Golog: Functions Make a Difference. AAAI Gabriele Röger, Bernhard Nebel
2006	A	`conf`	Aproximation Properties of Planning Benchmarks. ECAI Malte Helmert, Robert Mattmüller, Gabriele Röger