[HEUTE] Forschungs-Kolloquium
Torsten Schaub
torsten at cs.uni-potsdam.de
Thu Feb 3 12:50:57 CET 2000
Guten Tag!
ich mo"chte Sie ganz herzlich zum heutigen Vortrag im Rahmen des
Institutskolloquiums einladen.
Weitere Details entnehmen Sie bitte der beigef"ugten
Ank"undigung oder unseren WWW-Seiten unter:
http://www.cs.uni-potsdam.de/inst_koll/index.html
Mit freundlichen Gru"ssen, -torsten schaub
__________________________________________________________________
Forschungs-Kolloquium: Donnerstag, 3. Februar
am Institut für Informatik der Universität Potsdam
-
Der Vortrag findet am Donnerstag, 3. Februar 1999 um 15.30 Uhr
in Raum 0.37, Haus 22, Campus Am Neuen Palais statt.
Titel
Implementing Default Reasoning Using Quantified Boolean Formulae
Referent
Dr Hans Tompits, TU Wien
Resümee
In this talk, we present the default logic module of the system QUIP,
an automated inference tool which provides a uniform implementation for
several nonmonotonic reasoning formalisms. The theoretical basis of
QUIP is derived from well-known results about the computational
complexity of nonmonotonic logics and exploits a representation of the
different reasoning tasks in terms of quantified boolean formulae.
__________________________________________________________________
More information about the Fsr-inf-fachschaft
mailing list