Einführung in die Methoden der Künstlichen Intelligenz - Goethe ...

Literatur
Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Commun. ACM,
26(11):832–843.
Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., & Patel-Schneider, P. F.
(2010). The Description Logic Handbook: Theory, Implementation and Applications.
Cambridge University Press, New York, NY, USA, 2nd edition.
Baader, F. & Morawska, B. (2009). Unification in the description logic EL. In Proceedings
of the 20th International Conference on Rewriting Techniques and Applications,
RTA ’09, pages 350–364. Springer-Verlag, Berlin, Heidelberg.
Bratko, I. (1990). Prolog – Programming for Artificial Intelligence. Addison Wesley.
Donini, F. M., Lenzerini, M., Nardi, D., & Nutt, W. (1997). The complexity of concept
languages. Inf. Comput., 134(1):1–58.
Ebbinghaus, H.-D., Flum, J., & Thomas, W. (1986). Einführung in die mathematische
Logik. Wissenschaftliche Buchgesellschaft Darmstadt.
Eder, E. (1992). Relative Complexities of First order Calculi. Vieweg, Braunschweig.
Gal, A., Lapalme, G., Saint-Dizier, P., & Somers, H. (1991). Prolog for Natural Language
Processing. John Wiley & sons.
Haken, A. (1985). The intractability of resolution. Theoretical Computer Science, 39:297–
308.
Michalewicz, Z. (1992). Genetic Algorithms + Data Structures = Evolution Programs.
Springer, 3 edition.
Minsky, M. (1975). A framework for representing knowledge. In P. H. Winston, editor,
The Psychology of Computer Vision, pages 211–277. McGraw-Hill, London.
Nebel, B. (1997). Solving hard qualitative temporal reasoning problems: Evaluating
the efficiency of using the ord-horn class. Constraints, 1(3):175–190.
Nebel, B. & Bürckert, H.-J. (1995). Reasoning about temporal relations: a maximal
tractable subclass of allen’s interval algebra. J. ACM, 42(1):43–66.
Pereira, F. C. & Shieber, S. M. (1987). Prolog and Natural-Language Analysis. CSLI.
Robinson, J. A. (1965). A machine-oriented logic based on the resolution principle.
Journal of the ACM, 12:23–41.
M. Schmidt-Schauß & D. Sabel, Skript KI, WS 2012/13 Stand: 30. Januar 2013