Login / Signup

A logic for synchronous transitions with dynamic conflict resolution.

Vanderlei Moraes RodriguesFlávio Rech Wagner
Published in: CLEI Electron. J. (2000)
Keyphrases
  • conflict resolution
  • resolve conflicts
  • cross organizational
  • resolving conflicts
  • exception handling
  • logic programming
  • access control policies
  • database systems
  • objective function
  • logic programs
  • modal logic