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
1997
59.
F. Bartels,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Mechanizing Domain Theory" ,
1997.
| Datei: |  http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1997/Bartels97MechanizingDomainTheory.pdf |
58.
F. von Henke,
M. Luther and
M. Strecker,
"Typelab: An Environment for Modular Program Development"
in Theory and Practice of Software Development (TAPSOFT '97) - Proceedings of the 7th International Joint Conference CAAP/FASE,
Springer Berlin Heidelberg,
1997,
pp. 849--854.
| DOI: | 10.1007/BFb0030645 |
1996
57.
D. Cyrluk,
O. Möller and
H. Rueß,
"An Efficient Decision Procedure for a Theory of Fixed-Sized Bitvectors with Composition and Extraction" ,
1996.
56.
B. Nebel,
"Artificial Intelligence: A Computational Perspective"
in Principles of Knowledge Representation, G. Brewka, Eds.
CSLI Publications,
1996,
pp. 237--266.
55.
W. Goerigk,
A. Dold,
T. Gaul,
G. Goos,
A. Heberle,
F. von Henke,
U. Hoffmann,
H. Langmaack,
H. Pfeifer,
H. Rueß and
W. Zimmermann,
"Compiler Correctness and Implementation Verification: The \em Verifix Approach"
in Proceedings of the Poster Session of CC '96 -- International Conference on Compiler Construction,
P. Fritzson, Eds.
IDA Technical Report LiTH-IDA-R-96-12, Linkøping, Sweden,
1996,
pp. 65--73.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1996/Goerigk96Verifix.pdf |
54.
A. M. Uhrmacher,
"Concepts of Object- and Agent-Oriented Simulation"
in Workshop on Multiagent Systems and Simulation,
1996,
pp. 1--8.
| Datei: | http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/scs97.pdf |
53.
A. Seitz and
A. M. Uhrmacher,
"Fälle statt Modellwissen - Eine Anwendung auf dem Gebiet der Knochenheilung"
in 4th German Workshop on Case-Based Reasoning,
1996.
52.
E. Canver,
J. Gayen and
A. Moik,
"Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE" ,
1996.
| Datei: | http://vts.uni-ulm.de/docs/2009/7066/vts_7066_9889.pdf |
51.
A. Dold,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Generic Compilation Schemes for Simple Programming Constructs" ,
1996.
50.
H. Rueß,
"Hierarchical verification of two-dimensional high-speed multiplication in PVS: A case study"
in Formal Methods in Computer-Aided Design, Srivas, Mandayam and Camilleri, Albert, Eds.
Springer Berlin Heidelberg,
1996,
pp. 79--93.
| DOI: | 10.1007/BFb0031801 |
| ISBN: | 978-3-540-61937-6 |
49.
H. Rueß,
N. Shankar and
M. K. Srivas,
"Modular Verification of SRT Division"
in Proceedings of the 8th International Conference on Computer Aided Verification (CAV '96),
Springer Berlin Heidelberg,
1996,
pp. 123--134.
| DOI: | 10.1007/3-540-61474-5_63 |
48.
A. M. Uhrmacher,
"Object-Oriented and Agent-Oriented Simulation-Implications for Social Science Applications"
in Social Science Micro Simulation- A Challenge for Computer Science, Doran, J. and Gilbert, N. and Müller, U. and Troitzsch, K.G., Eds.
Springer,
1996,
pp. 432--447.
47.
B. Nebel,
"Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class"
in Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'96),
1996,
pp. 38--42.
46.
M. Strecker,
M. Luther and
M. Wagner,
"Structuring and Using a Knowledge Base of Mathematical Concepts: A Type-Theoretic Approach"
in ECAI-96 Workshop on Representation of mathematical knowledge,
1996,
pp. 23--26.
45.
B. Nebel,
"Subsumption"
in Wörterbuch der Kognitionswissenschaft, Gerhard Strube, B. Becker, C. Freksa, U. Hahn, K. Opwis and G. Plam, Eds.
Klett-Cotta,
1996,
pp. 695.
44.
B. Nebel,
"Terminologische Logiken"
in Wörterbuch der Kognitionswissenschaft, Gerhard Strube, B. Becker, C. Freksa, U. Hahn, K. Opwis and G. Plam, Eds.
Klett-Cotta,
1996,
pp. 385.
43.
F. von Henke,
M. Luther,
H. Pfeifer,
H. Rueß,
D. Schwier,
M. Strecker and
M. Wagner,
"The TYPELAB Specification and Verification Environment"
in Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology (AMAST '96),
M. Wirsing and M. Nivat, Eds.
Springer,
1996,
pp. 604--607.
| DOI: | 10.1007/BFb0014353 |
42.
A. M. Uhrmacher and
B. P. Zeigler,
"Variable Structure Modeling in Object-Oriented Simulation",
International Journal on General Systems,
vol. 24,
no. 4,
pp. 359--375,
1996.
| DOI: | 10.1080/03081079608945128 |
41.
A. M. Uhrmacher,
"Variable Structure Modelling - Discrete Events in Simulation"
in Proc. of the 6th Annual Conference on Artificial Intelligence, Simulation and Planning in High Autonomy Systems,
IEEE-Press,
1996,
pp. 133--140.
1995
40.
A. Dold,
F. von Henke,
H. Pfeifer and
H. Rueß,
"A Generic Specification for Verifying Peephole Optimizations" ,
1995.
39.
B. Nebel,
"Base Revision Operations and Schemes: Semantics, Representation and Complexity"
in Proceedings of the ISSEK94 Workshop on Mathematical and Statistical Methods in Artificial Intelligence,
Della Riccia, G. and Kruse, R. and Viertl, R., Eds.
Springer-Verlag,
1995,
pp. 157--170.
| DOI: | 10.1007/978-3-7091-2690-5_11 |
| ISBN: | 978-3-211-82713-0 |
38.
C. Bäckström and
B. Nebel,
"Complexity Results for SAS+ Planning",
Computational Intelligence,
vol. 11,
pp. 625--655,
1995.
37.
B. Nebel,
"Computational Properties of Qualitative Spatial Reasoning: First Results"
in KI-95: Advances in Artificial Intelligence,
Wachsmuth, Ipke and Rollinger, Claus-Rainer and Brauer, Wilfried, Eds.
Springer Berlin Heidelberg,
1995,
pp. 233--244.
| DOI: | 10.1007/3-540-60343-3_40 |
| ISBN: | 978-3-540-60343-6 |
36.
F. von Henke,
A. Dold,
H. Rueß,
D. Schwier and
M. Strecker,
"Construction and Deduction Methods for the Formal Development of Software"
in KORSO: Methods, Languages, and Tools for the Construction of Correct Software,
Manfred Broy, Eds.
Springer-Verlag,
1995,
pp. 239--254.
| Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1995/Henke95Construction.pdf |
35.
H. Rueß,
"Formal Meta-Programming in the Calculus of Constructions",
PhD Thesis,
University of Ulm,
1995.