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

Naoya Inoue, Kentaro Inui

Browse the full JELIA paper archive.