Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- probabilistic reasoning
- decision procedures
- theorem proving
- reasoning tasks
- theorem prover
- automated verification
- propositional satisfiability
- reinforcement learning
- logic programs
- general purpose
- special case
- training data
- knowledge representation and reasoning
- knowledge base
- neural network