Prof. J. Siekmann, Saarbruecken

Lecture
Oesterreichisches Forschungsinstitut fuer Artificial Intelligence (OeFAI)
                      Schottengasse 3, A-1010 Wien
                       Tel.+43-1-53532810,5336112
-------------------------------------------------------------------------

                                VORTRAG
                                *******


Prof.Dr.Joerg SIEKMANN
Deutsches Forschungszentrum fuer
Kuenstliche Intelligenz GmbH
Saarbruecken


New Directions in Automated Deduction
-------------------------------------

An automated theorem prover of the classical kind searches through a
(very large) space of possible inference steps: its strength is derived
from intricate representation techniques and strategies that guide the
search. 

Currently the field witnesses a paradigm change: the search for a proof
is no longer an (exhaustive) search at the object level of representa-
tion, but the result of a multi-level planning process that simulates
the planned approach based on specialized proof techniques of a human
mathematician.


Zeit: Montag, 28.Oktober 1996, 18:30 Uhr pktl.
Ort:  OeFAI, Schottengasse 3, 1010 Wien 1.