On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry.

Cameron Donnay Hill

Published in: Ann. Pure Appl. Log. (2016)

Keyphrases

model theoretic
deductive databases
operational semantics
proof theoretic
decision procedures
description logics
fixpoint
logic programs
default reasoning
general purpose
probabilistic reasoning
bayesian networks
background knowledge