Deciding the First-Order Theory of an Algebra of Feature Trees with Updates.

Nicolas Jeannerod Ralf Treinen

Published in: IJCAR (2018)

Keyphrases

decision trees
set theory
first order logic
higher order
feature vectors
boolean algebra
feature set
tree structure
logical theories
algebraic geometry
theoretical framework
situation calculus
belief functions
theoretical basis
real numbers
computational model
update operations
image features
neural network
data sets