Keyphrases
- automated reasoning
- building blocks
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- reasoning tasks
- decision procedures
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- software components
- first order logic
- object oriented
- special case
- artificial neural networks
- artificial intelligence
- machine learning
- databases