Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic.
Johannes NiederhauserChad E. BrownCezary KaliszykPublished in: IJCAR (1) (2024)
Keyphrases
- automated reasoning
- higher order logic
- theorem prover
- higher order
- decision procedures
- reasoning systems
- theorem proving
- reasoning tasks
- inference rules
- first order logic
- knowledge representation
- probabilistic reasoning
- logical framework
- knowledge representation and reasoning
- markov random field
- modal logic
- conditional logic
- general purpose
- propositional satisfiability
- temporal information
- neural network