Skip to main content

Logic and Learning: an Algebra and Finite-Model-Theory Approach

Project description

Exploring the ties between computational learning theory and algebra

Computational learning theory (CLT) is a branch of computer science that studies the mathematical and algorithmic underpinnings of machine learning. As artificial intelligence is rapidly gaining ground and transforming our world, CLT is providing a way of classifying the computational feasibility of different learning problems. Funded by the Marie Skłodowska-Curie Actions programme, the LLAMA project will build on recently identified new connections between learning theory and universal algebra, with the aim of improving understanding of learnability for fragments of first-order logic. Project results will have significant implications for data management and knowledge representation.

Coordinator

UNIVERSITEIT VAN AMSTERDAM
Net EU contribution
€ 175 572,48
Address
Spui 21
1012WX Amsterdam
Netherlands

See on map

Region
West-Nederland Noord-Holland Groot-Amsterdam
Activity type
Higher or Secondary Education Establishments
Other funding
€ 175 572,48