Author:
Publication: Artificial Intelligence
Semi-equilibrium models for paracoherent answer set programs
A formalization of programs in first-order logic with a discrete linear order