Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories.
Dagmawi Neway MekuriaPaolo SernaniNicola FalcionelliAldo Franco DragoniPublished in: Intelligent Environments (2020)
Keyphrases
- smart home
- modulo theories
- satisfiability modulo theories
- activity recognition
- assisted living
- ambient intelligence
- context aware
- answer set programming
- ubiquitous environments
- smart home environment
- knowledge base
- expert systems
- human activities
- model checking
- intelligent systems
- knowledge representation
- stable model semantics
- management system
- embedded systems
- constraint networks
- artificial intelligence
- intelligent agents
- np complete
- computer vision