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

1996

57.
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.
56.
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.
55.
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
54.
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
53.
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.
52.
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.
51.
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.
50.
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.
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. Dold, F. von Henke, H. Pfeifer and H. Rueß, "Generic Compilation Schemes for Simple Programming Constructs" , 1996.
47.
E. Canver, J. Gayen and A. Moik, "Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE" , 1996.
File:pdfhttp://vts.uni-ulm.de/docs/2009/7066/vts_7066_9889.pdf
46.
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.
45.
A. M. Uhrmacher, "Concepts of Object- and Agent-Oriented Simulation" in Workshop on Multiagent Systems and Simulation, 1996. pp. 1--8.
File:pdfhttp://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/scs97.pdf
44.
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.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1996/Goerigk96Verifix.pdf
43.
B. Nebel, "Artificial Intelligence: A Computational Perspective" in Principles of Knowledge Representation,G. Brewka, Eds. CSLI Publications, 1996, pp. 237--266.
42.
D. Cyrluk, O. Möller and H. Rueß, "An Efficient Decision Procedure for a Theory of Fixed-Sized Bitvectors with Composition and Extraction" , 1996.
41.
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

1995

40.
C. Willy, A. M. Uhrmacher and H. Gerngross, "Leucozyte-Endothelium Interaction in Traumatology - A Knowledge-Based Systems Approach", EFFORD Congress, Munich, 1995.
39.
B. Owsnicki-Klewe, K. von Luck and B. Nebel, "Wissensrepräsentation und Logik - Eine Einführung" in Einführung in die Künstliche Intelligenz,G. Görz, Eds. Addison-Wesley, 1995, pp. 3--54.
38.
E. Andre, W. Finkler, W. Graf, K. Harbusch, J. Heinsohn, A. Kilger, B. Nebel, H. Profitlich, T. Rist, W. Wahlster, A. Butz and A. Jameson, "WIP: From Multimedia to Intellimedia (Abstract of Video)" in Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), 1995. pp. 2053--2054.
37.
A. Dold, "Representing, Verifying and Applying Software Development Steps using the PVS System" in Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology (AMAST '95), V. S. Alagar and Maurice Nivat, Eds. Springer Berlin Heidelberg, 1995. pp. 431--445.
DOI:10.1007/3-540-60043-4_69
36.
B. Nebel and H. Bürckert, "Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra" , Journal of the ACM, vol. 42, no. 1, pp. 43--66, 1995. ACM.
DOI:10.1145/200836.200848
35.
A. M. Uhrmacher, "Reasoning about Changing Structure, A Modeling Concept for Ecological Systems" , Applied Artificial Intelligence, vol. 9, no. 2, pp. 157--180, 1995.
DOI:10.1080/08839519508945472
File:http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/jaai95.pdfs
34.
B. Nebel and J. Koehler, "Plan reuse versus plan generation: a theoretical and empirical analysis" , Artificial Intelligence, vol. 76, no. 1--2, pp. 427--454, 1995.
DOI:10.1016/0004-3702(94)00082-C
33.
H. Rueß, H. Pfeifer and F. von Henke, "Formalization and Reasoning in a Reflective Architecture" in IJCAI 1995 Workshop on Reflection and Meta Level Architecture and their Application in AI, M. Ibrahim and P. Cointe and F. Cummins and F. Giunchiglia and J. Malenfant, Eds. Montreal, Canada, 1995.
File:pdfhttp://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1995/Ruess95FormalizationAndReasoning.pdf