Modeling legal conflict resolution based on dynamic logic.

Fengkui Ju Karl Nygren Tianwen Xu

Published in: J. Log. Comput. (2021)

Keyphrases

conflict resolution
dynamic logic
resolve conflicts
access control policies
reasoning about actions
extended logic programs
resolving conflicts
knowledge base
trade off
modal logic
exception handling
collaborative design