ivan-jose-varzinczak documents

Causalidade e dependência em raciocínio sobre ações
Documents Causalidade e dependência em raciocínio sobre ações
Horn Belief Change: A Contraction Core
Documents Horn Belief Change: A Contraction Core
A Contraction Core for Horn Belief Change: Preliminary Report
Documents A Contraction Core for Horn Belief Change: Preliminary Report
Pertinent Reasoning
Documents Pertinent Reasoning
The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09)
Documents The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09)
How Do I Revise My Agent’s Action Theory?
Documents How Do I Revise My Agent’s Action Theory?
Action Theory Revision in Dynamic Logic
Documents Action Theory Revision in Dynamic Logic
Action Theory Revision
Documents Action Theory Revision