Beyond formulas-as-cographs: an extension of Boolean logic to arbitrary graphs.

Cameron Calk Anupam Das Tim Waring

Published in: CoRR (2020)

Keyphrases

boolean logic
truth values
graph theory
multi valued
relational structures
inference rules
graph theoretic
linear time temporal logic
artificial intelligence
database systems
user defined
directed graph
graph matching
graph structure
weighted graph