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
2011
222.
T. Liebig and
M. Opitz,
"Reasoning over Dynamic Data in Expressive Knowledge Bases with Rscale"
in Proceedings of Workshop on Ordering and Reasoning (OrdRing 2011),
2011.
| Datei: |  /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/ordring11-liebig.pdf |
221.
A. Schulz,
B. Schattenberg,
M. Woldeit,
A. Brechmann,
S. Biundo and
F. W. Ohl,
"Reinforcement learning and planning models for two-way-avoidance and reversal learning"
in Proceedings of the Annual Meeting of the Society For Neuroscience,
2011.
220.
L. Thao Ly,
D. Knuplesch,
S. Rinderle-Ma,
K. Göser,
H. Pfeifer,
M. Reichert and
P. Dadam,
"SeaFlows Toolset - Compliance Verification Made Easy for Process-aware Information Systems"
in Information Systems Evolution -- CAiSE Forum 2010, Selected Extended Papers,
Aalst, Will and Mylopoulos, John and Sadeh, Norman M. and Shaw, Michael J. and Szyperski, Clemens and Soffer, Pnina and Proper, Erik, Eds.
Springer,
2011,
pp. 76--91.
| Datei: | http://dbis.eprints.uni-ulm.de/687/1/Ly10_CAiSEForume.pdf |
219.
J. Bidot,
C. Goumopoulos and
I. Calemis,
"Using AI planning and late binding for managing service workflows in intelligent environments"
in Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom),
2011,
pp. 156--163.
| DOI: | 10.1109/PERCOM.2011.5767580 |
218.
N. Nikitina,
B. Glimm and
S. Rudolph,
"Wheat and Chaff - Practically Feasible Interactive Ontology Revision"
in Proceedings of the 10th International Semantic Web Conference (ISWC 2011),
Springer-Verlag,
2011,
pp. 487-503.
| DOI: | 10.1007/978-3-642-25073-6_31 |
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2011/NiGR11a.pdf |
2010
217.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/Elkawkagy10LandmarksInHybrid.pdf |
216.
M. Elkawkagy,
B. Schattenberg and
S. Biundo,
"Landmarks in Hierarchical Planning"
in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010),
IOS Press,
2010,
pp. 229--234.
| Weblink: | http://www.booksonline.iospress.nl/Content/View.aspx?piid=17747 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/Elkawkagy10LandmarksInHierarchical.pdf |
215.
C. Hahn,
S. Turlier,
T. Liebig,
S. Gebhardt and
C. Roelle,
"Metadata Aggregation for Personalized Music Playlists"
in Proceedings of the HCI in Work and Learning, Life and Leisure,
Leitner, Gerhard and Hitz, Martin and Holzinger, Andreas, Eds.
Springer Berlin / Heidelberg,
2010,
pp. 427--442.
| DOI: | 10.1007/978-3-642-16607-5_29 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2010/hci10-han-turlier-liebig-et-all.pdf |
214.
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.
| Datei: | http://dbis.eprints.uni-ulm.de/665/3/KLRD10a.pdf |
213.
O. Noppens and
T. Liebig,
"OWLlink Extension: Retraction" ,
2010.
212.
O. Noppens and
T. Liebig,
"OWLlink Extension: Retraction HTTP/XML Binding" ,
2010.
211.
O. Noppens,
M. Luther,
T. Liebig and
M. Wessel,
"OWLlink: HTTP/XML Binding" ,
2010.
210.
T. Liebig,
M. Luther and
O. Noppens,
"OWLlink: Structural Specification" ,
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 |