A Formalism for the Definition of Graphical Formulas.

Published in: SIGSMALL/PC (1988)

Keyphrases

knowledge representation
graphical representation
formal model
logical framework
formal theory
learning algorithm
conceptual model
conceptual graphs
modal operators