Handling Transitive Relations in First-Order Automated Reasoning.
Koen ClaessenAnn LillieströmPublished in: J. Autom. Reason. (2021)
Keyphrases
- automated reasoning
- first order logic
- theorem prover
- reasoning systems
- knowledge representation
- theorem proving
- probabilistic reasoning
- decision procedures
- reasoning tasks
- transitive closure
- preference relations
- knowledge representation and reasoning
- horn clauses
- automated verification
- inference rules
- higher order
- artificial neural networks
- heuristic search
- propositional satisfiability