This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

2006

161.
O. Noppens, M. Luther, M. Wagner and M. Paolucci, "Ontology-supported Preference Handling for Mobile Music Selection" in Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, 2006.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/mwap06-noppens.pdf
160.
O. Noppens and T. Liebig, "Interactive Visualization of Large OWL Instance Sets" in Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI'06), 2006.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/swui06-noppens.pdf
159.
A. Turhan, S. Bechhofer, A. Kaplunova, T. Liebig, M. Luther, R. Möller, O. Noppens, P. F. Patel-Schneider, S. Boontawee and W. Timo, "DIG 2.0 - Towards a Flexible Interface for Description Logic Reasoners" in Proceedings of the 2nd International Workshop on OWL: Experiences and Directions (OWLED 2006), Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, Eds. Athens, GA, USA, 2006.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/owled06-turhan.pdf
158.
T. Liebig, M. Luther, O. Noppens, M. Paolucci and M. Wagner, "Building Applications and Tools for OWL - Experiences and Suggestions" in Proceedings of the OWLED 2005 Workshop on OWL: Experiences and Directions, Bernardo Cuenca Grau and Ian Horrocks and Bijan Parsia and Peter F. Patel-Schneider, Eds. CEUR-WS.org, 2006.
File:pdfhttp://ceur-ws.org/Vol-188/sub28.pdf
157.
B. Schattenberg, S. Balzer and S. Biundo, "Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems" in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS 2006), Derek Long and Stephen F. Smith and Daniel Borrajo and Thomas Lee McCluskey, Eds. Ambleside, The English Lake District, UK: AAAI Press, 2006, pp. 422--425.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/Schattenberg06KnowledgeBasedMiddleware.pdf

2005

156.
T. Liebig and M. Halfmann, "A Tableau-based Explainer for DL Subsumption" in Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005), Beckert, Bernhard, Eds. Springer Berlin / Heidelberg, 2005, pp. 323--327.
DOI:10.1007/11554554_26
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/liebig-halfmann-tableaux05.pdf
155.
K. Pantschenko, O. Noppens and T. Liebig, "Grounding Web Services Semantically: Why and How?" in W3C Workshop on Frameworks for Semantic in Services (W3C SWSF), 2005.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/swsf-pantschenko-et-al.pdf
154.
B. Schattenberg, A. Weigl and S. Biundo, "Hybrid Planning Using Flexible Strategies" in Advances in Artificial Intelligence, Proceedings of the 28th German Conference on Artificial Intelligence (KI 2005), Springer-Verlag Berlin Heidelberg, 2005, pp. 249--263.
DOI:10.1007/10.1007/11551263_21
ISBN:3-540-28761-2
Weblink:http://www.springerlink.com/content/ab18236tekp4wvfu/
File:pdfhttp://www.springerlink.com/content/ab18236tekp4wvfu/fulltext.pdf
153.
T. Liebig and O. Noppens, "OntoTrack: A Semantic Approach for Ontology Authoring", Web Semantics: Science, Services and Agents on the World Wide Web, vol. 3, no. 2, pp. 116--131, 2005.
DOI:10.1016/j.websem.2005.06.004
152.
S. Biundo, R. Holzer and B. Schattenberg, "Project Planning Under Temporal Uncertainty" in Planning, Scheduling, and Constraint Satisfaction: From Theory to Practice, Luis A. Castillo and Daniel Borrajo and Miguel A. Salido and Angelo Oddi, Eds. IOS Press, 2005, pp. 189--198.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Biundo04ProjectPlanning.pdf

2004

