ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Florian Pommerening
http://ai.cs.unibas.ch/people/pommeren/index.html
Bachelor's and master's theses. Department of Mathematics and Computer Science. CH - 4051 Basel, Switzerland. 41 61 20 70535. I studied Computer Science at the University of Freiburg where I received my Master in 2012. During my studies in Freiburg, I also spend a year in Melbourne where I studied Information Technology at the Monash University and received my Master in 2010. Since 2012 I am a PhD student in the group of Prof. Dr. Malte Helmert. Apart from my research, I work on Fast Downward. We analyze...
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Jendrik Seipp
http://ai.cs.unibas.ch/people/seipp
Bachelor's and master's theses. Department of Mathematics and Computer Science. CH - 4051 Basel, Switzerland. 41 61 207 0535. I received my Master's degree in computer science from the University of Freiburg in December 2012. Since March 2013 I am a Ph.D. student at the University of Basel working in the Artificial Intelligence group. ICAPS 2015 tutorial "Latest Trends in Abstraction Heuristics for Classical Planning". Florian Geißer and Robert Mattmüller. Pp 3161-3169. 2016. Technical report; PDF).
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Salomé Eriksson
http://ai.cs.unibas.ch/people/simon
Bachelor's and master's theses. Department of Mathematics and Computer Science. CH - 4051 Basel, Switzerland. 41 61 20 70535. My homepage has moved. Please visit http:/ ai.cs.unibas.ch/people/simon/index.html.
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Yvonne Wegmüller
http://ai.cs.unibas.ch/people/wegmueller
Bachelor's and master's theses. Department of Mathematics and Computer Science. CH - 4051 Basel, Switzerland. 41 61 20 70554. Monday 9-11h, Thursday and Friday 9-11h and 14-16h.
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Florian Pommerening
http://ai.cs.unibas.ch/people/pommeren
Bachelor's and master's theses. Department of Mathematics and Computer Science. CH - 4051 Basel, Switzerland. 41 61 20 70535. I studied Computer Science at the University of Freiburg where I received my Master in 2012. During my studies in Freiburg, I also spend a year in Melbourne where I studied Information Technology at the Monash University and received my Master in 2010. Since 2012 I am a PhD student in the group of Prof. Dr. Malte Helmert. Apart from my research, I work on Fast Downward. We analyze...
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Silvan Sievers Publications
http://ai.cs.unibas.ch/people/sieverss/publications.html
Bachelor's and master's theses. Silvan Sievers Publications. Graph-Based Factorization of Classical Planning Problems. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. In domain-independent planning, dependencies of operators and variables often prevent the effective application of planning techniques that rely on "loosely coupled" problems (like factored planning or partial order reduction). In this paper, we propose a generic approach for. An Empirica...
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Silvan Sievers
http://ai.cs.unibas.ch/people/sieverss
Bachelor's and master's theses. Department of Mathematics and Computer Science. CH - 4051 Basel, Switzerland. 41 61 207 05 40. I received my Master's degree from University of Freiburg in April 2012. Since November 2012, I am a PhD student in the AI group led by Malte Helmert at the University of Basel. I am working mainly on classical planning, with a focus of merge-and-shrink heuristics and pruning techniques like symmetries. I am a regular contributor to Fast Downward. A classical planning problem int...
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Manuel Heusner Publications
http://ai.cs.unibas.ch/people/heusner/publications.html
Bachelor's and master's theses. Manuel Heusner Publications. Under-Approximation Refinement for Classical Planning. In Proceedings of the 24th International Conference on Automated Planning and Scheduling ( ICAPS 2014. Pp 365-369. 2014. If necessary by adding operators that appear to be needed. Our evaluation shows that even a straight-forward instantiation of this framework yields a competitive planner that often finds plans with small operator sets.