SPARK: Static Program Analysis Reasoning and Retrieving Knowledge.
Wasuwee SodsongBernhard ScholzSanjay ChawlaPublished in: CoRR (2017)
Keyphrases
- knowledge base
- knowledge representation
- reasoning process
- information retrieval
- commonsense knowledge
- reasoning mechanism
- domain knowledge
- neural network
- knowledge acquisition
- production rules
- general knowledge
- knowledge based systems
- knowledge structures
- solving problems
- deductive reasoning
- model based reasoning
- conflicting information
- data mining techniques
- cognitive maps
- reasoning mechanisms
- uncertain knowledge
- information systems
- probabilistic knowledge
- representing knowledge
- analogical reasoning
- uncertain information
- probabilistic logic
- qualitative reasoning
- belief revision