Empirically Successful Automated Reasoning: Applications Issue.
Bernd FischerGeoff SutcliffeStephan SchulzPublished in: J. Autom. Reason. (2006)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- decision procedures
- theorem prover
- probabilistic reasoning
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- object oriented
- search space
- optimal solution
- neural network
- training set
- machine learning
- prime implicants