Detecting and Breaking Symmetries by Reasoning on Problem Specifications.
Toni ManciniMarco CadoliPublished in: SARA (2005)
Keyphrases
- formal specification
- spatial reasoning
- reasoning systems
- high level
- knowledge representation
- automated reasoning
- reasoning tasks
- model based reasoning
- data sets
- artificial intelligence
- qualitative reasoning
- knowledge representation and reasoning
- control flow
- specification language
- automatic detection
- real time
- logical reasoning
- database
- delay insensitive
- analogical reasoning
- reasoning process
- functional requirements