Towards an Expressive Decidable Logical Action Theory.

Wael Yehia, Mikhail Soutchanski

Browse the full AAAI paper archive.