151.
T. Liebig and O. Noppens, "OntoTrack: A New Ontology Authoring Approach" in The Semantic Web - ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Demo Track, 2004.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/iswc04demo-liebig.pdf
150.
M. Wagner, T. Liebig, S. Balzer and W. Kellerer, "Towards Semantic-based Service Discovery on Tiny Mobile Devices" in Proceedings of the International Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications, Hiroshima, Japan, 2004.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/iswc2004_ws_mobiONT.pdf
149.
T. Liebig, H. Pfeifer and F. von Henke, "Reasoning Services for an OWL Authoring Tool: An Experience Report" in Proceedings of the 2004 International Workshop on Description Logics (DL 2004), 2004.
File:pdfhttp://www.CEUR-WS.org/Vol-104/09Liebig-final.pdf
148.
T. Liebig, H. Pfeifer and F. von Henke, "Reasoning Services for an OWL Authoring Tool: An Experience Report" in Proceedings of the 2004 International Workshop on Description Logics - DL2004, Volker Haarslev and Ralf Möller, Eds. Whistler, Canada, 2004.
File:pdfhttps://cs05.informatik.uni-ulm.de/ki/Liebig/papers/liebig-pfeifer-vhenke-dl04.pdf
147.
S. Biundo, R. Holzer and B. Schattenberg, "Project Planning Under Temporal Uncertainty" in Proceedings of the Workshop on Planning and Scheduling: Bridging Theory to Practice at The 16th European Conference on Artificial Intelligence (ECAI 2004), 2004.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Biundo04ProjectPlanning.pdf
146.
S. Balzer, T. Liebig and M. Wagner, "Pitfalls of OWL-S - A practical Semantic Web Use Case" in Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), New York City, USA: ACM Press, 2004, pp. 289--298.
DOI:10.1145/1035167.1035209
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/balzer-et-al-icsoc04.pdf
145.
M. Sorea, "Verification of real-time systems through lazy approximations", PhD Thesis, University of Ulm, 2004.
File:pdfhttp://www.cs.man.ac.uk/~msorea/diss/diss.pdf
144.
H. Pfeifer and F. von Henke, "Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture" in Proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann, Eds. Potsdam, Germany: Springer, 2004, pp. 240--253.
File:pdfhttps://cs05.informatik.uni-ulm.de/ki/Pfeifer/safecomp2004.pdf
143.
W. Timo, T. Liebig and G. Specht, "Efficient Processing of Huge Ontologies in Logic and Relational Databases" in Proceedings of the International Conference on Ontologies, Databases and Application of Semantics (ODBASE 2004), Springer Berlin / Heidelberg, 2004, pp. 28--29.
DOI:10.1007/978-3-540-30470-8_13
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/weithoener-et-al-odbase04.pdf
142.
S. Balzer and T. Liebig, "Bridging the Gap Between Abstract and Concrete Services - A Semantic Approach for Grounding OWL-S" in Proceedings of the International Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, Hiroshima, Japan, 2004.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/SWS2004-Balzer-Final.pdf
141.
S. Biundo, R. Holzer and B. Schattenberg, "Dealing with Continuous Resources in AI Planning" in Proceedings of the 4th International Workshop on Planning and Scheduling for Space (IWPSS 2004), ESA-ESOC, Darmstadt, Germany: European Space Agency Publications Division, 2004, pp. 213--218.
File:pdfhttps://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Biundo04ContinuousResources.pdf
140.
T. Liebig and O. Noppens, "OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies" in Proceedings of the Third International Semantic Web Conference (ISWC 2004), Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen, Eds. Springer, 2004, pp. 244--258.
DOI:10.1007/978-3-540-30475-3_18
ISBN:3-540-23798-4
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/iswc04-liebig.pdf
139.
H. Pfeifer and F. von Henke, "Formal Modelling and Analysis of Fault Tolerance Properties in the Time-Triggered Architecture" in Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), E. Schnieder and G. Tarnai, Eds. Technical University of Braunschweig, Institute for Traffic Safety and Automation Engineering, 2004, pp. 230--240.
File:pdfhttps://cs05.informatik.uni-ulm.de/ki/Pfeifer/forms2004.pdf
138.
M. Sorea, "Lazy Approximation for Dense Real-Time Systems" in Proceedings of the Joint Conference Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), Yassine Lakhnech and Sergio Yovine, Eds. Springer, 2004, pp. 363--378.
DOI:10.1007/978-3-540-30206-3_25
ISBN:3-540-23167-6
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Sorea04Lazy.pdf
137.
W. Steiner, J. Rushby, M. Sorea and H. Pfeifer, "Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation" in Proceedings of the International Conference on Dependable Systems and Networks, Florence, Italy: IEEE Computer Society, 2004, pp. 189--198.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/dsn04.pdf