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
194.
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 |
193.
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/ |
| Datei: | http://www.springerlink.com/content/v3171u800470815r/fulltext.pdf |
192.
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.
| Datei: | http://CEUR-WS.org/Vol-516/pat08.pdf |
191.
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 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2009/bmp09.pdf |
190.
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 |
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.
| Datei: | /fileadmin/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 |
| Datei: | /fileadmin/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 |
| Datei: | http://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.
| Datei: | http://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.
| Datei: | /fileadmin/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.
| Datei: | http://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 |
| Datei: | http://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 |
| Datei: | /fileadmin/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.
| Datei: | 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.
| Datei: | http://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 |
| Datei: | /fileadmin/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 |
| Datei: | http://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.
| Datei: | http://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 & 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 |
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.
| Datei: | /fileadmin/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.
| Datei: | http://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.
| Datei: | /fileadmin/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.
| Datei: | http://www.svgopen.org/2007/papers/MobiXpl/index.html |