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
Jump to: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013

2020

Seipp, Jendrik and von Allmen, Samuel and Helmert, Malte. (2020) Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 244-248.

2019

Seipp, Jendrik. (2019) Pattern Selection for Optimal Classical Planning with Saturated Cost Partitioning. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). pp. 5621-5627.

Seipp, Jendrik. (2019) Kronk (planner abstract).

Seipp, Jendrik and Helmert, Malte. (2019) Subset-Saturated Cost Partitioning for Optimal Classical Planning. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling (ICAPS 2019). pp. 391-400.

2018

Seipp, Jendrik. Counterexample-guided cartesian abstraction refinement and saturated cost partitioning for optimal classical planning. 2018, Doctoral Thesis, University of Basel, Faculty of Science.

Seipp, Jendrik and Helmert, Malte. (2018) Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning. Journal of Artificial Intelligence Research, 62. pp. 535-577.

Seipp, Jendrik. (2018) Fast Downward Remix (planner abstract). Ninth International Planning Competition (IPC 2018).

Seipp, Jendrik. (2018) Scorpion (planner abstract). Ninth International Planning Competition (IPC 2018).

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

2017

Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2017) Narrowing the Gap Between Saturated and Optimal Cost Partitioning for Classical Planning. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017). pp. 3651-3657.

Seipp, Jendrik and Keller, Thomas and Helmert, Malte. (2017) A Comparison of Cost Partitioning Algorithms for Optimal Classical Planning. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017).

Seipp, Jendrik. (2017) Better Orders for Saturated Cost Partitioning in Optimal Classical Planning. In: Proceedings of the 10th Annual Symposium on Combinatorial Search (SoCS 2017).

2016

Keller, Thomas and Pommerening, Florian and Seipp, Jendrik and Geißer, Florian and Mattmüller, Robert. (2016) State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 4. Palo Alto, pp. 3161-3169.

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.

2015

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.

Seipp, Jendrik and Sievers, Silvan and Helmert, Malte and Hutter, Frank. (2015) Automatic configuration of sequential planning portfolios. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) : January 25 –30, 2015, Austin, Texas, USA. Palo Alto, Calif., pp. 3364-3370.

Seipp, Jendrik and Pommerening, Florian and Helmert, Malte. (2015) New Optimization Functions for Potential Heuristics. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015). Palo Alto, California, pp. 193-201.

2014

Seipp, Jendrik and Helmert, Malte. (2014) Diverse and additive Cartesian abstraction heuristics. 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. 289-297.

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

2013

Seipp, Jendrik and Helmert, Malte. (2013) Counterexample-guided Cartesian abstraction refinement. In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013) : [held 10 - 14 June 2013 in Rome, Italy]. Palo Alto, Calif., pp. 347-351.

Seipp, Jendrik and Helmert, Malte. (2013) Additive counterexample-guided Cartesian abstraction refinement. In: Late-breaking developments in the field of artificial intelligence : papers presented at the Twenty-Seventh AAAI Conference on Artificial Intelligence, [in Bellevue, WA, July 14 - 18, 2013] (AAAI 2013). Palo Alto, Calif., pp. 119-121.