An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II).

Willem Conradie Salih Durhan Guido Sciavicco

Published in: CoRR (2018)

Keyphrases

endpoints
point sets
theoretical framework
theoretical basis
horn clauses
higher order
first order logic
real numbers
data sets
bayesian networks
closed form
linear model
action theories
logical theories
classical first order logic