Generating Explicit Orderings for Non-monotonic Logics.

James Cussens, Anthony Hunter, Ashwin Srinivasan

Browse the full AAAI paper archive.