FACHGRUPPENTREFFEN

			    30.-31. Mai 1996

			     Kaiserslautern

  	 		    P R O G R A M M


Beginn: Donnerstag, 30. Mai 1996, Gebaeude 57 / 208


9:45 h Begruessung durch Prof. Richter

10:00  -  11:00 h Prof. Baader
                  Terminologische Wissensrepraesentationssprachen

11:00  -  11:15 h Kaffeepause

11:15  -  12:00 h Kamp / Wache
                  Beschreibungslogische Systeme zur Diagnose und
                  Konfigurierung technischer Systeme

12:00  -  14:00 h Mittagspause

14:00  -  14:45 h Lange
                  Learning by Erasing

14:45  -  15:30 h Grieser
                  Reflexion in der induktiven Inferenz

16:00  -  16:45 h Globig
                  Fallbasierte Repraesentierbarkeit

16:45  -  17:30 h Merkle / Stephan
                  Baeume und Lernen

17:30  -  18:15 h Wette-Roch
                  Ordnungs-Strukturen fuer Begriffe der Mathematischen
                  Logik

18:30 h FG-Sitzung

20:00 h Gemeinsames Abendessen
        (Teilnahme bitte bis zum 28. Mai anmelden bei
        huettel@informatik.uni-kl.de)


Freitag, 31. Mai 1996

9:00   -  10:00 h Prof. Case
                  Propositional Self-Reference Revisited

10:00   -  10:45 h Boley
                   Hornlogikprogramme mit definierten Funktionen
                   1. Ordnung und typisierenden Termen 1. Klasse

11:45   -  11:15 h Kaffeepause

11:15   -  12:00 h Goubault
                   Unifikation in einer Logik hoeherer Stufe

12:00   -  12:45 h Sprenger
                   Some Hierarchies of Primitive Recursive Functions on
                   Term Algebras

12:45 h Abschliessendes Mittagessen