Alternative Treatments of Common Binary Relations in First-order Automated Reasoning.
Koen ClaessenAnn LillieströmPublished in: PAAR@IJCAR (2016)
Keyphrases
- automated reasoning
- binary relations
- first order logic
- inference rules
- theorem prover
- probabilistic reasoning
- theorem proving
- transitive closure
- knowledge representation
- graph theoretic
- expressive power
- valued logic
- partial order
- formal concept analysis
- concept lattice
- machine learning
- relational databases
- association rules
- expert systems