Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258].
Murdoch James GabbayDominic P. MulliganPublished in: Inf. Comput. (2012)
Keyphrases
- first order logic
- inference rules
- expressive power
- theorem proving
- propositional logic
- function symbols
- probabilistic reasoning
- knowledge representation
- markov networks
- inductive logic programming
- theorem prover
- probabilistic graphical models
- representation language
- transitive closure
- markov logic networks
- incomplete information
- markov logic
- relational algebra
- predicate calculus
- constraint databases
- quantifier free
- dl lite
- horn clauses
- description logics
- higher order
- special case
- proof procedure
- expert systems