| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Foundations of Equational Logic Programming | 978-3-540-51533-3 | 1989 |
| Handbuch der Informatik: Deduktion. Automatisierung der Logik: Bd 6.2 | 978-3-486-20785-9 | 1992 | Wolfgang Bibel |
| KI-96: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17 - 19, 1996, ... / Lecture Notes in Artificial Intelligence) | 978-3-540-61708-2 | 1996 | Günther Görz |
| KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings | 978-3-319-24488-4 | 2015 | Markus Krötzsch · Rafael Peñaloza · Sebastian Rudolph |
| Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings | 978-3-540-87802-5 | 2008 | Carsten Lutz · Heinrich Wansing |
| Logik und Logikprogrammierung | 978-3-935025-59-1 | 2003 |
| Logik und Logikprogrammierung | 978-3-935025-24-9 | 2001 |
| Wissenspräsentation und Inferenz. Eine grundlegende Einführung | 978-3-528-05374-1 | 1993 | Wolfgang Bibel · Torsten Schaub |