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
2001
118.
B. Schattenberg and
A. M. Uhrmacher,
"Planning Agents in James",
Proceedings of the IEEE,
vol. 89,
no. 2,
pp. 158--173,
2001.
| DOI: | |
| Datei: |  |
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: |
2000
116.
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.
115.
A. M. Uhrmacher and
A. Seitz,
"Case-Based Simulation of Ecological and Biological Systems",
Journal of Systems Analysis, Modelling and Simulation (SAMS),
vol. 39,
no. 2,
pp. 215--234,
2000.
.
114.
A. Martens,
T. Illmann,
A. Seitz,
C. Scheuerer,
M. Weber and
J. Bernauer,
"CSCW in webbasierten Lehrsystemen"
in Proceedings of 5. Workshop der AG CBT in der Medizin der GMDS,
2000,
pp. 90--95.
113.
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: | |
| Datei: |
112.
A. Dold,
"Formal Software Development using Generic Development Steps",
PhD Thesis,
Universit盲t Ulm,
2000.
| Datei: | |
111.
H. Pfeifer,
"Formal Verification of the TTP Group Membership Algorithm"
in Formal Methods for Distributed System Development -- Proceedings of FORTE XIII / PSTV XX 2000,
T. Bolognesi and D. Latella, Eds.
Pisa, Italy:
Kluwer Academic Publishers,
2000,
pp. 3--18.
| Datei: | |
110.
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.
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: |
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: | |
| ISBN: | 978-3-540-41090-4 |
| Datei: | |
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: |
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: |
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: | |
101.
J. Rintanen,
"Constructing Conditional Plans by a Theorem-Prover",
Journal of Artificial Intelligence Research (JAIR),
pp. 323--352,
1999.
| DOI: | |
| Datei: |
100.
M. Strecker,
"Construction and Deduction in Type Theories",
PhD Thesis,
Universit盲t Ulm, Fakult盲t f眉r Informatik,
1999.
| Datei: | |
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: | |
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: | |
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: | |
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: | |
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: |
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.