Representing Concurrent Actions and Solving Conflicts

Sven-Erik Bornscheuer, Michael Thielscher. Representing Concurrent Actions and Solving Conflicts. Logic Journal of the IGPL, 4(3):355-368, 1996. [doi]

Abstract

Abstract is missing.