On Deciding the Truth of Certain Statements Involving the Notion of Consistency.

Published in: J. Symb. Log. (1976)

Keyphrases

truth values
natural language
cp nets
valued logic
database systems
correctness criterion
concurrency control
information retrieval
consistency checking
global constraints
maintaining consistency
correctness criteria
temporal consistency
search algorithm
website
e learning
decision making