Certified abstract machines for skeletal semantics.

Guillaume Ambal Sergueï Lenglet Alan Schmitt

Published in: CPP (2022)

Keyphrases

formal semantics
high level
propositional dynamic logic
low level
logic programming
conceptual model
databases
semantic information
human motion
default reasoning
graphical representation
semantic representation