{"id":442,"date":"2024-11-07T14:25:12","date_gmt":"2024-11-07T14:25:12","guid":{"rendered":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/?page_id=442"},"modified":"2025-02-09T10:51:20","modified_gmt":"2025-02-09T10:51:20","slug":"llama","status":"publish","type":"page","link":"https:\/\/staff.fnwi.uva.nl\/b.d.tencate\/llama\/","title":{"rendered":"Logic and Learning: an Algebra and Finite Model Theory Approach (LLAMA)"},"content":{"rendered":"\n

MSCA European Re-Integration Fellowship Project, 2021-2025<\/strong><\/p>\n\n\n\n

Principal investigator: Balder ten Cate (Associate Professor @ ILLC, University of Amsterdam)<\/p>\n\n\n\n

\"\"<\/td>This project has received funding from the European Union\u2019s Horizon 2020 research and innovation programme under the Marie Sk\u0142odowska-Curie grant agreement no 101031081.<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n

Computational learning theory is a branch of computer science that studies the mathematical and algorithmic underpinnings of machine learning. It provides the concepts and methods to classify the computational feasibility of different learning problems. This project lies at the intersection of computational learning theory and logic, and it builds on recently identified new connections between learning theory and universal algebra. Its high-level goals are (i) to improve our understanding of learnability for fragments of first-order logic, motivated by applications in data management and knowledge representation, and (ii) to further develop and exploit the recently identified connections with universal algebra (as well as combinatorial graph theory, finite model theory, and fixed point logics), to developing a rich technical framework for proving new results. More concretely, we will study aspects of computational learning theory for fragments of first order logic under constraints (that is, in the presence of a background theory), with applications in data management and knowledge representation.<\/em><\/p>\n\n\n\n

Publications:<\/p>\n\n\n\n