Literatur:

Für die Themen schlagen wir Kapitel 10, Kapitel 13 und Kapitel 28 aus dem folgendem Handbuch vor:

• A. Robinson & A. Voronkov: Handbook of Automated Reasoning, Elsevier, 2001

Jedes Kapitel kann von drei bis vier Teilnehmern bearbeitet werden. Die Teilnehmer können nach Absprache auch eigene Vorschläge für Themen machen.

Das folgende Buch bietet eine Fülle von Verweisen zu weiteren Artikel auf dem Gebiet Inferenzmethoden an.

• Wolfgang Bibel: Deduktion -- Automatisierung der Logik, R.Oldenbourg, 1992 Dieses Buch ist nicht mehr im Handel und kann als Postscriptfile heruntergeladen werden (Zugriff nur aus dem Netz der Universität Potsdam): W.Bibel: Deduktion -- Automatisierung der Logik

Lesenswertes zur Arbeitsethik:

• Code of Academic Integrity (Cornell University)
• Aufdeckung von Plagiaten (FHTW Berlin)
• Missverständnisse zum Urheberrecht