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

2008

186.
T. Liebig, M. Luther, O. Noppens, M. Rodriguez, D. Calvanese, M. Wessel, M. Horridge, S. Bechhofer, D. Tsarkov and E. Sirin, "OWLlink: DIG for OWL 2" in Proceedings of the 5th OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008, Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler, Eds. 2008.
File:pdfhttp://ceur-ws.org/Vol-432/owled2008eu_submission_26.pdf
185.
H. Pfeifer, "Formal Methods in the Automotive Domain: The Case of TTA" in Automotive Embedded Systems Handbook, Nicolas Navet and Francoise Simonot-Lion, Eds. Taylor and Francis CRC Press, 2008.
ISBN:9780849380266
184.
T. Liebig and S. Scheele, "Explaining Entailments and Patching Modelling Flaws", Künstliche Intelligenz, no. 2, pp. 25--27, 2008. http://www.kuenstliche-intelligenz.de/index.php?id=7764.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/kijournal-liebig-scheele08.pdf
183.
C. Bernardeschi, P. Masci and H. Pfeifer, "Early Prototyping of Wireless Sensor Network Algorithms in PVS" in Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings, Michael D. Harrison and Mark-Alexander Sujan, Eds. Springer, 2008, pp. 346--359.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/safecomp2008.pdf

2007

182.
B. Schattenberg, J. Bidot and S. Biundo, "On the Construction and Evaluation of Flexible Plan-Refinement Strategies" in Advances in Artificial Intelligence, Proceedings of the 30th German Conference on Artificial Intelligence (KI 2007), Joachim Hertzberg and Michael Beetz and Roman Englert, Eds. Osnabrück, Germany: Springer, 2007, pp. 367--381.
DOI:10.1007/978-3-540-74565-5_28
File:pdfhttp://www.springerlink.com/content/lx1l87180v450468/fulltext.pdf
181.
J. Bidot, T. Vidal, P. Laborie and J. Christopher Beck, "Une architecture générale pour ordonnancer dans un environnement stochastique" in Actes des 2<sup>es</sup> journées Francophones Planification, Décision, Apprentissage pour la conduite de systèmes (JFPDA), Grenoble, France, 2007, pp. 13--24.
180.
O. Noppens and T. Liebig, "Understanding Large Volumes of Interconnected Individuals by Visual Exploration" in The Semantic Web: Research and Applications, Proceedings of the 4th European Semantic Web Conference (ESWC 2007), Enrico Franconi and Michael Kifer and Wolfgang May, Eds. Springer, 2007, pp. 799--808.
DOI:10.1007/978-3-540-72667-8_58
ISBN:978-3-540-72666-1
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/eswc07-noppens.pdf
179.
B. Schattenberg, T. Krebs and R. Schumann, "The World of PUK - Service", Künstliche Intelligenz, vol. 21, no. 1, pp. 44, 2007.
File:http://www.kuenstliche-intelligenz.de/archives/ki-journal-20160917/index.php-id=7754&tx_ki_pi1[showUid]=1256&cHash=fa57c0ab2a.html
178.
B. Schattenberg, S. Balzer and S. Biundo, "Realizing Hybrid Planning Systems as Modern Software Environments", Künstliche Intelligenz, vol. 21, no. 1, pp. 16--22, 2007. http://www.kuenstliche-intelligenz.de/archives/ki-journal-20160917/index.php-id=7754&tx_ki_pi1[showUid]=1248&cHash=6d9424bc18.html.
File:pdfhttp://www.kuenstliche-intelligenz.de/archives/ki-journal-20160917/fileadmin/template/main/archiv/2007_1/realizing-schattenberg-web.pdf
177.
T. Weithöner, T. Liebig, M. Luther, S. Böhm, F. von Henke and O. Noppens, "Real-World Reasoning with OWL" in The Semantic Web: Research and Applications, Proceedings of the 4th European Semantic Web Conference (ESWC 2007), Enrico Franconi and Michael Kifer and Wolfgang May, Eds. Springer, 2007, pp. 296--310.
DOI:10.1007/978-3-540-72667-8_22
ISBN:978-3-540-72666-1
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/eswc07-weithoener.pdf
176.
T. Liebig and F. Müller, "Parallelizing Tableaux-Based Description Logic Reasoning" in On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Robert Meersman and Zahir Tari and Pilar Herrero, Eds. Springer Berlin / Heidelberg, 2007, pp. 1135--1144.
DOI:10.1007/978-3-540-76890-6_41
ISBN:978-3-540-76889-0
File:pdfhttp://www.springerlink.com/content/6326156250h20826/fulltext.pdf
175.
T. Weithöner, "U2R2 - the Ulm University Relational Reasoner: System Description" in 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Nachum Dershowitz and Andrei Voronkov, Eds. Yerevan, Armenia, 2007, pp. 55--59.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/lpar07.pdf
174.
H. Pfeifer and F. von Henke, "Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture", Reliability Engineering &amp; System Safety, vol. 92, no. 11, pp. 1538--1550, 2007. http://10.1016/j.ress.2006.10.006.
DOI:10.1016/j.ress.2006.10.006
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/ress07.pdf
173.
T. Liebig, O. Noppens and T. Weithöner, "Interactive Exploration of the Movie DB on a Semantic Level" in Proceedings of the IEEE Information Visualization Contest 2007 (InfoVis 2007), IEEE Computer Society, 2007.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/liebig-et-al-infovis07.pdf
172.
M. Horridge, S. Bechhofer and O. Noppens, "Igniting the OWL 1.1 Touch Paper: The OWL API" in Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, Innsbruck, Austria, June 6-7, 2007, Christine Golbreich and Aditya Kalyanpur and Bijan Parsia, Eds. CEUR-WS.org, 2007.
File:pdfhttp://ceur-ws.org/Vol-258/paper19.pdf
171.
T. Liebig, S. Scheele and J. Lambertz, "Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods" in Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Eds. Brixen, Italy, 2007, pp. 537--538.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/liebig-et-al-dl07.pdf
170.
O. Noppens, T. Liebig and P. Schmidt, "MobiXpl - A SVG-based Mobile User Interface for Semantic Service Discovery" in Proceedings of the 5th International Conference on Scalable Vector Graphics (SVG Open 2007), 2007.
File:http://www.svgopen.org/2007/papers/MobiXpl/index.html
169.
T. Weithöner, T. Liebig, M. Luther and S. Böhm, "DIG 2.0 Reference Middleware" in Proceedings of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007), Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, Eds. Insbruck, Austria, 2007.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/owled07-weithoener.pdf
168.
B. Schattenberg and S. Biundo, "A Unifying Framework For Hybrid Planning And Scheduling" in Advances in Artificial Intelligence, Proceedings of the 29th German Conference on Artificial Intelligence (KI 2006), Christian Freksa and Michael Kohlhase and Kerstin Schill, Eds. Springer, 2007, pp. 361--373.
DOI:10.1007/978-3-540-69912-5_27
File:pdfhttp://www.springerlink.com/content/3821231298565uk3/fulltext.pdf
167.
J. Bidot, T. Vidal, P. Laborie and J. Christopher Beck, "A General Framework for Scheduling in a Stochastic Environment" in Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), 2007, pp. 56--61.
File:pdfhttp://www.ijcai.org/papers07/Papers/IJCAI07-007.pdf

