Campus Event Calendar
Event Entry
New for: D1, D2
What and Who
Deduktion und Modellgenerierung
Ulrich Furbach
Universitaet Landau-Koblenz
DFKI-Kolloquium
AG 1, AG 2
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 8 December 98
14:00
-- Not specified --
43.1 - DFKI
Raum Turing (1.01)
Saarbrücken
Abstract
Modellgenerierende Verfahren haben in den letzten Jahren im Bereich der
automatischen Deduktion an Bedeutung gewonnen. In diesem Vortrag wird
besonderes auf Tableau-artige Verfahren eingegangen. Ausgehend von SATCHMO
werden verschiedene Erweiterungen wie Hypertableau und Connectionskalkuele
diskutiert.
Schliesslich werden auch verschiedene Anwendungsmoeglicheiten für diese
Beweisprozeduren aufgezeigt. Beispielhaft wird dabei auf nicht-monotones
Schliessen, modellbasierte Diagnose und eine moegliche Anwendung im
Zusammenhang mit Textverstehen eingegangen.
Schliesslich werden auch verschiedene Anwendungsmoeglicheiten für diese
Beweisprozeduren aufgezeigt. Beispielhaft wird dabei auf nicht-monotones
Schliessen, modellbasierte Diagnose und eine moegliche Anwendung im
Zusammenhang mit Textverstehen eingegangen.
Contact
--email hidden
passcode not visible
logged in users only
Uwe Brahm, 04/12/2007 12:00 -- Created document.