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

Code Repository of the OMiLAB Community (operated by OMiLAB NPO)