In Fall 2003, I began to teach Knowledge
Based Algorithms (KBA)

"Ashes and Diamonds" is a list of a few "benzenoid" conjectures discussed in this class
ending with the first diamondoid conjecture.

"Ashes and Diamonds II"
is continuation of this list containing open conjectures about annihilation number and
diamondoids.


In Spring 2004, I began to teach an extension of
this course: Tutorials with


The slides of my Fall '08 AAAI
Washington lecture tell how a prediction based on a conjecture of
Graffiti led to a discovery of a stability pattern of classical fullerenes, winning in the
process an argument against one of the wellknown fullerene experts. I also define in these
slides the impressionexpression models and explain in this context
controversies about what are and what are not, conjecturemaking programs. Further
discussion of these issues can be found in
Toward Fully Automated Fragments of Graph Theory, II
and to a greater extent in the
Postscript To Fully Automated Fragments of Graph Theory.


The web page of DeLaVina contains a
bibliography of papers about these programs and the resulting conjectures.


Examples are Forever
are reminscences about Paul Erdos
emphasizing his interactions with Graffiti. 

side bar magnified
buckyball in a larger window


The graphics and form of this web site were designed by Ermelinda DeLaVina 2003. 