Theorem Proving and Programming with Dynamic First Order Logic.
Jan van EijckJuan HeguiabehereBreanndán Ó NualláinPublished in: WFLP (2000)
Keyphrases
- theorem proving
- first order logic
- expressive power
- theorem prover
- inference rules
- propositional logic
- proof procedure
- automated reasoning
- probabilistic reasoning
- decision procedures
- term rewriting
- markov logic networks
- inductive logic programming
- transitive closure
- representation language
- predicate calculus
- knowledge representation
- parallel search
- proof planning
- horn clauses
- geometry theorem proving
- consequence finding
- natural language
- markov logic
- quantifier elimination
- constraint databases
- np complete
- search algorithm