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

2010

207.
M. Elkawkagy, P. Bercher, B. Schattenberg and S. Biundo, "Exploiting Landmarks for Hybrid Planning" in Proceedings of the 25th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2010), 2010.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/Elkawkagy10LandmarksInHybrid.pdf
206.
O. Noppens, M. Luther, T. Liebig and M. Wessel, "OWLlink: HTTP/XML Binding" , 2010.
205.
D. Knuplesch, L. Thao Ly, S. Rinderle-Ma, H. Pfeifer and P. Dadam, "On Enabling Data-Aware Compliance Checking of Business Process Models" in Proceedings of the 29th International Conference on Conceptual Modeling -- ER 2010, Jeffrey Parsons and Motoshi Saeki and Peretz and Shoval and Carson Woo and Yair Wand, Eds. Springer, 2010. pp. 332--346.
File:pdfhttp://dbis.eprints.uni-ulm.de/665/3/KLRD10a.pdf
204.
O. Noppens and T. Liebig, "OWLlink Extension: Retraction HTTP/XML Binding" , 2010.
203.
O. Noppens and T. Liebig, "OWLlink Extension: Retraction" , 2010.

2009

202.
A. Avizienis, G. Grigonyte, J. Haller, F. von Henke, T. Liebig and O. Noppens, "Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report" in Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference (FLAIRS-22), AAAI Press, 2009.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/knowledge-in-resilience.pdf
201.
T. Liebig, O. Noppens and F. von Henke, "VIScover: Visualizing, Exploring, and Analysing Structured Data" in Proceedings of the IEEE Symposium on Visual Analytics Science and Technology Symposium (VAST 2009), Atlantic City, USA: IEEE, 2009. pp. 259--260.
DOI:10.1109/VAST.2009.5333946
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/VIScover-VAST09.pdf
200.
T. Liebig, M. Luther and O. Noppens, "The OWLlink Protocol" in Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009), Rinke Hoekstra and Peter F. Patel-Schneider, Eds. 2009.
File:pdfhttp://CEUR-WS.org/Vol-529/owled2009_submission_11.pdf
199.
P. Bercher and R. Mattmüller, "Solving Non-deterministic Planning Problems with Pattern Database Heuristics" in Proceedings of the 32nd Annual German Conference on Artificial Intelligence (KI 2009), Bärbel Mertsching and Marcus Hund and Zaheer Aziz, Eds. Springer, 2009. pp. 57--64.
ISBN:978-3-642-04616-2
Weblink:http://www.springerlink.com/content/82604j8321324937/
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/Bercher09NnDetPlanning.pdf
198.
M. Volke and T. Liebig, "Origo - A Client for a Distributed Semantic Social Network" in Poster Proceesings of the 6th European Semantic Web Conference (ESWC 2009), 2009.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/Origo-ESWC09.pdf
197.
M. Luther, T. Liebig, S. Böhm and O. Noppens, "Who the Heck is the Father of Bob?" in Proceedings of the European Semantic Web Conference (ESWC 2009), Springer Berlin / Heidelberg, 2009. pp. 66--80.
DOI:10.1007/978-3-642-02121-3_9
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/TheFatherOfBob.pdf
196.
O. Noppens and T. Liebig, "Ontology Patterns and Beyond - Towards a Universal Pattern Language" in Proceedings of the Workshop on Ontology Patterns (WOP 2009), Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojt\v ech Svátek, Eds. CEUR Workshop Proceedings, 2009. pp. 179--186.
File:pdfhttp://CEUR-WS.org/Vol-516/pap10.pdf
195.
O. Noppens, "Negative Property Assertion Pattern (NPAs)" in Proceedings of the Workshop on Ontology Patterns (WOP 2009), Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojt\v ech Svátek, Eds. CEUR Workshop Proceedings, 2009. pp. 120--123.
File:pdfhttp://CEUR-WS.org/Vol-516/pat06.pdf
194.
B. Schattenberg, "Hybrid Planning and Scheduling", PhD Thesis, Ulm University, Germany, 2009.
File:pdfhttp://vts.uni-ulm.de/docs/2009/6895/vts_6895_9580.pdf
193.
O. Noppens, "Concept Partition Pattern, 2009" in Proceedings of the Workshop on Ontology Patterns (WOP 2009), Eva Blomqvist and Kurt Sandkuhl and Francois Scharffe and Vojt\v ech Svátek, Eds. CEUR Workshop Proceedings, 2009. pp. 127--129.
File:pdfhttp://CEUR-WS.org/Vol-516/pat08.pdf
192.
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:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/bmp09.pdf
191.
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
190.
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:pdfhttp://www.springerlink.com/content/v3171u800470815r/fulltext.pdf

2008

189.
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:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/ABoxVis.pdf
188.
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:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/avi08-noppens.pdf
187.
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:pdfhttp://www.springerlink.com/content/7h142500k7211717/fulltext.pdf
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