ML is not finitely axiomatizable over Cheq.

Gaëlle Fontaine

Published in: Advances in Modal Logic (2006)

Keyphrases

maximum likelihood
finite number
inductive inference
genetic algorithm
database
machine learning
three dimensional
multi agent systems
lower bound
special case
domain knowledge
management system
metaheuristic