Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference.

Naoya Inoue Kentaro Inui

Published in: JELIA (2012)

Keyphrases

cutting plane
cost based abduction
map inference
bayesian networks
integer programming
cutting plane algorithm
column generation
lower bound
belief revision
integer program
np hard
knapsack problem
probabilistic inference
mixed integer
graphical models
optimal solution
reinforcement learning
neural network