Keyphrases
- automated reasoning
- eu funded
- knowledge representation
- theorem proving
- reasoning systems
- theorem prover
- decision procedures
- probabilistic reasoning
- reasoning tasks
- automated verification
- collaborative learning
- information sharing
- knowledge representation and reasoning
- prime implicants
- artificial intelligence
- general purpose
- high level