Recursive axiomatizations from separation properties.

Published in: CoRR (2019)

Keyphrases

structural properties
desirable properties
databases
neural network
artificial intelligence
clustering algorithm
search algorithm
expert systems
decision procedures
key properties