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

2000

107.
A. Martens, J. Bernauer, T. Illmann, C. Scheuerer and A. Seitz, "A Flexible Architecture for Constructing and Executing Tutoring Processes" in Proceedings of the 45. Jahrestagung der GMDS, Hannover 2000, 2000. pp. 494--498.

1999

106.
S. Pfab, H. Rueß, S. Owre and F. von Henke, "Towards Light-Weight Verification and Heavy-Weight Testing" in Tool Support for System Specification, Development and Verification,Berghammer, Rudolf and Lakhnech, Yassine, Eds. Springer Vienna, 1999, pp. 189--200.
DOI:10.1007/978-3-7091-6355-9_14
ISBN:978-3-211-83282-0
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfab99Verification.pdf
105.
H. Pfeifer, D. Schwier and F. von Henke, "Formal Verification for Time-Triggered Clock Synchronization" in Dependable Computing for Critical Applications 7, C. Weinstock and J. Rushby, Eds. IEEE Computer Society, 1999. pp. 207--226.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfeifer99ClockSynchronization.pdf
104.
B. Höfling, T. Liebig, L. Webel and D. Rösner, "Towards an Ontology for Substances and Related Actions" in Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management (EKAW'99), Fensel, Dieter and Studer, Rudi, Eds. Springer Berlin / Heidelberg, 1999. pp. 191--206.
DOI:10.1007/3-540-48775-1_12
File:pdffileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/ekaw99-liebig.pdf
103.
F. Kienzler, "Synthese versus Analyse in modellbasierten KI-Planungssystemen? DIAKON - ein auto-adaptiver diagnostischer Lösungsansatz für Aktionsplanungs- und Konfigurierungsprobleme", PhD Thesis, Universität Ulm, 1999.
102.
J. Xu, B. Randell, A. Romanovsky, R. J. Stroud, A. F. Zorzo, E. Canver and F. von Henke, "Rigorous development of a safety-critical system based on coordinated atomic actions" in Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. Digest of Papers., 1999. pp. 68--75.
DOI:10.1109/FTCS.1999.781035
101.
H. Pfeifer and H. Rueß, "Polytypic Proof Construction" in Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, Y. Bertot and G. Dowek and A. Hirschowitz and C. Paulin and L. Théry, Eds. Springer, 1999. pp. 55--72.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfeifer99Polytypic.pdf
100.
J. Rintanen and H. Jungholt, "Numeric State Variables in Constraint-Based Planning" in Recent Advances in AI Planning, Proceedings of the 5th European Conference on Planning (ECP '99), 1999. pp. 109--121.
File:pdfhttp://users.ics.aalto.fi/rintanen/jussi/papers/RintanenJungholt99.pdf
99.
A. Martens and A. M. Uhrmacher, "Modelling Tutoring as a Dynamic Process - A Discrete Event Simulation Approach" in Proceedings of European Simulation Multiconference ESM'99, SCS, 1999. pp. 111--119.
File:pdfhttp://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/esm99.pdf
98.
E. Canver, "Model-Checking zur Analyse von Message Sequence Charts über Statecharts" , 1999.
File:pdfhttp://vts.uni-ulm.de/docs/2009/7093/vts_7093_9943.pdf
97.
J. Rintanen, "Improvements to the Evaluation of Quantified Boolean Formulae" in Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Morgan Kaufmann Publishers, 1999. pp. 1192--1197.
File:pdfhttp://www.eecs.berkeley.edu/~russell/classes/cs289/f04/readings/Rintanen:1999.pdf
96.
A. Dold and V. Vialard, "Formal Verification of a Compiler Back-End Generic Checker Program" in Proceedings of the Andrei Ershov Third International Conference on Perspectives of System Informatics (PSI'99), Springer-Verlag, 1999. pp. 470--480.
95.
A. Seitz, "A Case-Based Methodology for Planning Individualized Case Oriented Tutoring" in Case-Based Reasoning Research and Development - Third International Conference on Case-Based Reasoning (ICCBR '99), Springer Berlin Heidelberg, 1999. pp. 318--328.
DOI:10.1007/3-540-48508-2_23
94.
A. Dold, "Formal Software Development using Generic Development Steps" in Proceedings of the 11th Nordic Workshop on Programming Theory, Uppsala, Sweden, October, 6-8, 1999.
93.
J. Rintanen, "Constructing Conditional Plans by a Theorem-Prover" , Journal of Artificial Intelligence Research (JAIR), pp. 323--352, 1999.
DOI:10.1613/jair.591
File:http://arxiv.org/pdf/1105.5465
92.
1999 International Conference on Web-Based Modeling and Simulation. .... San Diego, CA: SCS, 1999.
91.
A. Seitz, A. M. Uhrmacher and D. Damm, "A Case-Based Prediction of Experimental Studies" , International Journal on Artificial Intelligence in Medicine, vol. 15, no. 3, pp. 255--273, 1999.
DOI:10.1016/S0933-3657(98)00057-8
90.
T. Illmann, M. Weber, A. Martens and A. Seitz, "A Pattern-Oriented Design of a Web-Based and Case-Oriented Multimedia Training System in Medicine" in 4th World Conference on Integrated Design & Process Technology, 1999.
89.
A. Seitz, A. Martens, J. Bernauer, C. Scheuerer and J. Thomsen, "An Architecture for Intelligent Support of Authoring and Tutoring in Medical Multimedia Learning Environments" in Proceedings of the World Conference on Educational Multimedia, Hypermedia, Piet Kommers and Griff Richards, Eds. Chesapeake, VA: AACE, 1999. pp. 852--857.
File:pdfhttp://www.informatik.uni-rostock.de/~martens/Papers/dnd_edmed99.pdf
88.
E. Canver and F. von Henke, "Formal Development of Object-Based Systems in a Temporal Logic Setting" in Formal Methods for Open Object-Based Distributed Systems (FMOODS '99), Springer US, 1999. pp. 419--436.
DOI:10.1007/978-0-387-35562-7_33
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, 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
85.
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
84.
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
83.
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