Action Types in STIT Semantics.

John F. Horty Eric Pacuit

Published in: Rev. Symb. Log. (2017)

Keyphrases

logical framework
multi agent systems
inference rules
conceptual model
logic programming
artificial intelligence
video sequences
semantic information
belief revision
reasoning tasks
reasoning about actions
action theories
action language
action descriptions