Algebraic and Model Theoretic Properties of O-minimal Exponential Fields.

Lothar Sebastian Krapp

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

Keyphrases

integrity constraints
deductive databases
model theoretic
proof theoretic
description logics
probabilistic reasoning
operational semantics
minimal models
databases
machine learning
database systems
first order logic
desirable properties
default reasoning