PDL-based framework for reasoning about actions
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aiia/GiacomoL95,
author = {Giuseppe De Giacomo and
Maurizio Lenzerini},
title = {PDL-based framework for reasoning about actions},
booktitle = {AI*IA},
year = {1995},
pages = {103-114},
crossref = {DBLP:conf/aiia/1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
