Vol-3235⫷ Vol-3236 ⫸Vol-3237
urn:nbn:de:0074-3236-0


Vol-3236/paper6⫷Vol-3236/paper7⫸Vol-3236/paper8

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