An Experiment in Formalizing Commitments Using Action Languages.

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)