Modelling of a'fortiori reasoning.

Published in: Expert Syst. Appl. (2012)

Keyphrases

causal reasoning
knowledge base
model construction
reasoning systems
machine learning
knowledge representation
automated reasoning

spatial reasoning
qualitative models
reasoning process
reasoning problems
knowledge acquisition
analogical reasoning
meta level

model based reasoning
reasoning and decision making
reasoning mechanism
proof theory
real time
plan execution
logical framework

reasoning tasks
inference engine
logic programming
information retrieval
real world
databases
data sets