Extending AGM Contraction to Arbitrary Logics.

Zhiqiang Zhuang Zhe Wang Kewen Wang James P. Delgrande

Published in: IJCAI (2015)

Keyphrases

horn logic
belief change
belief revision
propositional logic
horn contraction
conditional logic
default reasoning
image sequences
decision procedures
first order logic
temporal logic
expert systems
genetic algorithm
belief update
belief set
data mining
real time