Some classical model theoretic aspects of bounded shrub-depth classes.

Abhisekh Sankaran

Published in: CoRR (2020)

Keyphrases

model theoretic
deductive databases
description logics
operational semantics
proof theoretic
default reasoning
decision procedures
fixpoint
artificial intelligence
logic programs
temporal logic
probabilistic reasoning
bayesian networks
expert systems
query language
probabilistic inference