Institute of Artificial Intelligence
- 1:
Teaching. - 2: Research.
- 3: Members of Staff.
- 3.1:
Prof. Dr. Susanne Biundo-Stephan. - 3.2: Juniorprof. Dr. Birte Glimm.
- 3.3: Sylvia Ebel.
- 3.4: Ingrid Neumann.
- 3.5: Pascal Bercher.
- 3.6: Heba El Beh.
- 3.7: Dr. Mohamed Elkawkagy.
- 3.8: Thomas Geier.
- 3.9: Thilo Hörnle.
- 3.10: Dr. Yevgeny Kazakov.
- 3.11: Peter Kurzok.
- 3.12: Dr. Thorsten Liebig.
- 3.13: Felix Müller.
- 3.14: Olaf Noppens.
- 3.15: Dr. Bernd Schattenberg.
- 3.16: Bastian Seegebarth. 3.17:
- 3.18: Former Professors.
- 3.19: Alumni.
- 3.1:
- 4: Publications.
- 5: Open Positions.
Felix Müller
From 2001 to 2007 I studied Informatics (Diploma) at Ulm University. I completed my diploma thesis at the Institute of Artificial Intelligence (Topic: "Development and Evaluation of a Parallel Tableau Reasoner for Description Logics", in German) in summer 2007.
After two years of working in the industry I decided to return to science in late 2009. Thus, I started working as a doctoral student in the 
Transregional Collaborative Research Centre SFB/Transregio 62 in part project A1 (Adaptive Planning and Decision Making) in January 2010.
Currently, the focus of my interests lies on planning under uncertainty. The goal in planning under uncertainty is to generate meaningful courses of action even in cases where the environment is only partly or indirectly observable.
Contact
- email:
Felix.Mueller(at)uni-ulm.de - phone: +49 (0)731/50-24117
- fax: +49 (0)731/50-24119
Postal Address
- Felix Müller
- Universität Ulm
- Institute of Artificial Intelligence
- D-89069 Ulm
Office
- James-Franck-Ring
- building O27, level 4
- room 442
Publications
2012 | |
 |
Bastian Seegebarth
 , Felix Müller , Bernd Schattenberg and Susanne Biundo Making Hybrid Plans More Clear to Human Users -- A Formal Approach for Generating Sound Explanations
Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012)
Publisher: AAAI Press,
2012
accepted
|
2011 | |
|
|
Susanne Biundo
, Pascal Bercher , Thomas Geier , Felix Müller and Bernd Schattenberg Advanced user assistance based on AI planning
Cognitive Systems Research,
12(3-4):219--236
2011
ISSN: 1389--0417
|
 |
Felix Müller
and Susanne Biundo HTN-Style Planning in Relational POMDPs Using First-Order FSCs
In and , editor,
Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI 2011)
, page 216--227.
Publisher: Springer,
2011
|
2007 | |
|
|
Thorsten Liebig
and Felix Müller Parallelizing Tableaux-Based Description Logic Reasoning
In , and , editor,
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops
Volume 4806
of Lecture Notes in Computer Science
, page 1135--1144.
Publisher: Springer Berlin / Heidelberg,
2007
ISBN: 978-3-540-76889-0
|
|
|
Felix Müller
Entwicklung und Evaluierung eines parallelen Tableau-Reasoners f\ur Beschreibungslogiken
Diploma Thesis
Ulm University,
2007
|
2006 | |
|
|
Felix Müller
, , Thorsten Liebig and Olaf Noppens A Tableaux-based Mobile DL Reasoner - An Experience Report
Proceedings of the 2006 International Workshop on Description Logics (DL 2006)
Lake District, UK
2006
|