Keyphrases
- proof theory
- automated reasoning
- causal reasoning
- deductive reasoning
- order of magnitude reasoning
- computational properties
- human reasoning
- logical inference
- logical framework
- probabilistic logic
- proof theoretic
- intuitionistic logic
- abductive reasoning
- reasoning engine
- cognitive psychology
- horn logic
- reasoning tasks
- logic programming
- reasoning and decision making
- knowledge representation
- logical reasoning
- cognitive abilities
- knowledge base
- information processing
- decision making
- default reasoning
- qualitative reasoning
- cognitive architectures
- proof procedure
- multiple representations
- reasoning systems
- cognitive processes
- model construction
- qualitative models
- commonsense reasoning
- multi valued
- cognitive processing
- reasoning about actions
- knowledge representation and reasoning
- computational models
- logical rules
- derivation rules
- learning mechanisms
- logical formulas
- declarative knowledge
- predicate logic
- scientific discovery
- logic programs
- classical logic
- cognitive model
- reasoning process
- cognitive architecture
- cognitive science