KEDAR-CABELLI@RUTGERS.ARPA (03/08/84)
From: Smadar <KEDAR-CABELLI@RUTGERS.ARPA>
[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.