Keyphrases
- automated reasoning
- logical framework
- proof theory
- order of magnitude reasoning
- computational properties
- intuitionistic logic
- deductive reasoning
- neural network
- logical rules
- probabilistic logic
- logical inference
- proof theoretic
- reasoning engine
- human reasoning
- reasoning systems
- knowledge representation formalisms
- social networks
- network structure
- spiking neurons
- knowledge base
- logic programming
- modal logic
- network architecture
- heterogeneous networks
- reasoning about actions
- reasoning process
- recurrent networks
- default reasoning
- probabilistic reasoning
- causal reasoning
- situation calculus
- multi valued
- reasoning tasks
- horn logic
- predicate logic
- commonsense reasoning
- neural model
- classical logic
- knowledge representation