Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- decision procedures
- probabilistic reasoning
- regular expressions
- propositional logic
- automated verification
- data model
- reasoning tasks
- knowledge representation and reasoning
- query language
- fuzzy logic
- valued logic
- constraint satisfaction
- propositional satisfiability