Keyphrases
- legal reasoning
- proof theory
- automated reasoning
- order of magnitude reasoning
- computational properties
- deductive reasoning
- deontic logic
- logical framework
- intuitionistic logic
- logical inference
- defeasible logic
- proof theoretic
- reasoning engine
- human reasoning
- abductive reasoning
- inconsistent knowledge
- modal logic
- probabilistic logic
- reasoning about actions
- reasoning systems
- horn logic
- derivation rules
- knowledge base
- logic programming
- predicate logic
- logical rules
- commonsense reasoning
- neural network
- knowledge representation and reasoning
- reasoning tasks
- knowledge representation formalisms
- classical logic
- default reasoning
- proof procedure
- qualitative reasoning
- causal reasoning
- asynchronous circuits
- spatial reasoning
- truth maintenance systems
- probabilistic reasoning
- inference rules
- expressive power
- multi valued
- description logics
- programming language
- case based reasoning
- knowledge representation
- multi agent systems
- reasoning process