Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration.
Marcello BalducciniYuliya LierlerPublished in: CoRR (2013)
Keyphrases
- black box
- automated reasoning
- black boxes
- reasoning systems
- integration testing
- white box
- knowledge representation
- theorem prover
- theorem proving
- reasoning tasks
- white box testing
- probabilistic reasoning
- hybrid systems
- management tools
- test cases
- fuzzy logic
- training data
- learning algorithm
- development process
- constraint satisfaction
- artificial neural networks
- artificial intelligence