edoc

Browse by Basel Contributors ID

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed | No Grouping

Klößner, Thorsten and Pommerening, Florian and Keller, Thomas and Röger, Gabriele. (2022) Cost Partitioning Heuristics for Stochastic Shortest Path Problems. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 193-202.

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

Katz, Michael and Röger, Gabriele and Helmert, Malte. (2022) On Producing Shortest Cost-Optimal Plans. In: Proceedings of the Fifteenth International Symposium on Combinatorial Search (SoCS 2022). pp. 100-108.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Cambazard, Hadrien and Rousseau, Louis-Martin and Salvagnin, Domenico. (2020) Lagrangian Decomposition for Classical Planning (Extended Abstract). In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). pp. 4770-4774.

Röger, Gabriele and Helmert, Malte and Seipp, Jendrik and Sievers, Silvan. (2020) An Atom-Centric Perspective on Stubborn Sets. In: Proceedings of the 13th Annual Symposium on Combinatorial Search (SoCS 2020). pp. 57-65.

Sievers, Silvan and Röger, Gabriele and Wehrle, Martin and Katz, Michael. (2019) Theoretical Foundations for Structural Symmetries of Lifted PDDL Tasks. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 446-454.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Cambazard, Hadrien and Rousseau, Louis-Martin and Salvagnin, Domenico. (2019) Lagrangian Decomposition for Optimal Cost Partitioning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019), 29. pp. 338-347.

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2018) A Proof System for Unsolvable Planning Tasks. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 65-73.

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2018) Inductive Certificates of Unsolvability for Domain-Independent Planning. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. pp. 5244-5248.

Röger, Gabriele and Sievers, Silvan and Katz, Michael. (2018) Symmetry-based Task Reduction for Relaxed Reachability Analysis. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018). pp. 208-217.

Seipp, Jendrik and Röger, Gabriele. (2018) Fast Downward Stone Soup 2018 (planner abstract). Ninth International Planning Competition (IPC 2018).

Eriksson, Salomé and Röger, Gabriele and Helmert, Malte. (2017) Unsolvability Certificates for Classical Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Paul, Gerald and Röger, Gabriele and Keller, Thomas and Helmert, Malte. (2017) Optimal Solutions to Large Logistics Planning Domain Problems. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017).

Röger, Gabriele. (2017) Towards Certified Unsolvability in Classical Planning. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. pp. 5141-5145 .

Seipp, Jendrik and Pommerening, Florian and Röger, Gabriele and Helmert, Malte. (2016) Correlation Complexity of Classical Planning Domains. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. pp. 3242-3250.

Pommerening, Florian and Helmert, Malte and Röger, Gabriele and Seipp, Jendrik. (2015) From non-negative to general operator cost partitioning. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3335-3341.

Röger, Gabriele and Pommerening, Florian. (2015) Linear programming for heuristics in optimal planning. In: Planning, Search, and Optimization : papers from the 2015 AAAI Workshop ; Austin, Jan. 25-26, 2015. Palo Alto, Calif., pp. 69-76.

Helmert, Malte and Röger, Gabriele and Sievers, Silvan. (2015) On the expressive power of non-linear Merge-and-Shrink representations. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 106-114.

Simon, Salomé and Röger, Gabriele. (2015) Finding and Exploiting LTL Trajectory Constraints in Heuristic Search. In: Proceedings of the 8th Annual Symposium on Combinatorial Search (SoCS 2015). pp. 113-121.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Bonet, Blai. (2015) Heuristics for cost-optimal classical planning based on linear programming. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Palo Alto, California, pp. 4303-4309.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte and Bonet, Blai. (2014) LP-based heuristics for cost-optimal planning. In: Proceedings of the 24th International Conference on Automated Planning and Scheduling (ICAPS 2014): [held on June 21-26 in Portsmouth, New Hampshire, USA]. Palo Alto, Calif., pp. 226-234.

Röger, Gabriele and Pommerening, Florian and Helmert, Malte. (2014) Optimal planning in the presence of conditional effects : extending LM-Cut with context-splitting. In: ECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic. Amsterdam, pp. 765-770.

Röger, Gabriele and Pommerening, Florian and Seipp, Jendrik. (2014) Fast Downward Stone Soup 2014. Eighth International Planning Competition (IPC 2014), Deterministic Part.

Helmert, Malte and Röger, Gabriele, eds. (2013) Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013. Palo Alto, California.

Pommerening, Florian and Röger, Gabriele and Helmert, Malte. (2013) Getting the most out of pattern databases for classical planning. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Menlo Park (CA), pp. 2357-2364.

Röger, Gabriele and Helmert, Malte. (2012) Non-optimal multi-agent pathfinding is solved (since 1984). In: Proceedings of the Fifth Annual Symposium on Combinatorial Search (SoCS 2012). [Niagara Falls], pp. 173-174.

Claßen, Jens and Röger, Gabriele and Lakemeyer, Gerhard and Nebel, Bernhard. (2012) PLATAS – Integrating Planning and the Action Language Golog. KI – Künstliche Intelligenz, 26 (1). pp. 61-67.