Automated Circular Assume-Guarantee Reasoning.
Karam Abd ElkaderOrna GrumbergCorina S. PasareanuSharon ShohamPublished in: FM (2015)
Keyphrases
- knowledge representation
- reasoning systems
- data driven
- meta level
- semi automated
- knowledge base
- semi automatic
- hough transform
- fully automated
- resource bounded
- automated reasoning
- legal reasoning
- knowledge representation and reasoning
- model based reasoning
- reasoning tasks
- artificial intelligence
- neural network
- real time
- proof theory
- automated analysis
- probabilistic logic
- reasoning process
- probabilistic reasoning
- databases