Towards a Unified Ordering for Superposition-Based Automated Reasoning.
Jan JakubuvCezary KaliszykPublished in: ICMS (2018)
Keyphrases
- automated reasoning
- theorem proving
- reasoning systems
- decision procedures
- theorem prover
- reasoning tasks
- knowledge representation
- probabilistic reasoning
- first order logic
- knowledge representation and reasoning
- automated verification
- inference rules
- partial order
- propositional satisfiability
- prime implicants
- fuzzy logic