A Maximality Theorem for Continuous First Order Theories.

Nathanael L. Ackerman Mary Leah Karker

Published in: Reports Math. Log. (2022)

Keyphrases

theory revision
higher order
first order logic
digital topology
theoretical framework
data sets
stochastic dominance
artificial intelligence
action theories
von neumann
continuous data
quantifier elimination
discrete data
causal reasoning
knowledge representation
learning algorithm
genetic algorithm