The Logical Approach to Low-Level Stack Reasoning.

Xinyu Jiang Yu Guo Yiyun Chen

Published in: TASE (2009)

Keyphrases

low level
logical reasoning
probabilistic logic
high level
higher level
logical rules
logical framework
visual features

probabilistic knowledge
knowledge representation
knowledge base
reasoning problems
qualitative reasoning
representing knowledge
reasoning systems
automated reasoning

database
genetic algorithm
model based reasoning
reasoning tasks
logical representation
logical operations
analogical reasoning

knowledge representation and reasoning
reasoning process
lower level
low level features
logic programs
neural network
databases