Causalidade e dependência em raciocínio sobre ações
What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic