Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!ames!sdcsvax!ucbvax!MCC.COM!AI.ELLIE
From: AI.ELLIE@MCC.COM (Ellie Huck)
Newsgroups: comp.ai.digest
Subject: Seminar - The Inverse Method (MCC)
Message-ID: <12304217398.64.AI.ELLIE@MCC.COM>
Date: Thu, 21-May-87 16:44:50 EDT
Article-I.D.: MCC.12304217398.64.AI.ELLIE
Posted: Thu May 21 16:44:50 1987
Date-Received: Wed, 3-Jun-87 01:09:37 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 20
Approved: ailist@stripe.sri.com


                          Vladimir Lifschitz
                         Stanford University

                           May 27 - 10:00pm
                      ACA Conference Room 2.806

                    "What is the Inverse Method?"

A large part of work on proof procedures for predicate logic done in
the Soviet Union in the sixties and seventies was based on the
"inverse method", proposed by Sergey Maslov.  This important work has
not been duly appreciated outside the small circle of Maslov's
associates.  I will review the basic ideas of the method in the form
which stresses its connection with resolution.

May 27 - 10:00
ACA Conference Room
-------
-------