Sign in
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory.
Hongbiao Gao
Yuichi Goto
Jingde Cheng
Published in:
ACIIDS (1) (2015)
Keyphrases
</>
set theory
first order logic
belief change
partial order
fuzzy set theory
propositional logic
probability theory
rough sets
fuzzy sets
rough set theory
mathematical morphology
genetic algorithm
cooperative
image analysis
algebraic geometry
inference rules