Checking Admissibility Using Natural Dualities.

Leonardo Manuel Cabrer Benjamin Freisberg George Metcalfe Hilary A. Priestley

Published in: ACM Trans. Comput. Log. (2019)

Keyphrases

real world
real time
consistency checking
data sets
data mining
information retrieval
genetic algorithm
decision trees
face recognition
natural language
artificial systems