[Donnerstag] Kolloquium

[Torsten Schaub]

Guten Tag!

ich mo"chte Sie hiermit ganz herzlich zum Vortrag im Rahmen des
Institutskolloquiums am Donnerstag 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.
__________________________________________________________________