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
2007
169.
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 |
168.
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 |
167.
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 |
2006
166.
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 |
165.
W. Timo,
T. Liebig,
M. Luther and
S. Böhm,
"What's Wrong with OWL Benchmarks?"
in Proceedings of the Second International Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2006),
Athens, GA, USA,
2006,
pp. 101--114.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2006/weithoener-et-al-ssws06.pdf |
164.
J. Bidot,
P. Laborie,
J. Christopher Beck and
T. Vidal,
"Using Constraint Programming and Simulation for Execution Monitoring and Progressive Scheduling"
in Proceedings of the Twelfth IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2006),
2006.
| DOI: | 10.3182/20060517-3-FR-2903.00313 |
| Datei: | https://cs05.informatik.uni-ulm.de/ki/Bidot/INCOM06.pdf |
163.
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 |
162.
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 |
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.
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 |
159.
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 |
158.
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 |
157.
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 |
2005
156.
T. Liebig and
M. Halfmann,
"A Tableau-based Explainer for DL Subsumption"
in Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005),
Beckert, Bernhard, Eds.
Springer Berlin / Heidelberg,
2005,
pp. 323--327.
| DOI: | 10.1007/11554554_26 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/liebig-halfmann-tableaux05.pdf |
155.
K. Pantschenko,
O. Noppens and
T. Liebig,
"Grounding Web Services Semantically: Why and How?"
in W3C Workshop on Frameworks for Semantic in Services (W3C SWSF),
2005.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2005/swsf-pantschenko-et-al.pdf |
154.
B. Schattenberg,
A. Weigl and
S. Biundo,
"Hybrid Planning Using Flexible Strategies"
in Advances in Artificial Intelligence, Proceedings of the 28th German Conference on Artificial Intelligence (KI 2005),
Springer-Verlag Berlin Heidelberg,
2005,
pp. 249--263.
| DOI: | 10.1007/10.1007/11551263_21 |
| ISBN: | 3-540-28761-2 |
| Weblink: | http://www.springerlink.com/content/ab18236tekp4wvfu/ |
| Datei: | http://www.springerlink.com/content/ab18236tekp4wvfu/fulltext.pdf |
153.
T. Liebig and
O. Noppens,
"OntoTrack: A Semantic Approach for Ontology Authoring",
Web Semantics: Science, Services and Agents on the World Wide Web,
vol. 3,
no. 2,
pp. 116--131,
2005.
| DOI: | 10.1016/j.websem.2005.06.004 |
152.
S. Biundo,
R. Holzer and
B. Schattenberg,
"Project Planning Under Temporal Uncertainty"
in Planning, Scheduling, and Constraint Satisfaction: From Theory to Practice, Luis A. Castillo and Daniel Borrajo and Miguel A. Salido and Angelo Oddi, Eds.
IOS Press,
2005,
pp. 189--198.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Biundo04ProjectPlanning.pdf |
2004
151.
T. Liebig and
O. Noppens,
"OntoTrack: A New Ontology Authoring Approach"
in The Semantic Web - ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Demo Track,
2004.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/iswc04demo-liebig.pdf |
150.
M. Wagner,
T. Liebig,
S. Balzer and
W. Kellerer,
"Towards Semantic-based Service Discovery on Tiny Mobile Devices"
in Proceedings of the International Workshop on Semantic Web Technology for Mobile and Ubiquitous Applications,
Hiroshima, Japan,
2004.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/iswc2004_ws_mobiONT.pdf |
149.
T. Liebig,
H. Pfeifer and
F. von Henke,
"Reasoning Services for an OWL Authoring Tool: An Experience Report"
in Proceedings of the 2004 International Workshop on Description Logics (DL 2004),
2004.
| Datei: | http://www.CEUR-WS.org/Vol-104/09Liebig-final.pdf |
148.
T. Liebig,
H. Pfeifer and
F. von Henke,
"Reasoning Services for an OWL Authoring Tool: An Experience Report"
in Proceedings of the 2004 International Workshop on Description Logics - DL2004,
Volker Haarslev and Ralf Möller, Eds.
Whistler, Canada,
2004.
| Datei: | https://cs05.informatik.uni-ulm.de/ki/Liebig/papers/liebig-pfeifer-vhenke-dl04.pdf |
147.
S. Biundo,
R. Holzer and
B. Schattenberg,
"Project Planning Under Temporal Uncertainty"
in Proceedings of the Workshop on Planning and Scheduling: Bridging Theory to Practice at The 16th European Conference on Artificial Intelligence (ECAI 2004),
2004.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Biundo04ProjectPlanning.pdf |
146.
S. Balzer,
T. Liebig and
M. Wagner,
"Pitfalls of OWL-S - A practical Semantic Web Use Case"
in Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004),
New York City, USA:
ACM Press,
2004,
pp. 289--298.
| DOI: | 10.1145/1035167.1035209 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/balzer-et-al-icsoc04.pdf |
145.
M. Sorea,
"Verification of real-time systems through lazy approximations",
PhD Thesis,
University of Ulm,
2004.
| Datei: | http://www.cs.man.ac.uk/~msorea/diss/diss.pdf |