Neural Logic Reasoning.
Shaoyun ShiHanxiong ChenWeizhi MaJiaxin MaoMin ZhangYongfeng ZhangPublished in: CIKM (2020)
Keyphrases
- proof theory
- automated reasoning
- deductive reasoning
- order of magnitude reasoning
- logical framework
- logical inference
- computational properties
- proof theoretic
- reasoning engine
- probabilistic logic
- network architecture
- human reasoning
- reasoning systems
- intuitionistic logic
- knowledge representation
- neural network
- qualitative reasoning
- probabilistic knowledge
- knowledge representation formalisms
- abductive reasoning
- predicate logic
- logic programming
- proof procedure
- scientific discovery
- bio inspired
- knowledge base
- modal logic
- probabilistic reasoning
- default reasoning
- reasoning tasks
- inconsistent knowledge
- horn logic
- classical logic
- reasoning mechanisms
- knowledge representation and reasoning
- nonmonotonic inference
- uncertain information
- theorem prover
- logical rules
- associative memory
- reasoning about actions
- expressive power
- inference rules
- biologically inspired
- logical formulas
- reasoning problems
- linear logic
- asynchronous circuits
- commonsense reasoning