On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer.

Robert L. Constable

Published in: LICS (2012)

Keyphrases

formal models
ontological engineering
formal language
machine learning
information systems
decision trees
knowledge based systems
theoretical framework
formal model
defeasible logic