Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools.
Yoni ZoharDmitry TishkovskyRenate A. SchmidtAnna ZamanskyPublished in: Description Logic, Theory Combination, and All That (2019)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- probabilistic reasoning
- theorem proving
- decision procedures
- theorem prover
- reasoning tasks
- propositional satisfiability
- automated verification
- knowledge representation and reasoning
- machine learning
- inference rules
- normal form
- search algorithm
- bayesian networks
- training data
- artificial intelligence