ECAVI: A Teaching Assistant for Reasoning about Actions and Change

Nena Basina, Theodore Patkos, Dimitris Plexousakis. ECAVI: A Teaching Assistant for Reasoning about Actions and Change. ERCIM News, 2020(122), 2020. [doi]

Abstract

Abstract is missing.