On the computation of semantically ordered truth values of linguistic protoform summaries.

Akshay Jain James M. Keller

Published in: FUZZ-IEEE (2015)

Keyphrases

truth values
linearly ordered
inference rules
natural language
boolean logic
semantics of logic programs
fixpoint
multi valued
lattice structure
user defined
database
natural language processing
logic programs
integrity constraints