Semantic reasoning study for rough logic about n-ary formulas.

Lin Yan Sui-Hua Wang Xue-Dong Zhang

Published in: GrC (2006)

Keyphrases

reasoning systems
knowledge base
domain specific
logic programming
automated reasoning
reasoning tasks