Some Contributions to Nonmonotonic Consequence.

Zhaohui Zhu Dongmo Zhang Shifu Chen Wujia Zhu

Published in: J. Comput. Sci. Technol. (2001)

Keyphrases

nonmonotonic reasoning
multiple inheritance
modal logic
logic programming
abductive reasoning
nonmonotonic logics
image sequences
knowledge representation
data sets
temporal logic
decision trees
website
defeasible logic
image processing
autoepistemic logic
learning algorithm
databases