Slides of the talk at NMR'2008.

Slides of the talk at KR'2008.

Paper accepted for presentation at the 12th International Workshop on Nonmonotonic Reasoning.

This work is about changing action domain descriptions in dynamic logic. We here revisit the semantics of action theory contraction, giving more robust operators that express minimal change based on a notion of distance between models. We then define syntactical contraction operators and establish their correctness w.r.t. our semantics. Finally we show that our operators satisfy the PDL-counter...

Like any other logical theory, action theories in reasoning about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavior of actions. Here we give a semantics that complies with minimal change for revising action theories stated in a version of PDL. We give algorithms that are proven correct w.r.t. the semantics for those theories that are...

Slides of thesis' defense

Trabalho de conclusão de curso de graduação. Bacharelado em informática, Universidade Federal do Paraná, 2000.

Texte lauréat au concours "La francophonie dans tous ses Etats", organisé par l'Ambassade de France au Brésil en juin 2000.

Neste trabalho propomos uma solução para os problemas da persistência e da ramificação em termos de uma relação de dependência que indica em que circunstâncias uma dada ação pode alterar o valor de verdade de um certo literal. Mostramos como integrar a dependência ao formalismo modal da Lógica de Ações e Planos LAP, obtendo uma abordagem causal simples e poderosa para tratar problemas que envol...