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
1996
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.
34.
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.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1995/Ruess95FormalizationAndReasoning.pdf |
33.
B. Nebel,
"Komplexitätsanalysen in der Künstlichen Intelligenz",
Künstliche Intelligenz,
vol. 9,
no. 2,
pp. 6--14,
1995.
32.
C. Willy,
A. M. Uhrmacher and
H. Gerngross,
"Leucozyte-Endothelium Interaction in Traumatology - A Knowledge-Based Systems Approach",
EFFORD Congress, Munich,
1995.
31.
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 |
30.
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 |
Datei: | http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/jaai95.pdfs |
29.
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 |
28.
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 |
27.
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.
26.
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.
1994
25.
Nebel, Bernhard and Dreschler-Fischer, Leonie S., Eds.,
Advances in Artificial Intelligence: Proceedings of the 18th Annual German Conference:
LNAI.
ISBN: | 3-540-58467-6 |
24.
F. Baader,
B. Hollunder,
B. Nebel,
H. Profitlich and
E. Franconi,
"An Empirical Analysis of Optimization Techniques for Terminological Representation Systems or "Making KRIS get a move on"",
Applied Intelligence,
vol. 4,
no. 2,
pp. 109--132,
1994.
Kluwer Academic Publishers,
http://link.springer.com/article/10.1007%2FBF00872105.
DOI: | 10.1007/BF00872105 |
Weblink: | http://scidok.sulb.uni-saarland.de/volltexte/2011/3799/ |
23.
J. Heinsohn,
D. Kudenko,
B. Nebel and
H. Profitlich,
"An Empirical Analysis of Terminological Representation Systems",
Artificial Intelligence,
vol. 68,
no. 2,
pp. 367--397,
1994.