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: |  http://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: | http://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: | fileadmin/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: | http://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: | http://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: | http://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: | http://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: | http://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: | http://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: | http://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: | http://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: | http://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: | http://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: | http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2232626/pdf/procamiasymp00004-1152.pdf |