Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- theorem prover
- knowledge representation
- contextual information
- reasoning tasks
- probabilistic reasoning
- decision procedures
- conjunctive queries
- knowledge representation and reasoning
- automated verification
- propositional satisfiability
- first order logic
- temporal logic
- distributed systems
- description logics
- special case