Herbert Stoyan

• Begründungsverwaltung
• Erklärung im Gespräch -- Erklärung im Mensch-Maschine-Dialog
• GWAI-85
• LISP
• LISP-Programmierhandbuch
• Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
• Programmiermethoden der Künstlichen Intelligenz
• Programmiermethoden der Künstlichen Intelligenz
• Programmiermethoden der künstlichen Intelligenz
• Begrundungsverwaltung
• Erklärung im Gespräch, Erklärung im Mensch-Maschine-Dialog
• Lisp