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
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 |
158.
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 |
157.
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 |
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.
S. Balzer and
T. Liebig,
"Bridging the Gap Between Abstract and Concrete Services - A Semantic Approach for Grounding OWL-S"
in Proceedings of the International Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications,
Hiroshima, Japan,
2004.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/SWS2004-Balzer-Final.pdf |
150.
S. Biundo,
R. Holzer and
B. Schattenberg,
"Dealing with Continuous Resources in AI Planning"
in Proceedings of the 4th International Workshop on Planning and Scheduling for Space (IWPSS 2004),
ESA-ESOC, Darmstadt, Germany:
European Space Agency Publications Division,
2004,
pp. 213--218.
| Datei: | https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Biundo04ContinuousResources.pdf |
149.
W. Timo,
T. Liebig and
G. Specht,
"Efficient Processing of Huge Ontologies in Logic and Relational Databases"
in Proceedings of the International Conference on Ontologies, Databases and Application of Semantics (ODBASE 2004),
Springer Berlin / Heidelberg,
2004,
pp. 28--29.
| DOI: | 10.1007/978-3-540-30470-8_13 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/weithoener-et-al-odbase04.pdf |
148.
H. Pfeifer and
F. von Henke,
"Formal Modelling and Analysis of Fault Tolerance Properties in the Time-Triggered Architecture"
in Proceedings of the 5th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004),
E. Schnieder and G. Tarnai, Eds.
Technical University of Braunschweig, Institute for Traffic Safety and Automation Engineering,
2004,
pp. 230--240.
| Datei: | https://cs05.informatik.uni-ulm.de/ki/Pfeifer/forms2004.pdf |