1 citations · 1 across the 1 of their papers we have counts for
1 paper
V. W. Marek, J. B. Remmel
We apply proof-theoretic techniques in answer Set Programming. The main results include: 1. A characterization of continuity properties of Gelfond-Lifschitz operator for logic prog…