Knowledge Spaces and the Completeness of Learning Strategies

DOI10.2168/LMCS-10(1:9)2014zbMath1326.68167arXiv1401.0885OpenAlexW1978736247MaRDI QIDQ5404474

Ugo de'Liguoro, Stefano Berardi

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.0885

zbMATH Keywords

learningrealizabilityclassical logicgame semanticsproof mining

Mathematics Subject Classification ID

Computational learning theory (68Q32) Functionals in proof theory (03F10)

Related Items (1)

GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION

This page was built for publication: Knowledge Spaces and the Completeness of Learning Strategies