C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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