Improving Reasoning Efficiency in ASPIC+ with Backwards Chaining and Partial Arguments.

Hao Wu, Bruno Yun, Nir Oren

Browse the full COMMA paper archive.