Login / Signup
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic.
Giorgio Delzanno
Angelo Ferrando
Giovanna Guerrini
Matteo Pusceddu
Giovanni Zanone
Published in:
HELMeTO (2022)
Keyphrases
</>
modal logic
computational thinking
temporal logic
inference rules
nonmonotonic logics
situation calculus
epistemic logic
classical logic
default logic
dynamic logic
game design
explanation based generalization
prime implicates
artificial intelligence
model checking