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
2004
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.
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 |
133.
H. Pfeifer,
"Formal Analysis of Fault-Tolerant Algorithms in the Time-Triggered Architecture",
PhD Thesis,
Ulm University,
Germany,
2003.
| Datei: | https://cs05.informatik.uni-ulm.de/ki/Papers/pfeifer03-diss.pdf |
132.
T. Liebig and
O. Noppens,
"OntoTrack: Fast Browsing and Easy Editing of Large Ontologies"
in Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON 2004),
York Sure and Oscar Corcho, Eds.
CEUR-WS.org,
2003.
| Datei: | http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-87/EON2003_Liebig.pdf |
131.
W. Timo,
T. Liebig and
G. Specht,
"Storing and Querying Ontologies in Logic Databases"
in Proceedings of the First International Workshop on Semantic Web and Databases (SWDB'03),
Berlin, Germany,
2003,
pp. 329--348.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2003/swdb03-weithoener_etal.pdf |
2002
130.
A. Dold,
F. von Henke,
V. Vialard and
W. Goerigk,
"A Mechanically Verified Compiling Specification for a Realistic Compiler" ,
2002.
| Datei: | http://vts.uni-ulm.de/docs/2005/5349/vts_5349.pdf |
129.
A. Seitz,
M. Dannenberg and
H. Liebhart,
"An Anthoring System for Instructionally Designed Tutoring Processes"
in Proceedings of the International Conference on Computers in Education (ICCE’02),
2002,
pp. 1317--1318.
| Datei: | http://www.computer.org/csdl/proceedings/icce/2002/1509/00/15091317.pdf |
128.
E. Volz,
A. Martens and
A. Seitz,
"An Execution System for Variable Tutoring Processes"
in Proceedings of the International Conference on Computers in Education (ICCE '02),
2002,
pp. 559--563.
| DOI: | 10.1109/CIE.2002.1186005 |
127.
M. Schalk,
T. Liebig,
T. Illmann and
F. Kargl,
"Combining FIPA ACL With DAML OIL - A Case Study"
in Proceedings of the Second International Workshop on Ontologies in Agent Systems (OAS'02),
2002.
| Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2002/oas02-liebig.pdf |
126.
A. Seitz and
M. Dannenberg,
"Docs'n Drugs - Gegenwart und Zukunft"
in Proceedings of the 6. Workshop der AG CBT in der Medizin der GMDS,
2002.
| Datei: | http://www.informatik.uni-ulm.de/ki/Seitz/papers/GMDS02.pdf |
125.
B. Schattenberg and
S. Biundo,
"On the Identification and Use of Hierarchical Resources in Planning and Scheduling"
in Proceedings of the 6th International Conference on Artificial Intelligence Planning Systems (AIPS 2002),
AAAI Press,
2002,
pp. 263--272.
124.
J. Xu,
B. Randell,
A. B. Romanovsky,
R. J. Stroud,
A. F. Zorzo,
E. Canver and
F. von Henke,
"Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions",
IEEE Transactions on Computers,
vol. 51,
no. 2,
pp. 164--179,
2002.
| DOI: | 10.1109/12.980006 |
2001
123.
A. Dold and
V. Vialard,
"A Mechanically Verified Compiling Specification for a Lisp Compiler"
in FST TCS 2001: Foundations of Software Technology and Theoretical Computer Sience,
Ramesh Hariharan and Madhavan Mukund and V. Vinay, Eds.
springer,
2001,
pp. 144--155.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2001/Dold01LispCompiler.pdf |
122.
A. Martens,
J. Bernauer,
T. Illmann and
A. Seitz,
"Docs 'n Drugs - The Virtual Polyclinic. An Intelligent Tutoring System for Web-Based and Case-Oriented Training in Medicine"
in Proceedings of the American Medical Informatics Conference,
Washington, USA:
AMIA,
2001,
pp. 433--437.
| Datei: | http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2243325/pdf/procamiasymp00002-0472.pdf |
121.
H. Pfeifer and
F. von Henke,
"Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example"
in 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001),
Antibes Juan-les-Pins:
IEEE,
2001,
pp. 343--352.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2001/Pfeifer01DependabilityProperties.pdf |
120.
S. Biundo and
B. Schattenberg,
"From Abstract Crisis to Concrete Relief (A Preliminary Report on Combining State Abstraction and HTN Planning)"
in Proceedings of the 6th European Conference on Planning (ECP 2001),
AAAI Press,
2001,
pp. 157--168.
119.
M. Luther,
"More On Implicit Syntax"
in Automated Reasoning - First International Joint Conference (IJCAR), Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias, Eds.
Springer Berlin Heidelberg,
2001,
pp. 386--400.
| DOI: | 10.1007/3-540-45744-5_31 |
| ISBN: | 978-3-540-42254-9 |
| Datei: | http://www.informatik.uni-ulm.de/ki/Papers/ijcar01.pdf |