Relational Complexity and Higher Order Logics.

José Maria Turull Torres

Published in: FoIKS (2016)

Keyphrases

higher order
high order
anti unification
higher order logic
pairwise
data sets
data model
inference rules
markov random field
expressive power
lower order
database
conditional random fields
database systems
modal logic
complexity analysis
case study