Scalar actions in Lean's mathlib (short paper).

Published in: CICM Workshops (2021)

Keyphrases

plan recognition
multiscale
real world
knowledge base
case study
state space
situation calculus
action selection
vector valued
reasoning about actions