Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics.
Yuri V. MatiyasevichPublished in: IJCAR (2012)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- probabilistic reasoning
- theorem prover
- reasoning tasks
- decision procedures
- automated verification
- knowledge representation and reasoning
- computer science
- real world
- propositional satisfiability
- machine learning
- inference rules
- model checking
- first order logic
- training data
- artificial intelligence
- neural network