ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.

Christian Fritz Jorge A. Baier Sheila A. McIlraith ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. 600-610 2008 KR conf/kr/2008 db/conf/kr/kr2008.html#FritzBM08