Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem.

Martin von Berg, Arthur Sanin, Christoph Beierle

Browse the full ECSQARU paper archive.