Certified Reasoning with Infinity.
Asankhaya SharmaShengyi WangAndreea CosteaAquinas HoborWei-Ngan ChinPublished in: FM (2015)
Keyphrases
- reasoning process
- knowledge base
- reasoning systems
- knowledge representation
- information retrieval
- automated reasoning
- qualitative reasoning
- neural network
- spatial reasoning
- search algorithm
- case study
- search engine
- fuzzy reasoning
- knowledge representation and reasoning
- formal models
- scientific discovery
- rule based reasoning
- logical reasoning