Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF

Flavio Ferrarotti Wei Ren Jose Maria Turull Torres

Published in: CoRR (2013)

Keyphrases

algebraic structures
desirable properties
multi valued
predicate logic
graph properties
parallel algorithm
graph matching
knowledge base
knowledge representation
modal logic
structural properties
graph theoretic
defeasible logic
algebraic structure