Aximo: automated axiomatic reasoning for information update

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

Preview

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.

Item Type:	Conference or Workshop Item
Creator/Authors:	Simon Richards Mehrnoosh Sadrzadeh
Editors:	Carlos Areces Stephane Demri
Keywords:	automated verification, dynamic epistmic logic, algebraic semantics
Additional Information:	to appear in ENTCS
Research Group:	Old ECS Groups > Dependable Systems and Software Engineering Research Group ?? group-csMEngCs4 ??
Date:	29 November 2007
Information about this record:
Performance Indicator:	EZ~04~02~02
Citations:	Google Scholar: 7
Downloads (2010):	24
ID Code:	14909
Last Modified:	23 Sep 2011 10:35
Deposited On:	30 Nov 2007 14:57 by Sadrzadeh, Mehrnoosh

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