Diploma Thesis title: Automated Deployment of Complex Smart Home Scenarios using Declarative Programming (2025-2026)