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