Quantitative Monadic Second-Order Logic.

Stephan Kreutzer Cristian Riveros

Published in: LICS (2013)

Keyphrases

monadic second order logic
expressive power
domain knowledge
data complexity
expert systems
data sets
databases
artificial intelligence
low level
information extraction
data exchange
qualitative and quantitative