Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem proving
- reasoning tasks
- theorem prover
- decision procedures
- probabilistic reasoning
- automated verification
- image segmentation
- knowledge representation and reasoning
- machine learning
- probability distribution
- software engineering
- distributed systems