ai.cs.unibas.ch
Artificial Intelligence · University of Basel · Prof. Dr. Malte Helmert Publications
http://ai.cs.unibas.ch/people/helmert/publications.html
Bachelor's and master's theses. Prof Dr. Malte Helmert Publications. Gerhard Friedrich, Malte Helmert. And Franz Wotawa (eds.). Advances in Artificial Intelligence. Graph-Based Factorization of Classical Planning Problems. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Correlation Complexity of Classical Planning Domains. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Pp 3242-3250. 2016. We analyze h...
slavkovik.com
Marija Slavkovik's CV
http://www.slavkovik.com/cv.html
Raquo; Tutorial "Introduction to Judgment Aggregation for Multi Agent Systems" at EASSS 2016. Raquo; Coordinator of the Dagstuhl Seminar Engineering Moral Agents - from Human Morality to Artificial Morality. Raquo; Invited talk "Machine ethics in collective reasoning", University of Utrecht, Responsible Intelligent Systems in Perspective; where Computer Science, Philosophy and Legal Theory meet. April STSM ICT COST Action IC1205 grant). LOFT'16 , ECAI'16. May, STSM grant. KI'15 , EUMAS'15.
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...
gki.informatik.uni-freiburg.de
Research Group on the Foundations of Artificial Intelligence · Publications
http://gki.informatik.uni-freiburg.de/publications
Semester projects and theses. Foundations of Artificial Intelligence. Department of Computer Science. You are here: Publications. Complete list of publications. Sorted by year of publication. Recent publications (last 12 months):. Florian Pommerening, Jendrik Seipp, Florian Geißer. State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. In Proceedings of the 25th International Joint Conference on Artificial Intelligence ( IJCAI 2016. Sleep Sets Meet Duplicate Elimination.
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...
jochen.sprickerhof.de
Jochen Sprickerhof - Publications
http://jochen.sprickerhof.de/publications.html
Institute of Computer Science. Mdash; Knowledge-Based Systems Research Group. Jochen Sprickerhof - Publications. Ann-Katrin Becker, Jochen Sprickerhof, Martin Günther, Joachim Hertzberg. Abducing Hypotheses about Past Events from Observed Environment Changes. Proc 38th German Conference on Artificial Intelligence ( KI 2015. Dresden, Sep 21-25, 2015. Jochen Sprickerhof, Kai Lingemann, Andreas Nüchter, Joachim Hertzberg. A Heuristic Loop Closing Technique for Large-Scale 6D SLAM. Jochen Sprickerhof, Andrea...