From action theories to updates, transactions, triggers and agents — A tutorial | Publicación