Computational irreducibility and compatibilism: towards a formalization.

Marius Krumm Markus P. Mueller

Published in: CoRR (2021)

Keyphrases

case study
formal model
machine learning
knowledge base
cooperative
object recognition
user interface
np hard
computational power
cutting plane