A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W.

Christoph Beierle, Aron Spang, Jonas Haldimann

Browse the full FlAIRS paper archive.