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
2006
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 |
147.
M. Sorea,
"Lazy Approximation for Dense Real-Time Systems"
in Proceedings of the Joint Conference Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT),
Yassine Lakhnech and Sergio Yovine, Eds.
Springer,
2004,
pp. 363--378.
| DOI: | 10.1007/978-3-540-30206-3_25 |
| ISBN: | 3-540-23167-6 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/Sorea04Lazy.pdf |
146.
W. Steiner,
J. Rushby,
M. Sorea and
H. Pfeifer,
"Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation"
in Proceedings of the International Conference on Dependable Systems and Networks,
Florence, Italy:
IEEE Computer Society,
2004,
pp. 189--198.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/dsn04.pdf |
145.
H. Pfeifer and
F. von Henke,
"Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture"
in Proceedings of the 23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP),
Maritta Heisel and Peter Liggesmeyer and Stefan Wittmann, Eds.
Potsdam, Germany:
Springer,
2004,
pp. 240--253.
| Datei: | https://cs05.informatik.uni-ulm.de/ki/Pfeifer/safecomp2004.pdf |
144.
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 |
143.
T. Liebig and
O. Noppens,
"OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies"
in Proceedings of the Third International Semantic Web Conference (ISWC 2004),
Sheila A. McIlraith and Dimitris Plexousakis and Frank van Harmelen, Eds.
Springer,
2004,
pp. 244--258.
| DOI: | 10.1007/978-3-540-30475-3_18 |
| ISBN: | 3-540-23798-4 |
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2004/iswc04-liebig.pdf |
142.
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 |
141.
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 |
140.
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 |
139.
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 |
138.
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 |
137.
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 |
2003
136.
W. Zimmermann and
A. Dold,
"A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines"
in Abstract State Machines 2003 -- Proceedings of the 10th International Workshop, ASM 2003,
2003,
pp. 391--406.
| Datei: | http://www.informatik.uni-ulm.de/ki/Dold/expressions.pdf |
135.
J. Herbst,
"Ein induktiver Ansatz zur Akquisition und Adaption von Workflow-Modellen.",
PhD Thesis,
University of Ulm,
2003.
134.
M. Luther,
"Elaboration and Erasure in Type Theory",
PhD Thesis,
Universität Ulm,
Germany,
2003.
| Datei: | http://www.informatik.uni-ulm.de/ki/Papers/luther03-diss.pdf |