Adresse Technische Universität WienInstitut für Logic and ComputationDatabases and Artificial Intelligence Group Favoritenstraße 9 1040 Wien Österreich