Mapping Action Language BC to Logic Programs: A Characterization by Postulates

The use of the default negation operator in (2) makes it stronger than (1) in the sense that (2) can be applied even We have earlier shown that the standard mappings from action when (1) cannot. For instance, the singleton program {p languages B and C to logic programs under answer set q} has the empty set as its only answer set, but the singleton semantics can be captured by sets of properties on transition program {p not q} has {p} as its only answer set.