Temporal Datalog with Existential Quantification.

Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega

Browse the full IJCAI paper archive.