An Epistemic Separation Logic with Action Models.

Hans van Ditmarsch Didier Galmiche Marta Gawek

Published in: J. Log. Lang. Inf. (2023)

Keyphrases

action models
epistemic logic
partially observable
ai planning
modal operators
modal logic
goal directed
model checking
transfer learning
logic programming
learning algorithm
planning domains
video sequences
human actions
accurate models