Dagmawi Neway Mekuria, Paolo Sernani, Nicola Falcionelli, Aldo Franco Dragoni. Consistency Verification of a Rule-Based Smart Home Reasoning System with Satisfiability Modulo Theories. In 16th International Conference on Intelligent Environments, IE 2020, Madrid, Spain, July 20-23, 2020. pages 52-59, IEEE, 2020. [doi]
Abstract is missing.