C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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