Pruning operators for answer set programming systems

Francesco Calimeri, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. Pruning operators for answer set programming systems. In Salem Benferhat, Enrico Giunchiglia, editors, 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. pages 200-209, 2002.

Abstract

Abstract is missing.