Login / Signup
On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture.
Juliette Kennedy
Published in:
Bull. Symb. Log. (2013)
Keyphrases
</>
knowledge representation
efficient implementation
conceptual graphs
formal model
probabilistic reasoning
operational semantics
neural network
conceptual model