Einladung Informationswissenschaftliches Kolloquium Konstanz

Article View: de.sci.ki.announce

Article #5

Back to de.sci.ki.announce Previous Next

From: 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

Technical Details

Message-ID: <1992Nov4.171510.103738@eratu.rz.uni-konstanz.de>

Path:

arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!news.belwue.de!eratu.rz.uni-konstanz.de!lindau.inf-wiss.ivp.uni-konstanz.de!kless

Show Full Headers

Complete Article Headers

Newsgroups: de.sci.ki.announce
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!news.belwue.de!eratu.rz.uni-konstanz.de!lindau.inf-wiss.ivp.uni-konstanz.de!kless
From: kless@lindau.inf-wiss.ivp.uni-konstanz.de (Bernhard Kless)
Subject:  Einladung Informationswissenschaftliches Kolloquium Konstanz
Message-ID: <1992Nov4.171510.103738@eratu.rz.uni-konstanz.de>
Keywords:  Einladung Informationswissenschaftliches Kolloquium Konstanz
Sender: usenet@eratu.rz.uni-konstanz.de
Organization: Information Science, Univ. of Konstanz
              D-W-7750 Konstanz, Germany
Date: Wed, 4 Nov 1992 17:15:10 GMT
Lines: 58