Defeasible-PROV: Conflict Resolution in Smart Building Devices. - Abdullah Al Farooq; Zac Taylor; Kyle Ruona; Thomas Moyer (COMPSAC, 2023)