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
2010
209.
R. Mattmüller,
M. Ortlieb,
M. Helmert and
P. Bercher,
"Pattern Database Heuristics for Fully Observable Nondeterministic Planning"
in Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS 2010),
AAAI Press,
2010,
pp. 105--112.
| Weblink: | http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1430 |
| Datei: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/Mattmueller10NonDetPlanning.pdf |
208.
T. Liebig,
A. Steigmiller and
O. Noppens,
"Scalability via Parallelization of OWL Reasoning"
in Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010),
2010.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/nefors10-liebig.pdf |
207.
O. Noppens,
M. Luther and
T. Liebig,
"The OWLlink API: Teaching OWL Components a Common Protocol"
in Proceedings of the 7th International Workshop on OWL: Experiences and Directions (OWLED 2010),
Evren Sirin and Kendall Clark, Eds.
2010.
| Datei: | http://CEUR-WS.org/Vol-614/owled2010_submission_1.pdf |
206.
Patel-Schneider, Peter F. and Pan, Yue and Hitzler, Pascal and Mika, Peter and Zhang, Lei and Pan, Jeff Z. and Horrocks, Ian and Glimm, Birte, Eds.,
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I:
Lecture Notes in Computer Science.
| ISBN: | 978-3-642-17745-3 |
205.
Patel-Schneider, Peter F. and Pan, Yue and Hitzler, Pascal and Mika, Peter and Zhang, Lei and Pan, Jeff Z. and Horrocks, Ian and Glimm, Birte, Eds.,
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II:
Lecture Notes in Computer Science.
| ISBN: | 978-3-642-17748-4 |
204.
J. Bidot,
S. Biundo,
T. Heinroth,
W. Minker,
F. Nothdurft and
B. Schattenberg,
"Verbal Explanations for Hybrid Planning"
in Proceedings of the Conference "Multikonferenz Wirtschaftsinformatik" (MKWI 2010), Teilkonferenz "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2010),
Matthias Schumann and Lutz M. Kolbe and Michael H. Breitner and Arne Frerichs, Eds.
Universitätsverlag Göttingen,
2010,
pp. 2309--2320.
| Datei: | http://webdoc.sub.gwdg.de/univerlag/2010/mkwi/03_anwendungen/planen_scheduling/06_verbal_plan_explanations_for_hybrid_plannings.pdf |
203.
S. Biundo and
A. Wendemuth,
"Von kognitiven technischen Systemen zu Companion-Systemen",
Künstliche Intelligenz,
vol. 24,
no. 4,
pp. 335--339,
2010.
http://www.springerlink.com/content/e558815w08k09531/.
| DOI: | 10.1007/s13218-010-0056-9 |
| Datei: | http://www.springerlink.com/content/e558815w08k09531/fulltext.pdf |
2009
202.
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 |
201.
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 |
200.
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 |
199.
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 |
198.
B. Schattenberg,
"Hybrid Planning and Scheduling",
PhD Thesis,
Ulm University, Germany,
2009.
| Datei: | http://vts.uni-ulm.de/docs/2009/6895/vts_6895_9580.pdf |
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 |