Defeasible-PROV: Conflict Resolution in Smart Building Devices.

Abdullah Al Farooq Zac Taylor Kyle Ruona Thomas Moyer

Published in: COMPSAC (2023)

Keyphrases

conflict resolution
extended logic programs
defeasible logic
resolve conflicts
access control policies
resolving conflicts
mobile devices
trade off
smart objects
case study
smart spaces
cross organizational
exception handling
home environments
knowledge representation
evolutionary algorithm
multi agent