Experiments with Automated Reasoning in the Class.
Isabela DramnescErika ÁbrahámTudor JebeleanGábor KusperSorin StratulatPublished in: CICM (2022)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- decision procedures
- reasoning tasks
- theorem prover
- probabilistic reasoning
- automated verification
- data mining
- description logics
- knowledge representation and reasoning
- computational complexity
- relational databases
- general purpose
- prime implicants