Independence in higher-order subclassical logic.
David BallardPublished in: Notre Dame J. Formal Log. (1985)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- high order
- natural images
- low order
- logic programming
- real time
- formal theory
- predicate logic
- classical logic
- multi valued
- conditional random fields
- pairwise
- markov models
- automated reasoning
- probabilistic logic
- nonmonotonic logics
- logic programs
- markov random field
- knowledge base
- epistemic logic
- proof theory
- neural network
- database