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

Haodi Zhang, Fangzhen Lin

Browse the full AAAI paper archive.