Keyphrases
- proof theory
- mathematical proofs
- proof theoretic
- knowledge representation
- proof planning
- logical rules
- knowledge base
- automated reasoning
- proof procedure
- reasoning process
- legal reasoning
- reasoning systems
- theorem prover
- access control
- meta level
- consistency checking
- model based reasoning
- reasoning mechanisms
- theorem proving
- artificial intelligence
- fixpoint
- database
- knowledge representation and reasoning
- decision procedures
- analogical reasoning
- probabilistic reasoning
- neural network