Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness

International Journal of Cooperative Information Systems

Volumn 11, Issue 1-2, 2002, Pages 51-91

  Jonker, Catholijn M ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SUPPORTED COOPERATIVE WORK; FORMAL LOGIC; INFORMATION ANALYSIS; SEMANTICS;

INFORMATION GATHERING;

MULTI AGENT SYSTEMS;

EID: 0035994559     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0218843002000480     Document Type: Article

References (26)

1. Composing specifications
2. Assumptions of problem-solving methods and their role in knowledge engineering
3. Partial logic
4. Compositional design and verification of a multi-agent system for one-to-many negotiation
5. Formal specification of multi-agent systems: A real-world case
6. Temporal semantics of compositional task models and problem solving methods
7. Compositional verification of knowledge-based systems: A case study in diagnostic reasoning
8. Compositional verification of knowledge-based systems in temporal epistemic logic
9. Assumptions and limitations of a problem solving method: A case study
10. Assumptions in model-based diagnosis
11. Specification and verification of knowledge-based systems
12. On the formal specification and verification of multiagent systems
13. Formal methods in knowledge engineering
14. Compositional verification of a distributed real-time arbitration protocol
15. Reuse and abstraction in verification: Agents acting in a dynamic environment
16. A methodology and technique for systems of BDI agents
17. Formal specification of compositional architectures
18. Partiality, truth and persistance
19. Modeling rational agents within a BDI architecture
20. A logical foundation for verification
21. Intelligent agents