Keyphrases
- automated reasoning
- reasoning systems
- theorem prover
- theorem proving
- knowledge representation
- probabilistic reasoning
- reasoning tasks
- decision procedures
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- neural network
- learning algorithm
- latin america
- knowledge discovery and data mining
- special issue
- general purpose
- machine learning