Paramodulated Connection Graphs.

Norbert Eisinger Jörg H. Siekmann Graham Wrightson

Published in: AISB/GI (ECAI) (1978)

Keyphrases

graph matching
graph structure
graph theoretic
graph theory
weighted graph
graph mining
graph partitioning
structured objects
real time
graph theoretical
graph structures
spanning tree
graph databases
graph model
relational databases
social networks
genetic algorithm