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

1999

87.
M. Strecker, "Construction and Deduction in Type Theories", PhD Thesis, Universität Ulm, Fakultät für Informatik, 1999.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Strecker/diss-strecker.pdf
86.
A. Martens and J. Bernauer, "Docs 'n Drugs - A System for Case-Oriented and Web-based Training in Medicine" in Proceedings of AMIA Symposium, 1999, pp. 1115.
File:pdfhttp://www.ncbi.nlm.nih.gov/pmc/articles/PMC2232626/pdf/procamiasymp00004-1152.pdf
85.
A. Martens, J. Bernauer, A. Seitz, T. Illmann and C. Scheuerer, "Docs 'n Drugs - A System for Case-Oriented and Web-based Training in Medicine" in Proceedings of AMIA Symposium, 1999.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Seitz/papers/amia99.pdf
84.
C. Scheuerer, A. Martens, J. Bernauer, T. Illmann, A. Seitz and M. Weber, "Docs 'n Drugs - a Web-Based and Case-Oriented Training System in Medicine" in Proceedings of the 44. Jahrestagung der GMDS, 1999.
File:pdfhttp://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/dnd_gmds99.pdf
83.
A. Martens, J. Bernauer, T. Illmann, C. Scheuerer, A. Seitz and M. Weber, "Docs 'n Drugs - Ein webbasiertes, multimediales Lehrsystem für die Medizin" in 4. Workshop der AG CBT in der Medizin der GMDS, 1999, pp. 65--72.
File:pdfhttp://www.informatik.uni-rostock.de/~martens/Papers/dnd_cbt99.pdf

1998

82.
M. Strecker, M. Luther and F. von Henke, "Interactive and Automated Proof Construction in Type Theory" in Automated Deduction --- A Basis for Applications, W. Bibel and P. Schmitt, Eds. Kluwer Academic Publishers, 1998.
81.
A. Seitz and A. M. Uhrmacher, "The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies" in Advances in Artificial Intelligence, Proceedings of the 22nd German Conference on Artificial Intelligence (KI 1998), Springer, 1998, pp. 213--224.
80.
H. Pfeifer and H. Rueß, "Polytypic Abstraction in Type Theory" in Workshop on Generic Programming (WGP'98), Roland Backhouse and Tim Sheard, Eds. Dept. of Computing Science, Chalmers Univ. of Technology, and Göteborg Univ., 1998.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Pfeifer98PolytypicAbstraction.pdf
79.
A. M. Uhrmacher, P. Tyschler and D. Tyschler, "Modeling Mobile Agents" in Proceedings of the International Conference on Web-Based Modeling and Simulation, 1998, pp. 15--20.
File:pdfhttp://www.researchgate.net/publication/222803651_Modeling_and_simulation_of_mobile_agents/file/3deec51a51179d6d80.pdf
78.
A. Dold, T. Gaul and W. Zimmermann, "Mechanized Verification of Compiler Backends" in Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT '98), Aalborg, Denmark, 1998.
File:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.5876&rep=rep1&type=pdf
77.
D. Schwier and F. von Henke, "Mechanical Verification of Clock Synchronization Algorithms" in Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT '98), Anders P. Ravn and Hans Rischel, Eds. Springer, 1998, pp. 262--271.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Schwier98Verification.pdf
76.
J. Rintanen, "Lexicographic Priorities in Default Logic", Artificial Intelligence, vol. 106, pp. 221--265, 1998.
75.
A. M. Uhrmacher and B. Schattenberg, "Agents in Discrete Event Simulation" in 10TH European Simulation Symposium ``Simulation in Industry -- Simulation Technology: Science and Art" (ESS 1998), Andre Bargiela and Eugene Kerckhoffs, Eds. SCS Publications, Ghent, 1998, pp. 129--136.
File:pdfhttp://www.informatik.uni-ulm.de/ki/Schattenberg/Publications/Papers/ess98.pdf
74.
E. Canver, "Formal verification of a coordinated atomic action based design" , 1998.
File:pdfhttp://vts.uni-ulm.de/docs/2013/8522/vts_8522_12573.pdf
73.
A. M. Uhrmacher and A. Seitz, "Fallbasierte Simulation ökologischer und biologischer Systeme" in Proceedings of the 8th Workshop, AK5, GI-Fachgruppe 4.5.9/4.6.3: Werkzeuge für die Simulation und Modellierung in Umweltanwendungen. Wissenschaftliche Berichte des Forschungszentrums Karlsruhe (FZKA), 1998.
72.
D. Damm, F. von Henke, A. Seitz, A. M. Uhrmacher, L. Claes and S. Wolf, "Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung" , 1998.
71.
J. Rintanen, "Complexity of Prioritized Default Logics", Journal of Artificial Intelligence Research (JAIR), vol. 9, pp. 423--461, 1998.
File:pdfhttp://www.jair.org/media/554/live-554-1756-jair.pdf
70.
F. von Henke, S. Pfab, H. Pfeifer and H. Rueß, "Case Studies in Meta-Level Theorem Proving" in Proceedings Intl. Conf. on Theorem Proving in Higher Order Logics, J. Grundy and M. Newey, Eds. Springer, 1998, pp. 461--478.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/vHenke98TheoremProving.pdf
69.
A. Dold, T. Gaul, V. Vialard and W. Zimmermann, "ASM-based Mechanized Verification of Compiler Back-Ends" in Workshop on Abstract State Machines '98, 1998, pp. 50--67.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Dold98Verification.pdf
68.
M. Luther and M. Strecker, "A guided tour through TYPELAB" , 1998.
File:pdfhttp://vts.uni-ulm.de/docs/2013/8520/vts_8520_12569.pdf
67.
J. Rintanen, "A Planning Algorithm not based on Directional Search" in Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR '98), Morgan Kaufmann Publishers, 1998, pp. 617--624.
File:pdfhttp://users.ics.aalto.fi/rintanen/jussi/papers/Rintanen98plan.pdf

1997

66.
F. von Henke, M. Luther and M. Strecker, "Typelab: An Environment for Modular Program Development" in Theory and Practice of Software Development (TAPSOFT '97) - Proceedings of the 7th International Joint Conference CAAP/FASE, Springer Berlin Heidelberg, 1997, pp. 849--854.
DOI:10.1007/BFb0030645
65.
F. Bartels, F. von Henke, H. Pfeifer and H. Rueß, "Mechanizing Domain Theory" , 1997.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1997/Bartels97MechanizingDomainTheory.pdf
64.
M. Strecker and M. Sorea, "Integrating an Equality Prover into a Software Development System Based on Type Theory" in Advances in Artificial Intelligence - Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI '97), Springer Berlin Heidelberg, 1997, pp. 147--158.
DOI:10.1007/3540634932_11
63.
F. von Henke, H. Pfeifer and H. Rueß, "Guided Tour Through a Mechanized Semantics of Simple Imperative Programming Constructs" , 1997.