Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!ihnp4!zehntel!hplabs!sri-unix!KEDAR-CABELLI@RUTGERS.ARPA
From: KEDAR-CABELLI@RUTGERS.ARPA
Newsgroups: net.ai
Subject: Thinking About Graph Theory
Message-ID: <17416@sri-arpa.UUCP>
Date: Thu, 8-Mar-84 12:55:47 EST
Article-I.D.: sri-arpa.17416
Posted: Thu Mar  8 12:55:47 1984
Date-Received: Tue, 13-Mar-84 07:57:05 EST
Lines: 22

From:  Smadar 

         [Forwarded from the Rutgers bboard by Laws@SRI-AI.]


             III Seminar on AI and Mathematical Reasoning

          Title:    Thinking About Graph Theory
          Speaker:  Susan Epstein
          Date:     Tuesday, March 13, 1984, 1:30-2:30 PM
          Location: Hill Center, Seventh floor lounge


  Dr. Susan Epstein, a recent graduate of our department, will give an informal
talk based on her thesis work.  Here is her abstract:

       A major challenge in artificial intelligence is to provide computers
    with  mathematical  knowledge  in  a format which supports mathematical
    reasoning.  A recursive formulation is described as the foundation of a
    knowledge representation  for  graph  theory.    Benefits  include  the
    automatic  construction  of  examples and related algorithms, hierarchy
    detection, creation of new properties, conjecture and theorem proving.