A Deductive System of Aristotelian Syllogism.

Xiaodong Qiao Yinsheng Zhang Qixian Shi

Published in: UKSim (2009)

Keyphrases

probabilistic logic
object oriented
abductive inference
explanation based learning
deductive reasoning
bayesian networks
programming language
hypothesis formation
domain knowledge
end users
constraint satisfaction
database languages