Situation Calculus for Multiple Action Representation
Michael Zernov · 2017
The paper follows a sequence of publications dedicated to development of new situational-event calculus, which main concepts are: using of order-sorted logic and branching time concepts, taking into account many alternative outcomes of the same action, applying actions, grouped in a list to model their simultaneity.