Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.
Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.
Publikationen des Instituts für Künstliche Intelligenz
2009
197.
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.
| Datei: |  http://CEUR-WS.org/Vol-516/pat06.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.
| Datei: | http://CEUR-WS.org/Vol-516/pap10.pdf |
195.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/knowledge-in-resilience.pdf |
194.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/Origo-ESWC09.pdf |
193.
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/ |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/Bercher09NnDetPlanning.pdf |
192.
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.
| Datei: | http://CEUR-WS.org/Vol-529/owled2009_submission_11.pdf |
191.
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 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/VIScover-VAST09.pdf |
190.
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 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/TheFatherOfBob.pdf |
2008
189.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/safecomp2008.pdf |
188.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/kijournal-liebig-scheele08.pdf |
187.
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 |
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.
| Datei: | http://ceur-ws.org/Vol-432/owled2008eu_submission_26.pdf |
185.
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 |
| Datei: | http://www.springerlink.com/content/7h142500k7211717/fulltext.pdf |
184.
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 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/avi08-noppens.pdf |
183.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2008/ABoxVis.pdf |
2007
182.
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.
| Datei: | http://www.ijcai.org/papers07/Papers/IJCAI07-007.pdf |
181.
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 |
| Datei: | http://www.springerlink.com/content/3821231298565uk3/fulltext.pdf |
180.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/owled07-weithoener.pdf |
179.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/liebig-et-al-dl07.pdf |
178.
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.
| Datei: | http://ceur-ws.org/Vol-258/paper19.pdf |
177.
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.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/liebig-et-al-infovis07.pdf |
176.
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.
| Datei: | http://www.svgopen.org/2007/papers/MobiXpl/index.html |
175.
H. Pfeifer and
F. von Henke,
"Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture",
Reliability Engineering & 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 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2007/ress07.pdf |
174.
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 |
| Datei: | http://www.springerlink.com/content/lx1l87180v450468/fulltext.pdf |
173.
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 |
| Datei: | http://www.springerlink.com/content/6326156250h20826/fulltext.pdf |