2006

166.
T. Liebig, "Reasoning with OWL - System Support and Insights -" , 2006.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/TR-U-Ulm-2006-04.pdf
165.
W. Timo, T. Liebig, M. Luther and S. Böhm, "What's Wrong with OWL Benchmarks?" in Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006), Athens, GA, USA, 2006, pp. 101--114.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/weithoener-et-al-ssws06.pdf
164.
J. Bidot, P. Laborie, J. Christopher Beck and T. Vidal, "Using Constraint Programming and Simulation for Execution Monitoring and Progressive Scheduling" in Proceedings of the Twelfth IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006), 2006.
DOI:10.3182/20060517-3-FR-2903.00313
File:pdfhttps://cs05.informatik.uni-ulm.de/ki/Bidot/INCOM06.pdf
163.
B. Schattenberg, S. Balzer and S. Biundo, "Semantic Web Technology as a Basis for Planning and Scheduling Systems" in Proceedings of the 20th Workshop ``Planen und Konfigurieren´´ (PuK 2006), Jürgen Sauer, Eds. University of Bremen, 2006, pp. 26--36.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/Schattenberg2006WebTechnology.pdf
162.
F. Müller, M. Hanselmann, T. Liebig and O. Noppens, "A Tableaux-based Mobile DL Reasoner - An Experience Report" in Proceedings of the 2006 International Workshop on Description Logics (DL 2006), Lake District, UK, 2006.
File:pdfhttps://cs05.informatik.uni-ulm.de/ki/Noppens/publications/dl06.pdf