Giuseppe De Giacomo Luca Iocchi Daniele Nardi Riccardo Rosati Description Logic-baqsed Framrwork for Planning with Sensing Actions. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/degiacomo.ps.gz db/conf/dlog/dlog1997.html#GiacomoINR97