Automatic policy conflict analysis for cross-domain collaborations using semantic temporal logic.

Zhengping Wu Yuanyao Liu

Published in: CollaborateCom (2009)

Keyphrases

temporal logic
cross domain
model checking
modal logic
knowledge transfer
data sets
case study
data analysis
knowledge discovery
domain specific