Modeling the suppression task under weak completion and well-founded semantics

Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard. Modeling the suppression task under weak completion and well-founded semantics. Journal of Applied Non-Classical Logics, 24(1-2):61-85, 2014. [doi]

Abstract

Abstract is missing.