SHIP - A Logic-Based Language and Tool to Program Smart Environments.

Serge Autexier, Dieter Hutter

Browse the full LOPSTR paper archive.