Aximo: automated axiomatic reasoning for information update

Richards, Simon and Sadrzadeh, Mehrnoosh (2007) Aximo: automated axiomatic reasoning for information update. Areces, Carlos and Demri, Stephane (eds.) Methods for Modal Logic, Ecole Normal Superieur, Cachan, France. 29 - 30 Nov 2007.

Record type: Conference or Workshop Item (Paper)

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.

Text

RichardsSadr.pdf - Other

Download (265kB)

More information

Published date: 29 November 2007

Additional Information: to appear in ENTCS Event Dates: 29-30 November 2007

Venue - Dates: Methods for Modal Logic, Ecole Normal Superieur, Cachan, France, 2007-11-29 - 2007-11-30

Keywords: automated verification, dynamic epistmic logic, algebraic semantics

Organisations: Electronics & Computer Science

Learn more about Electronics & Computer Science research

Identifiers

Local EPrints ID: 264909

URI: http://eprints.soton.ac.uk/id/eprint/264909

PURE UUID: 16ae7fc4-dac6-494d-a084-cfe177a6e609

Catalogue record

Date deposited: 30 Nov 2007 14:57

Last modified: 14 Mar 2024 07:57

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

Contributors

Author: Simon Richards

Author: Mehrnoosh Sadrzadeh

Editor: Carlos Areces

Editor: Stephane Demri

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information