Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.

Flavio Ferrarotti Wei Ren Jose Maria Turull Torres

Published in: Log. J. IGPL (2014)

Keyphrases

graph theoretic
graph properties
graph theory
automated reasoning
desirable properties
formal language
algebraic structure
knowledge representation
logic programming
social network analysis
modal logic
graph kernels
degree distribution