Research report 2020 - Max Planck Institute for Informatics
Learning and Forgetting
RG1: Automation of Logic
SummaryLearning new insights is a key technology in solving hard problems with a computer. The systematic generation of new insights also implies the forgetting of insights in order to meet space and time restrictions.