Open Graphs and Computational Reasoning

Lucas Dixon Ross Duncan Aleks Kissinger

Published in: DCM (2010)

Keyphrases

graph theory
graph matching
knowledge base
knowledge representation
graph theoretic
qualitative reasoning
neural network
genetic algorithm
computational models
weighted graph
computational power
meta level
reasoning systems
model based reasoning
logical formulas
structured objects