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

Christian Fritz, Jorge A. Baier, Sheila A. McIlraith

Browse the full KR paper archive.