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
2000
109.
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.
| Datei: |  /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2000/ejc00-liebig.pdf |
108.
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 |
107.
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 |
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2000/Dold00GenericProgramming.pdf |
1999
106.
1999 International Conference on Web-Based Modeling and Simulation.
....
San Diego, CA:
SCS,
1999.
105.
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 |
104.
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 |
103.
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.
102.
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.
| Datei: | http://www.informatik.uni-rostock.de/~martens/Papers/dnd_edmed99.pdf |
101.
J. Rintanen,
"Constructing Conditional Plans by a Theorem-Prover",
Journal of Artificial Intelligence Research (JAIR),
pp. 323--352,
1999.
| DOI: | 10.1613/jair.591 |
| Datei: | http://arxiv.org/pdf/1105.5465 |
100.
M. Strecker,
"Construction and Deduction in Type Theories",
PhD Thesis,
Universität Ulm, Fakultät für Informatik,
1999.
| Datei: | http://www.informatik.uni-ulm.de/ki/Strecker/diss-strecker.pdf |
99.
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.
| Datei: | http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2232626/pdf/procamiasymp00004-1152.pdf |
98.
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.
| Datei: | http://www.informatik.uni-ulm.de/ki/Seitz/papers/amia99.pdf |
97.
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.
| Datei: | http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/dnd_gmds99.pdf |
96.
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.
| Datei: | http://www.informatik.uni-rostock.de/~martens/Papers/dnd_cbt99.pdf |
95.
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 |
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.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfeifer99ClockSynchronization.pdf |
92.
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.
91.
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.
| Datei: | http://www.eecs.berkeley.edu/~russell/classes/cs289/f04/readings/Rintanen:1999.pdf |
90.
E. Canver,
"Model-Checking zur Analyse von Message Sequence Charts über Statecharts" ,
1999.
| Datei: | http://vts.uni-ulm.de/docs/2009/7093/vts_7093_9943.pdf |
89.
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.
| Datei: | http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/esm99.pdf |
88.
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.
| Datei: | http://users.ics.aalto.fi/rintanen/jussi/papers/RintanenJungholt99.pdf |
87.
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.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfeifer99Polytypic.pdf |
86.
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 |
85.
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.