Skip to content
20-ECAVI-An Assistant for Reasoning About Actions and Change with the Event Calculus

20-ECAVI-An Assistant for Reasoning About Actions and Change with the Event Calculus