Truth as a Logical Connective.

Shunsuke Yatabe

Published in: JSAI-isAI Workshops (2015)

Keyphrases

truth values
logical reasoning
case study
artificial intelligence
computational complexity
lower bound
probability distribution
logical framework
data sets
databases
multimedia
logical structure
predicate calculus
logical properties
logical rules