Diagrammatic Logic of Existential Graphs: A Case Study of Commands.

Ahti-Veikko Pietarinen

Published in: Diagrams (2008)

Keyphrases

modal logic
classical logic
case study
graph matching
graph theory
multi valued
graph representation
graph databases
test bed
logic programming
neural network
graph theoretic
automated reasoning
predicate logic
high level
subgraph isomorphism
asynchronous circuits
linear logic