Institut für Künstliche Intelligenz
- 1:
Lehre. - 2: Forschung.
- 3: Mitarbeiter.
- 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: Ehemalige Professoren.
- 3.19: Alumni.
- 3.1:
- 4: Publikationen.
- 5: Stellenangebote.
Felix Müller
2001 bis 2007 habe ich Informatik (Diplom) an unserer schönen Uni in Ulm studiert. Meine Diplomarbeit habe ich am Institut für Künstliche Intelligenz zum Thema "Entwicklung und Evaluierung eines parallelen Tableau-Reasoners für Beschreibungslogiken" geschrieben und im Sommer 2007 abgeschlossen.
Nach einem gut zweijährigen Ausflug in die Wirtschaft habe ich mich Ende 2009 entschlossen in die Wissenschaft zurückzukehren und bin daher seit Januar 2010 Doktorand im 
Sonderforschungsbereich Transregio 62, Teilprojekt A1 (Adaptive Planung und Entscheidungsfindung).
Der Schwerpunkt meiner Interessen liegt aktuell auf Planung unter Unsicherheit, bei der der Forschungsgegenstand Planungsverfahren sind, die es erlauben, auch dann sinnvolle Handlungsanweisungen zu generieren, wenn die Umgebung nur teilweise oder indirekt beobachtet werden kann.
Kontakt
- E-Mail:
Felix.Mueller(at)uni-ulm.de - Telefon: +49 (0)731/50-24117
- Telefax: +49 (0)731/50-24119
Postanschrift
- Felix Müller
- Universität Ulm
- Institut für Künstliche Intelligenz
- D-89069 Ulm
Büro
- James-Franck-Ring
- Gebäude O27, 4. Niveau
- Raum 442
Publikationen
2012 | |
 |
Bastian Seegebarth
 , Felix Müller , Bernd Schattenberg und 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)
Herausgeber: AAAI Press,
2012
akzeptiert
|
2011 | |
|
|
Susanne Biundo
, Pascal Bercher , Thomas Geier , Felix Müller und Bernd Schattenberg Advanced user assistance based on AI planning
Cognitive Systems Research,
12(3-4):219--236
2011
ISSN: 1389--0417
|
 |
Felix Müller
und Susanne Biundo HTN-Style Planning in Relational POMDPs Using First-Order FSCs
In und , Editor,
Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI 2011)
, Seite 216--227.
Herausgeber: Springer,
2011
|
2007 | |
|
|
Thorsten Liebig
und Felix Müller Parallelizing Tableaux-Based Description Logic Reasoning
In , und , Editor,
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops
Band 4806
aus Lecture Notes in Computer Science
, Seite 1135--1144.
Herausgeber: 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 und 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
|