Periodic Reporting for period 1 - LLAMA (Logic and Learning: an Algebra and Finite-Model-Theory Approach)

Computational learning theory is a branch of computer science thatstudies the mathematical and algorithmic underpinnings of machinelearning. It provides the concepts and methods to classify thecomputational feasibility of different learning problems. Thisproject lies at the...