A Deductive System for Non-Monotonic Reasoning.

Thomas Eiter Nicola Leone Cristinel Mateis Gerald Pfeifer Francesco Scarcello

Published in: LPNMR (1997)

Keyphrases

object oriented
possibilistic logic
commonsense reasoning
hypothesis formation
abductive inference
explanation based learning
database
search algorithm
domain knowledge
neural network
learning algorithm
support vector
special case
formal theory