First Order Theories of Some Lattices of Open Sets.

Oleg V. Kudinov Victor L. Selivanov

Published in: CoRR (2017)

Keyphrases

theory revision
first order logic
horn clauses
higher order
real numbers
information retrieval
action theories
data sets
neural network
genetic algorithm
decision trees
multi agent systems
computational models
relational learning
rough approximations
definite clause