Künstliche Intelligenz und Software Engineering

Veranstalter

• Ute Schmid
• Fritz Wysotzki

• Themen- und Terminplan sowie Literaturliste

• R. Markworth und K. Schwiersch: Programmtransformation
• G. Schröter: Programmsynthese als Theorembeweis
• R. Ihle: Induktive Inferenz
• M. Mühlpfordt: Synthese funktionaler Programme
• M. Zander: Induktive Logische Programmierung
• D. Lüdtke: Genetische Algorithmen
• U. Sinha: Analoges Schließen bei imperativer Programmierung
• F. Rehberger: Analoges Schließen bei funktionaler Programmierung
• K. Böhnke: Programmsynthese und generalisierte Planung