Progressive Reasoning over Recursively-Defined Strings.

Minh-Thai Trinh Duc-Hiep Chu Joxan Jaffar

Published in: CAV (1) (2016)

Keyphrases

knowledge base
reasoning systems
data mining
uncertain information
information systems
website
case study
data structure
expert systems
domain knowledge
user defined
production rules
meta level
spatial reasoning
qualitative reasoning
reasoning tasks