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