Compiling Defeasible Inference: A Dynamic Approach To System Z.

Luke Slater, Thomas Meyer, Jesse Heyninck

Browse the full KR paper archive.