Keyphrases
- higher order logic
- decision procedures
- modal logic
- conditional logic
- theorem prover
- theorem proving
- automated reasoning
- higher order
- inference rules
- logical framework
- first order logic
- temporal logic
- default reasoning
- data representation
- conjunctive queries
- default logic
- reasoning systems
- knowledge representation and reasoning
- satisfiability problem
- situation calculus
- databases
- reasoning tasks