Login / Signup
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