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

157.
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

2005

156.
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
155.
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
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.
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
152.
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

2004

151.
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
150.
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
149.
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
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 (DL 2004), 2004.
File:pdfhttp://www.CEUR-WS.org/Vol-104/09Liebig-final.pdf
147.
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
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.
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
144.
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
143.
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
142.
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
141.
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
140.
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
139.
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
138.
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
137.
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

2003

136.
W. Zimmermann and A. Dold, "A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines" in Abstract State Machines 2003 -- Proceedings of the 10th International Workshop, ASM 2003, 2003. pp. 391--406.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Dold/expressions.pdf
135.
J. Herbst, "Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen.", PhD Thesis, University of Ulm, 2003.
134.
M. Luther, "Elaboration and Erasure in Type Theory", PhD Thesis, Universität Ulm, Germany, 2003.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Papers/luther03-diss.pdf
133.
H. Pfeifer, "Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture", PhD Thesis, Ulm University, Germany, 2003.
File:pdfhttps://cs05.informatik.uni-ulm.de/ki/Papers/pfeifer03-diss.pdf