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
1994
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.
22.
S. Bergamaschi and
B. Nebel,
"Automatic Building and Validation of Multiple Inheritance Complex Complex Object Database Schemata",
Applied Intelligence,
vol. 4,
no. 2,
pp. 185--204,
1994.
21.
B. Nebel,
"Base Revision Operations and Schemes: Semantics, Representation, and Complexity"
in Proceedings of the 11th European Conference on Artificial Intelligence (ECAI '94),
John Wiley & Sons,
1994,
pp. 341--345.
20.
A. M. Uhrmacher and
R. Arnold,
"Distributing and Maintaining Knowledge - Agents in Variable Structure Environments"
in Proceedings of the Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems. Distributed Interactive Simulation Environments,
Gainesville, FL, USA:
IEEE-Press,
1994,
pp. 178--184.
| DOI: | 10.1109/AIHAS.1994.390487 |
19.
A. Dold,Formalisierung schematischer Algorithmen.
....
Universität Ulm,
1994.
18.
Lakemeyer, Gerhard and Nebel, Bernhard, Eds.,
Foundation of Knowledge Representation and Reasoning [the Book Grew out of an ECAI-92 Workshop]:
LNAI.
| ISBN: | 3-540-58107-3 |
17.
G. Lakemeyer and
B. Nebel,
"Foundations of knowledge representation and reasoning"
in Foundations of Knowledge Representation and Reasoning, Lakemeyer, Gerhard and Nebel, Bernhard, Eds.
Springer Berlin Heidelberg,
1994,
pp. 1--12.
| DOI: | 10.1007/3-540-58107-3_1 |
| ISBN: | 978-3-540-58107-9 |
16.
A. M. Uhrmacher,
"Fuzzy-basiertes Induktives Schliessen - Eine Analyse der Kohlendioxiddynamik in Biosphäre 2"
in GI-Fachgruppe Maschinelles Lernen,
1994,
pp. 95--104.
| Datei: |  http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/mal94.pdf |
15.
B. Nebel and
H. Bürckert,
"Managing Qualitative Temporal Information: Expressiveness vs. Complexity"
in Management and Processing of Complex Data Structures,
K. von Luck and H. Marburger, Eds.
Springer-Verlag Berlin,
1994,
pp. 104--117.
| ISBN: | 3-540-57802-1 |
14.
B. Nebel and
C. Bäckström,
"On the computational complexity of temporal projection, planning, and plan validation",
Artificial Intelligence,
vol. 66,
no. 1,
pp. 125--160,
1994.
Elsevier,
http://www.sciencedirect.com/science/article/pii/0004370294900051.
13.
B. Nebel and
H. Bürckert,
"Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra"
in Proceedings of the 12th National Conference of the American Association for Artificial Intelligence (AAAI'94),
1994,
pp. 356--361.
1993
12.
L. Padgham and
B. Nebel,Combining classification and nonmonotonic inheritance reasoning: A first step.
....
Springer-Verlag,
1993.
11.
C. Bäckström and
B. Nebel,
"Complexity Results for SAS+ Planning"
in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93),
1993.
10.
F. Baader,
H. Bürckert,
B. Nebel,
W. Nutt and
G. Smolka,
"On the expressivity of feature logics with negation, functional uncertainty, and sort equations",
Journal of Logic, Language and Information,
vol. 2,
no. 1,
pp. 1--18,
1993.
Springer,
http://link.springer.com/article/10.1007%2FBF01051766.
9.
B. Nebel and
J. Koehler,
"Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective"
in Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '93),
Morgan Kaufmann,
1993,
pp. 1436--1441.
8.
B. Nebel and
J. Koehler,
"Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective"
in Planen und Konfigurieren (PuK'93),
1993,
pp. 7--17.
7.
E. Andre,
W. Graf,
J. Heinsohn,
B. Nebel,
H. Profitlich,
T. Rist and
W. Wahlster,
"PPP: Personalized Plan-Based Presenter - Project Proposal" ,
1993.
6.
A. M. Uhrmacher,
"Variable Structure Models: Autonomy and Control - Answers from Two Different Modeling Approaches"
in Proceedings of the 4th Annual Conference on AI, Simulation, and Planning in High Autonomy Systems - Integrating Virtual Reality and Model-Based Environments,
Tucson, AZ:
IEEE Press,
1993,
pp. 133--139.
| DOI: | 10.1109/AIHAS.1993.410588 |
5.
R. Förster,
P. Kejwal,
P. Baur,
P. Göhner,
J. Cleve,
R. Drexler,
D. Hutter,
C. Sengler,
Siekmann,
W. Stephan,
A. Wolpers,
W. Reif,
E. Canver and
F. von Henke,
"Verification Support Environment (VSE)"
in Proceedings of the 3. Deutscher IT-Sicherheitskongress des BSI,
1993,
pp. 327--337.
4.
M. Ullmann,
H. Hauff,
D. Loevenich,
P. Kejwal,
R. Förster,
P. Baur,
P. Göhner,
R. Drexler,
W. Reif,
W. Stephan,
A. Wolpers,
J. Cleve,
D. Hutter,
C. Sengler and
E. Canver,
"VSE Verification Support Environment"
in Verläßliche Informationssysteme, Weck, Gerhard and Horster, Patrick, Eds.
Vieweg+Teubner Verlag,
1993,
pp. 175--190.
| DOI: | 10.1007/978-3-322-88782-5_12 |
| ISBN: | 978-3-528-05344-4 |
1992
3.
A. M. Uhrmacher,
"EMSY - An Extended Modeling System"
in AI, Expert Systems, and Symbolic Computing for Scientific Computation, Houstis, E. N. and Rice, J. R., Eds.
North Holland, Amsterdam,
1992.
2.
A. M. Uhrmacher,
"Qualitative and Quantitative Simulation - Some Comparative Aspects"
in SoftStat '91. Advances in Statistical Software.,
Stuttgart:
Gustav Fischer,
1992,
pp. 343-352.
1.
P. Baur,
Plasa,
P. Kejwal,
R. Drexler,
W. Reif,
W. Stephan,
A. Wolpers,
D. Hutter,
C. Sengler and
E. Canver,
"The Verification Support Environment VSE"
in IFA Symposium on Safety, Security and Reliability of Computers,
1992.