A Computationally Grounded Logic of 'Seeing-to-it-that'.

Andreas Herzig, Emiliano Lorini, Elise Perrotin

Browse the full IJCAI paper archive.