This page contains all publications of the institute. If you are searching for a particular paper that might have been written before the researcher joined us, please visit his or her individual page.

Please note that there is also a list of all students' theses written at our institute.

Publications of the Institute of Artificial Intelligence

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.
File:pdfhttp://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.
File:pdfhttp://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.
File:pdfhttps://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.
File:pdfhttp://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.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2003/swdb03-weithoener_etal.pdf

2002

130.
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
129.
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.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2002/Schattenberg02HierarchicalResources.pdf
128.
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.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Seitz/papers/GMDS02.pdf
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.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2002/oas02-liebig.pdf
126.
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.
File:pdfhttp://www.computer.org/csdl/proceedings/icce/2002/1509/00/15091317.pdf
125.
A. Dold, F. von Henke, V. Vialard and W. Goerigk, "A Mechanically Verified Compiling Specification for a Realistic Compiler" , 2002.
File:pdfhttp://vts.uni-ulm.de/docs/2005/5349/vts_5349.pdf
124.
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

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.
File:pdfhttp://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.
File:pdfhttp://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.
File:pdfhttp://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.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2001/Biundo01FromCrisisToRelief.pdf
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
File:pdfhttp://www.informatik.uni-ulm.de/ki/Papers/ijcar01.pdf
118.
B. Schattenberg and A. M. Uhrmacher, "Planning Agents in James", Proceedings of the IEEE, vol. 89, no. 2, pp. 158--173, 2001.
DOI:10.1109/5.910852
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2001/Schattenberg2001PlanningAgents.pdf
117.
T. Illman, A. Seitz, A. Martens and M. Weber, "Structure of training cases in Web-based case-oriented training systems" in Proceedings of the IEEE International Conference on Advanced Learning Technologies 2001, 2001, pp. 90--93.
DOI:10.1109/ICALT.2001.943863

2000

116.
A. Martens and A. M. Uhrmacher, "How to Execute a Tutoring Process" in Proceedings of Artificial Intelligence, Simulation and Planning, San Diego: SCS, 2000, pp. 114--122.
115.
A. Dold, "Software Development in PVS Using Generic Development Steps" in Generic Programming, Jazayeri, Mehdi and Loos, RüdigerG.K. and Musser, DavidR., Eds. Springer Berlin Heidelberg, 2000, pp. 146--161.
DOI:10.1007/3-540-39953-4_12
ISBN:978-3-540-41090-4
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2000/Dold00GenericProgramming.pdf
114.
A. M. Uhrmacher and B. G. Kullick, "Plug and Test - Software Agents in Virtual Environments" in Proceedings of the 2000 Winter Simulation Conference, Joines, J.A. and Barton, R.R. and Kang, K. and Fishwick, P.A., Eds. Orlando, Florida, USA: Wyndham Palace Resort & Spa, 2000, pp. 1722--1729.
DOI:10.1109/WSC.2000.899162
113.
T. Liebig, D. Finkenzeller and M. Luther, "KB-VISION: A Tool for Graphical Manipulation and Visualization of Domain Models" in Proceedings of the 10th European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2000), IOS Press, 2000, pp. 161--168.
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/2000/ejc00-liebig.pdf
112.
A. M. Uhrmacher and K. Gugler, "Distributed, Parallel Simulation of Multiple, Deliberative Agents" in Proceedings of the 14th Workshop on Parallel and Distributed Simulation, Bruce, David and Donatiello, Lorenzo and Turner, Stephen, Eds. Los Alamitos, California: IEEE Computer Society, 2000, pp. 101--108.
DOI:10.1109/PADS.2000.847150
File:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=847150