Andreas Steigmiller

I studied Computer Science at the University of Ulm and received a master degree in 2011. Before that, I studied Computer Engineering (bachelor) at the Opens external link in new windowHochschule Ulm. My specialisation and current research interest is pattern recognition and, especially, intelligent systems. In my master thesis at the Institute of Artificial Intelligence I developed a new tableau-based reasoning system, named Opens external link in new windowKonclude, for the description logic SROIQ, which can speed up calculations by using multi core/processor systems.

Since 2012 I am a doctoral student at the Institute of Artificial Intelligence at the University of Ulm and I am working on new optimisations for reasoning systems, which are able to deal with very expressive description logics. Moreover, a main objective of my work is to combine these optimisations with the parallelisation. The practical realisation takes place in the reasoning system Opens external link in new windowKonclude, which already shows impressive performance.

In July 2012 I received a scholarship for my PhD by the Opens external link in new windowState Postgraduate Scholarships Act (Landesgraduiertenförderungsgesetz, LGFG).

Contact

Publications

Year:  
All :: 2010, 2012, 2013, 2014, 2015
Preferences: 
References per page: Show keywords Show abstracts
References
pdf
Andreas Steigmiller Person, Thorsten Liebig Person and Birte Glimm Person
Extended Caching and Backjumping for Expressive Description Logics
Proceedings of the 25th International Description Logic Workshop (DL 2012) Volume 846 of CEUR Workshop Proceedings
June 2012
pdf
Andreas Steigmiller Person, Thorsten Liebig Person and Birte Glimm Person
Extended Caching, Backjumping and Merging for Expressive Description Logics
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) Volume 7364 of Lecture Notes in Computer Science , page 514-529.
June 2012
pdf
Andreas Steigmiller Person, Thorsten Liebig Person and Birte Glimm Person
Extended Caching, Backjumping and Merging for Expressive Description Logics
Document number: TR-2012-01
University of Ulm,
2012
Export as:
BibTeX, XML