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 · 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 · Dr. Martin Wehrle Publications
http://ai.cs.unibas.ch/people/mwehrle/publications.html
Bachelor's and master's theses. Dr Martin Wehrle 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. Dominik W...
icaps16.icaps-conference.org
ICAPS 2016 -- Call for Papers
http://icaps16.icaps-conference.org/contests.html
The Fifth International Competition on Knowledge Engineering for Planning and Scheduling. The International Competition on Knowledge Engineering for Planning and Scheduling has been running since 2005 as a biennial event promoting the development and importance of the use of knowledge engineering methods and techniques within Planning and Scheduling. Inaugural International Planning Competition Detecting Unsolvable Instances.
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Jendrik Seipp Publications
http://ai.cs.unibas.ch/people/seipp/publications.html
Bachelor's and master's theses. Jendrik Seipp Publications. Florian Geißer and Robert Mattmüller. State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Pp 3161-3169. 2016. Technical report; PDF). Correlation Complexity of Classical Planning Domains. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Pp 3242-3250. 2016. We analy...
icaps-conference.org
ICAPS | Main / ICAPS Competitions
http://www.icaps-conference.org/index.php/Main/Competitions
For the ICAPS Council). RoboCup Logistics League Planning Competition, 2017. Planning Competition for Logistics Robots in Simulation. Tim Niemueller, RWTH Aachen (Germany). Erez Karpas, Technion (Israel). Tiago Vaquero, California Institute of Technology and Massachusetts Institute of Technology (USA). Eric Timmons, Massachusetts Institute of Technology (USA). The First Unsolvability International Planning Competition, 2016. Christian Muise (MIT, USA). Nir Lipovetzky (University of Melbourne, Australia).
ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Florian Pommerening Publications
http://ai.cs.unibas.ch/people/pommeren/publications.html
Bachelor's and master's theses. Florian Pommerening Publications. Florian Geißer and Robert Mattmüller. State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Pp 3161-3169. 2016. Technical report; PDF). Correlation Complexity of Classical Planning Domains. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Pp 3242-3250. 2016.