Einladung Informationswissenschaftliches Kolloquium Konstanz

Thread View: de.sci.ki.announce

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Bernhard Kless Wed, 04 Nov 1992 17:15

Author: Bernhard Kless
Date: Wed, 04 Nov 1992 17:15

58 lines
2286 bytes

###################################################################

Universitaet Konstanz
Informationswissenschaft

Informationswissenschaftliches Kolloquium
Vortragsreihe "Wissensbasierte Systeme"


				EINLADUNG
				*********

Do, 12. 11.	Prof. Dr. Ulrich Furbach, Universitaet Koblenz
18 Uhr 		"Theorienbehandlung in Praedikatenlogik erster Stufe"
   

Verschieden Arten universelle Theorien in PL1 zu behandeln werde im
Ueberblick vorgestellt. Schliesslich wird ein Modell-Eliminations-
Kalkuel mit partieller und totaler Theoriebehandlung im Detail
diskutiert und es wird eine PTTP-Implementierung skizziert. Ab-
schliessend wird gezeigt, wie mit diesem Formalismus Raeumliches
Schliessen mit PL1 kombiniert werden kann.


Zeit und Ort: 18.00 s.t., Raum F 428, Universitaet Konstanz

##################################################################

Universitaet Konstanz
Informationswissenschaft

Informationswissenschaftliches Kolloquium
Vortragsreihe "Wissensbasierte Systeme"

			   Neuer Termin
			 ****************

Der Vortrag von Dr. Otthein Herzog, IBM Stuttgart, ("Software
Engineering und die Verarbeitung von Wissen") ist jetzt festgelegt auf

			Donnerstag, 19.11.1992. 

Zeit und Ort: 18.00 s.t., Raum F 428, Universitaet Konstanz

(Urspreunglicher Termin war: Do, 29.10.92)

###################################################################

--

AG Wissensbasierte Informationssysteme
AG Prof. Dr. Alfred Kobsa
Informationswissenschaft
Universitaet Konstanz
D-W-7750 Konstanz 

Tel. und FAX: +49 7531 88 3065
email: kless@inf-wiss.ivp.uni-konstanz.de

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads