Pattern logics and auxiliary relations.

Diego Figueira Leonid Libkin

Published in: CSL-LICS (2014)

Keyphrases

expressive power
neural network
pattern matching
temporal relations
modal logic
decision trees
pattern detection
machine learning
artificial intelligence
multi agent
truth values
propositional calculus