Reasoning about Space and Change with Answer Set Programming Modulo Theories.

Przemyslaw Andrzej Walega

Browse the full IJCAI paper archive.