The Granulations Based on Meaning of Rough Logical Formulas and its Lock Resolution.

Qing Liu Huasheng Zhu Lan Liu

Published in: GrC (2007)

Keyphrases

logical formulas
natural language
knowledge base
predicate logic
partial order
first order logic
high resolution
horn theories
rough sets
concurrency control
low resolution
multi dimensional
co occurrence
temporal logic
theorem prover
general purpose
expert systems
concurrent execution
artificial intelligence