Richards, S. and Sadrzadeh, M. (2007) Aximo: automated axiomatic reasoning for information update. In: Methods for Modal Logic, 29-30 November 2007, Ecole Normal Superieur, Cachan, France.
Download
![[img]](http://eprints.ecs.soton.ac.uk/style/images/fileicons/application_pdf.png)
| PDF 259Kb |
Abstract
Aximo is a software written in C++ that verifies epistemic properties of dynamic scenarios in multi-agent systems. The underlying logic of our tool is based on the algebraic axiomatics of Dynamic Epistemic Logic. We also present a new theoretical result: the worst case complexity of the verification problem of Aximo.
| Creators: | Simon Richards, Mehrnoosh Sadrzadeh |
|---|---|
| Editors: | Carlos Areces, Stephane Demri |
| Item Type: | Conference or Workshop Item |
| Keywords: | automated verification, dynamic epistmic logic, algebraic semantics |
| Additional Information: | to appear in ENTCS |
| Research Group: | Dependable Systems and Software Engineering Research Group |
| Deposited On: | 30 Nov 2007 14:57 by Sadrzadeh, Mehrnoosh |
| ID Code: | 14909 |
| Last Modified: | 18 Feb 2010 15:53 |
| Performance Indicator: | EZ~04~02~02 |
| Citations: | Google Scholar: 3 |
Tools
Metadata
Download Statistics
Members of ECS may view the download statistics dashboard for this record.
Corrections
ECS staff and postgraduates may modify this record
