First-order concatenation theory with bounded quantifiers.

Lars Kristiansen Juvenal Murwanashyaka

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

Keyphrases

first order logic
theoretical framework
higher order
data sets
theoretical basis
artificial intelligence
multiscale
general theory
bayesian networks
natural language
inference rules
stochastic dominance
quantifier free