Keyphrases
- automated reasoning
- knowledge representation
- knowledge representation and reasoning
- reasoning systems
- artificial intelligence
- reasoning tasks
- theorem proving
- decision procedures
- theorem prover
- automated verification
- probabilistic reasoning
- expert systems
- intelligent systems
- machine learning
- description logics
- artificial neural networks
- knowledge base
- neural network
- computational complexity
- natural language
- propositional satisfiability
- prime implicants