Keyphrases
- theorem prover
- natural deduction
- theorem proving
- automated theorem proving
- cut elimination
- first order logic
- multimedia
- sequent calculus
- databases
- inference rules
- proof planning
- linear logic
- decision making
- information systems
- proof search
- learning environment
- multi agent
- multimedia presentations
- learning algorithm
- data sets
- mathematical proofs