Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic.
Xingxing HeYang XuJun LiuPublished in: ISKE (2015)
Keyphrases
- propositional logic
- first order logic
- inference rules
- theorem proving
- belief revision
- possibilistic logic
- lattice theory
- concurrency control
- knowledge representation
- quantified boolean formulae
- theorem prover
- proof procedure
- propositional satisfiability
- satisfiability testing
- automated reasoning
- horn clauses
- davis putnam
- belief change
- machine learning
- knowledge base