Boolean Reasoning in a Higher-Order Superposition Prover.
Petar VukmirovicVisa NummelinPublished in: PAAR+SC²@IJCAR (2020)
Keyphrases
- higher order
- theorem proving
- automated reasoning
- high order
- automated theorem proving
- natural images
- proof procedure
- theorem prover
- reasoning systems
- low order
- knowledge representation
- markov random field
- reasoning process
- boolean functions
- genetic algorithm
- model based reasoning
- spatial reasoning
- real valued
- reasoning tasks
- logical framework
- pairwise
- knowledge base
- reasoning mechanisms
- deductive reasoning
- rule based reasoning
- lower order
- legal reasoning
- inference rules
- first order logic
- decision making