Inductive Definability with Counting on Finite Structures.

Erich Grädel Martin Otto

Published in: CSL (1992)

Keyphrases

data sets
machine learning
fixed point
real time
artificial intelligence
knowledge representation
structural features
databases
social networks
decision making
video sequences
medical images
concept learning