Monographien und Lehrbuchbeiträge

1. Beckstein, C., Zur Logik der Logik-Programmierung -- Ein konstruktiver Ansatz, Informatik Fachbericht 199, Reihe KI, Springer-Verlag, Berlin, 1988.

2. Beckstein, C., Eikmeyer, H.J., Görz, G., Fortgeschrittene KI-Programmierung. In: Görz, G. (Hrsg.), Einführung in die Künstliche Intelligenz, Addison-Wesley, Bonn, 1993, S. 959-1035.

3. Beiträge zu den Themen Meta-Inferenz, Metaebene, Metasprache und Metawissen für das Wörterbuch der Kognitionswissenschaft (Hauptherausgeber: G. Strube), Klett-Cotta-Verlag, September 1996.

4. Beckstein, C., Begründungsverwaltung: Grundlagen, Systeme und Algorithmen, Band 18 der Reihe ,,Teubner-Texte zur Informatik``, Teubner-Verlag, Leipzig, 1996.

5. Beckstein, C., Suche. In: Görz, G., Rollinger, C.-R., Schneeberger, J. (Hrsg.), Handbuch der Künstlichen Intelligenz, Oldenbourg Verlag, München, 2000, S. 125-151.

6. Beitrag Logics of Time zur Encyclopedia of Time (Hauptherausgeber: H. James Birx), Thousand Oaks/CA, London, New Delhi, 2009.