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

Open in new window