Aximo: Automated Axiomatic Reasoning for Information Update
We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent systems and an implementation of it as the C++ program Aximo. The program consists of a rewrite system and a recursive reasoner, and we prove that its decision procedure is sound with regard to the algebraic...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
2009
|