Reasoning About Actions and Change in Answer Set Programming

@inproceedings{Dimopoulos2004ReasoningAA,
  title={Reasoning About Actions and Change in Answer Set Programming},
  author={Yannis Dimopoulos and Antonis C. Kakas and Loizos Michael},
  booktitle={LPNMR},
  year={2004}
}