A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-

Nachum Dershowitz Evgenia Falkovich

Published in: DCM (2011)

Keyphrases

extended abstract
computer vision
theorem proving
machine learning
decision making
knowledge representation
machine intelligence
logical framework
data sets
geometry theorem proving
databases
neural network
genetic algorithm
high level
description logics