Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories
Dagmawi Neway Mekuria, Paolo Sernani, Nicola Falcionelli, Aldo Franco Dragoni · 2020
The following topics are dealt with: Internet; Internet of Things; health care; geriatrics; medical signal processing; brain-computer interfaces; electroencephalography; ubiquitous computing; optimisation; indoor radio.