On the Meaning of Logical Completeness.

Michele Basaldella Kazushige Terui

Published in: TLCA (2009)

Keyphrases

logical reasoning
natural language
logical representation
formal proofs
semantic interpretation
three dimensional
high level
preprocessing
data model
probabilistic logic
meaning making
logical operations