Knowledge spaces and the completeness of learning strategies

DOI10.4230/LIPICS.CSL.2012.77MaRDI QIDQ4649539zbMATH OpenOpenAlexFDO

Authors Stefano Berardi, Ugo de'Liguoro

Publication date 22 November 2012

Full work available at URL https://iris.unito.it/bitstream/2318/142088/1/BdL14.pdf

zbMATH Keywords

learninggame semanticsrealizabilityclassical logicproof mining

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

Recommendations

• Knowledge spaces and the completeness of learning strategies
• scientific article; zbMATH DE number 7357537
• Non-monotonic pre-fix points and learning
• Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
• Toward the interpretation of non-constructive reasoning as non-monotonic learning

Cited in

(4)

• Non-monotonic pre-fix points and learning
• Knowledge spaces and the completeness of learning strategies
• Toward the interpretation of non-constructive reasoning as non-monotonic learning
• Knowledge Spaces

This page was built for publication: Knowledge spaces and the completeness of learning strategies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4649539)