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
1999
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.
84.
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 |
Datei: | /fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/ekaw99-liebig.pdf |
83.
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 |
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1999/Pfab99Verification.pdf |
1998
82.
M. Luther and
M. Strecker,
"A guided tour through TYPELAB" ,
1998.
Datei: | http://vts.uni-ulm.de/docs/2013/8520/vts_8520_12569.pdf |
81.
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.
Datei: | http://users.ics.aalto.fi/rintanen/jussi/papers/Rintanen98plan.pdf |
80.
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.
Datei: | http://www.informatik.uni-ulm.de/ki/Schattenberg/Publications/Papers/ess98.pdf |
79.
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.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Dold98Verification.pdf |
78.
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.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/vHenke98TheoremProving.pdf |
77.
J. Rintanen,
"Complexity of Prioritized Default Logics",
Journal of Artificial Intelligence Research (JAIR),
vol. 9,
pp. 423--461,
1998.
Datei: | http://www.jair.org/media/554/live-554-1756-jair.pdf |
76.
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.
75.
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.
74.
E. Canver,
"Formal verification of a coordinated atomic action based design" ,
1998.
Datei: | http://vts.uni-ulm.de/docs/2013/8522/vts_8522_12573.pdf |
73.
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.