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
2008
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 |
172.
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 |
171.
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 |
170.
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 |
169.
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 |
168.
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 |
167.
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.
2006
166.
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.
| Datei: | https://cs05.informatik.uni-ulm.de/ki/Noppens/publications/dl06.pdf |
165.
T. Liebig,
M. Luther,
O. Noppens,
M. Paolucci and
M. Wagner,
"Building Applications and Tools for OWL - Experiences and Suggestions"
in Proceedings of the OWLED 2005 Workshop on OWL: Experiences and Directions,
Bernardo Cuenca Grau and Ian Horrocks and Bijan Parsia and Peter F. Patel-Schneider, Eds.
CEUR-WS.org,
2006.
| Datei: | http://ceur-ws.org/Vol-188/sub28.pdf |
164.
A. Turhan,
S. Bechhofer,
A. Kaplunova,
T. Liebig,
M. Luther,
R. Möller,
O. Noppens,
P. F. Patel-Schneider,
S. Boontawee and
W. Timo,
"DIG 2.0 - Towards a Flexible Interface for Description Logic Reasoners"
in Proceedings of the 2nd International Workshop on OWL: Experiences and Directions (OWLED 2006),
Bernardo Cuenca Grau and Pascal Hitzler and Conor Shankey and Evan Wallace, Eds.
Athens, GA, USA,
2006.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/owled06-turhan.pdf |
163.
O. Noppens and
T. Liebig,
"Interactive Visualization of Large OWL Instance Sets"
in Proceedings of the 3rd International Semantic Web User Interaction Workshop (SWUI'06),
2006.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/swui06-noppens.pdf |
162.
B. Schattenberg,
S. Balzer and
S. Biundo,
"Knowledge-based Middleware as an Architecture for Planning and Scheduling Systems"
in Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS 2006),
Derek Long and Stephen F. Smith and Daniel Borrajo and Thomas Lee McCluskey, Eds.
Ambleside, The English Lake District, UK:
AAAI Press,
2006,
pp. 422--425.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/Schattenberg06KnowledgeBasedMiddleware.pdf |
161.
O. Noppens,
M. Luther,
M. Wagner and
M. Paolucci,
"Ontology-supported Preference Handling for Mobile Music Selection"
in Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling,
2006.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/mwap06-noppens.pdf |
160.
T. Liebig,
"Reasoning with OWL - System Support and Insights -" ,
2006.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/TR-U-Ulm-2006-04.pdf |
159.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/Schattenberg2006WebTechnology.pdf |