Knowledge spaces and the completeness of learning strategies

DOI10.4230/LIPICS.CSL.2012.77zbMATH Open1252.03130OpenAlexW2574028791MaRDI QIDQ4649539FDOQ4649539

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

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

zbMATH Keywords

learninggame semanticsrealizabilityclassical logicproof mining

Mathematics Subject Classification ID

Functionals in proof theory (03F10)

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)