Sustainable goal-oriented smart environments: a declarative programming approach.
Giuseppe BisicchiaStefano FortiAntonio BrogiPublished in: J. Log. Comput. (2023)
Keyphrases
- goal oriented
- smart environments
- declarative programming
- answer set programming
- ambient intelligence
- logic programming
- logic programs
- context aware
- pervasive computing
- sensor data
- wearable computing
- activity recognition
- smart home
- human behavior
- requirements analysis
- human activities
- requirements engineering
- management system
- knowledge representation
- ubiquitous computing
- ubiquitous systems
- context awareness
- stable model semantics
- intelligent agents