Skip to content

GitLab

Explore

Sign in
Register

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

Project information

Part 6 Knowl...

11 Commits
1 Branch
0 Tags

README

Created on

March 29, 2021

Copy HTTPS clone URLhttps://code.omilab.org/resources/book-volume-2/14-ecavi-an-assistant-for-reasoning-about-actions-and-change-with-the-event-calculus.git

Loading

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