Giuseppe de Giacomo;Hector Levesque
-;-
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence