Formal specification of compositional architectures
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology and modelling technique for systems of BDI agents
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
EKAW '97 Proceedings of the 10th European Workshop on Knowledge Acquisition, Modeling and Management
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
UML Class Diagrams Revisited in the Context of Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Reasoning by assumption: formalisation and analysis of human reasoning traces
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
| Hi-index | 0.00 |
A compositional method is presented for the verification of multi-agent systems. The advantages of the method are the well-structuredness of the proofs and the reusability of parts of these proofs in relation to reuse of components. The method is illustrated for an example multi-agent system, consisting of co-operative information gathering agents. This application of the verification method results in a formal analysis of pro-activeness and reactiveness of agents.