Login / Signup
ECAVI: A Teaching Assistant for Reasoning about Actions and Change.
Nena Basina
Theodore Patkos
Dimitris Plexousakis
Published in:
ERCIM News (2020)
Keyphrases
</>
reasoning about actions and change
event calculus
domain description
situation calculus
partially ordered
reasoning tasks
web services
temporal reasoning
action language