A note on definability in fragments of arithmetic with free unary predicates.

Stanislav O. Speranski

Published in: Arch. Math. Log. (2013)

Keyphrases

pairwise
fixed point
propositional logic
database
floating point
information systems
data model
quantifier free
databases
machine learning
genetic algorithm
learning algorithm
artificial intelligence
bayesian networks
knowledge representation