Structural reasoning in proving system correctness.
Andrei LobovJose L. Martinez LastraPublished in: ETFA (2007)
Keyphrases
- structural information
- knowledge base
- knowledge representation
- spatial reasoning
- databases
- reasoning tasks
- logical reasoning
- reasoning systems
- meta level
- qualitative reasoning
- structural analysis
- conflicting information
- resource bounded
- model based reasoning
- fuzzy reasoning
- reasoning process
- automated reasoning
- semantic web
- case based reasoning
- domain knowledge
- search engine
- artificial intelligence
- real world