Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.
Gilles DowekPublished in: FTP (LNCS Selection) (1998)
Keyphrases
- set theory
- first order logic
- automated theorem proving
- theorem prover
- theorem proving
- expressive power
- propositional logic
- inference rules
- inductive logic programming
- algebraic geometry
- knowledge representation
- transitive closure
- incomplete information
- quantifier elimination
- quantifier free
- markov logic networks
- knowledge base
- fixed point
- rough sets
- relational databases
- bayesian networks
- image processing
- artificial intelligence