Keyphrases
- human reasoning
- proof theory
- automated reasoning
- order of magnitude reasoning
- computer algebra
- deductive reasoning
- logical inference
- reasoning engine
- computational properties
- computer algebra systems
- proof theoretic
- probabilistic logic
- scientific discovery
- fuzzy logic
- intuitionistic logic
- logical framework
- reasoning systems
- logical rules
- knowledge representation formalisms
- horn logic
- mathematical proofs
- reasoning about actions
- knowledge base
- abductive reasoning
- artificial intelligence
- reasoning tasks
- logic programming
- modal logic
- default reasoning
- qualitative reasoning
- uncertain information
- commonsense reasoning
- mathematical theory
- proof procedure
- classical logic
- formal logic
- formal theory
- knowledge representation
- knowledge representation and reasoning
- mathematical expressions
- model based reasoning
- causal reasoning
- probabilistic reasoning
- production rules
- expressive power
- predicate logic
- description logics