Computations of Vapnik-Chervonenkis Density in Various Model-Theoretic Structures.

Published in: Bull. Symb. Log. (2018)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
decision procedures
default reasoning
logic programs
vc dimension
fixpoint
probabilistic reasoning
generalization bounds
knowledge representation
logic programming
learning theory