Author:
Publication: Artificial Intelligence
The co-occurrence test for non-monotonic inference
Semi-equilibrium models for paracoherent answer set programs