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

2009

193.
C. Bernardeschi, P. Masci and H. Pfeifer, "Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios" in Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, Rachid Guerraoui and Franck Petit, Eds. Springer, 2009. pp. 105--119.
DOI:10.1007/978-3-642-05118-0_8
ISBN:978-3-642-05117-3
File:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/bmp09.pdf
192.
J. Bidot, T. Vidal, P. Laborie and J. Christopher Beck, "A Theoretical and Practical Framework for Scheduling in a Stochastic Environment" , Journal of Scheduling, vol. 12, no. 3, pp. 315--344, 2009. Springer.
DOI:10.1007/s10951-008-0080-x
191.
B. Schattenberg, J. Bidot, S. Geßler and S. Biundo, "A Framework for Interactive Hybrid Planning" in Proceedings of the 32nd Annual German Conference on Artificial Intelligence (KI 2009), Springer, 2009. pp. 17--24.
DOI:10.1007/978-3-642-04617-9_3
ISBN:978-3-642-04616-2
Weblink:http://www.springerlink.com/content/v3171u800470815r/
File:http://www.springerlink.com/content/v3171u800470815r/fulltext.pdf

2008

190.
J. Bidot, S. Biundo and B. Schattenberg, "Plan Repair in Hybrid Planning" in Proceedings of the 31st Annual German Conference on Artificial Intelligence (KI 2008), Andreas Dengel and Karsten Berns and Thomas Breuel and Frank Bomarius and Thomas R. Roth-Berghofer, Eds. Springer, 2008. pp. 169--176.
DOI:10.1007/978-3-540-85845-4_21
File:http://www.springerlink.com/content/7h142500k7211717/fulltext.pdf
189.
O. Noppens and T. Liebig, "Realizing the hidden: interactive visualization and analysis of large volumes of structured data" in Proceedings of the working conference on Advanced Visual Interfaces (AVI 2008), Stefano Levialdi, Eds. ACM Press, 2008. pp. 44--48.
DOI:10.1145/1385569.1385654
ISBN:978-1-60558-141-5
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/avi08-noppens.pdf
188.
O. Noppens and T. Liebig, "Understanding Interlinked Data -- Visualising, Exploring and Analysing Ontologies" in Proceedings of the International Conferences on Knowledge Management and New Media Technology, Journal of Universal Computer Science, Klaus Tochtermann and Hermann Maurer, Eds. 2008. pp. 341--348.
File:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/ABoxVis.pdf
187.
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:http://ceur-ws.org/Vol-432/owled2008eu_submission_26.pdf
186.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/kijournal-liebig-scheele08.pdf
185.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/safecomp2008.pdf
184.
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

2007

183.
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:http://www.springerlink.com/content/lx1l87180v450468/fulltext.pdf
182.
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.
181.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/eswc07-noppens.pdf
180.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/lpar07.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.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/eswc07-weithoener.pdf
177.
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:http://www.springerlink.com/content/6326156250h20826/fulltext.pdf
176.
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:http://www.kuenstliche-intelligenz.de/archives/ki-journal-20160917/fileadmin/template/main/archiv/2007_1/realizing-schattenberg-web.pdf
175.
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:http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/ress07.pdf
174.
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:http://www.springerlink.com/content/3821231298565uk3/fulltext.pdf
173.
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
172.
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:http://www.ijcai.org/papers07/Papers/IJCAI07-007.pdf
171.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/owled07-weithoener.pdf
170.
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:fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/liebig-et-al-dl07.pdf
169.
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:http://ceur-ws.org/Vol-258/paper19.pdf