Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
暂无分享,去创建一个
Catholijn M. Jonker | Jan Treur | Frances M. T. Brazier | Rune Gustavsson | Olle Lindeberg | Frank Cornelissen | Bianca Polak | C. Jonker | F. Brazier | Jan Treur | R. Gustavsson | O. Lindeberg | Frank Cornelissen | B. Polak
[1] Jan Treur,et al. A semantical perspective on verification of knowledge , 2002, Data Knowl. Eng..
[2] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, ATAL.
[3] Jeffrey S. Rosenschein,et al. Rules of Encounter - Designing Conventions for Automated Negotiation among Computers , 1994 .
[4] Jacques Ferber,et al. Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.
[5] Anand S. Rao,et al. A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.
[6] Zohar Manna,et al. Temporal verification of reactive systems - safety , 1995 .
[7] Jeffrey S. Rosenschein,et al. Designing Conventions for Automated Negotiation , 1994, AI Mag..
[8] Michael Wooldridge,et al. Agent-based software engineering , 1997, IEE Proc. Softw. Eng..
[9] Martín Abadi,et al. Composing Specifications , 1989, REX Workshop.
[10] Rune Gustavsson,et al. HOMEBOTS : Intelligent Decentralized Services for Energy Management , 1996 .
[11] Rune Gustavsson,et al. Requirements on Information Systems as Business Enablers , 1997 .
[12] Dieter Fensel,et al. Specification and Verification of Knowledge-Based Systems , 1996 .
[13] Jozef Hooman. Compositional verification of a distributed real-time arbitration protocol , 2005, Real-Time Systems.
[14] John S. Gero,et al. Artificial Intelligence in Design ’98 , 1998, Springer Netherlands.
[15] Catholijn M. Jonker,et al. Agents negotiating for load balancing of electricity use , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).
[16] Zohar Manna,et al. Temporal Verification of Reactive Systems , 1995, Springer New York.
[17] Nicholas R. Jennings,et al. The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.
[18] Nicholas R. Jennings,et al. A methodology for agent-oriented analysis and design , 1999, AGENTS '99.
[19] Axel van Lamsweerde,et al. Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.
[20] Wu Yuan. A Methodology for Agent-oriented Analysis and Design , 2003 .
[21] Nicholas R. Jennings,et al. On agent-based software engineering , 2000, Artif. Intell..
[22] Michael Wooldridge,et al. On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..
[23] D. Christie,et al. The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse , 1985 .
[24] Nicholas R. Jennings,et al. Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.
[25] Catholijn M. Jonker,et al. Principles of component-based design of intelligent agents , 2002, Data Knowl. Eng..
[26] Matthias Klusch,et al. Design of Collaborative Information Agents , 2000, CIA.
[27] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..
[28] Catholijn M. Jonker,et al. Dynamics and control in component‐based agent models , 2002, Int. J. Intell. Syst..
[29] Dieter Fensel,et al. Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering , 1996, ECAI.
[30] Jan Treur,et al. Temporal Semantics of Compositional Task Models and Problem Solving Methods , 1999, Data Knowl. Eng..
[31] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 2002, Int. J. Cooperative Inf. Syst..
[32] Jan Treur,et al. A Logical Foundation for Verification , 1994, ECAI.