Paolo Liberatore
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc
KR, 1998.
@inproceedings{KR-1998-Liberatore,
author = "Paolo Liberatore",
booktitle = "{Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning}",
pages = "144--155",
publisher = "{Morgan Kaufmann}",
title = "{On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc}",
year = 1998,
}