A Linear Programming Approach to Logical Inference.
Eberhard StickelPublished in: ACM Conference on Computer Science (1993)
Keyphrases
- logical inference
- linear programming
- theorem proving
- linear program
- probabilistic inference
- knowledge compilation
- np hard
- integer programming
- optimal solution
- objective function
- dynamic programming
- constraint propagation
- domain specific
- domain knowledge
- object oriented
- database design
- high level
- belief networks
- inference rules
- logical structure