SM-Based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic.

Zachary Hansen, Yuliya Lierler

Browse the full PADL paper archive.