Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning.

Yutaka Matsuo, Mitsuru Ishizuka

Browse the full PRICAI paper archive.