A Linear Programming Approach to Logical Inference.

Eberhard Stickel

Published 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