On the meaning of logical completeness

Michele Basaldella Kazushige Terui

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

natural language
probabilistic logic
logical structure
case study
logical framework
formal proofs
real time
information retrieval
computer vision
three dimensional
data quality
predicate calculus