Keyphrases
- first order logic
- propositional logic
- theorem proving
- theorem prover
- multi valued
- default logic
- proof procedure
- formal proofs
- formal proof
- real time
- equational theories
- strips planning
- inference rules
- mathematical proofs
- decision procedures
- statistical relational learning
- predicate calculus
- natural deduction
- probabilistic logic
- description logics
- mathematical knowledge
- case study
- databases
- database