An interaction framework for multiagent systems
暂无分享,去创建一个
[1] Andrzej Bargiela,et al. An approach to rollback recovery of collaborating mobile agents , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[2] Doo-Soon Park,et al. FRASystem: fault tolerant system using agents in distributed computing systems , 2011, Cluster Computing.
[3] Hector J. Levesque,et al. On Acting Together , 1990, AAAI.
[4] David Garlan,et al. Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .
[5] W. Bodmer. Principles of Scientific Management , 1993, FASEB journal : official publication of the Federation of American Societies for Experimental Biology.
[6] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[7] Scott A. DeLoach,et al. THE MASE METHODOLOGY , 2006 .
[8] Kazuhiro Kuwabara,et al. AgenTalk: describing multiagent coordination protocols with inheritance , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.
[9] Jorge J. Gómez-Sanz,et al. FAML: A Generic Metamodel for MAS Development , 2009, IEEE Transactions on Software Engineering.
[10] Robbert van Renesse,et al. Horus: a flexible group communication system , 1996, CACM.
[11] Peter H. Feiler,et al. The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .
[12] Philip R. Cohen,et al. STAPLE: An agent programming language based on the joint intention theory , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[13] Marco Platzner,et al. Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware , 2010, ERSA.
[14] Mark E. Stickel. A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler , 1986, CADE.
[15] Gary T. Leavens,et al. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.
[16] John Mylopoulos,et al. An Architecture for Requirements-Driven Self-reconfiguration , 2009, CAiSE.
[17] Idit Keidar,et al. Distributed computing column 42: game theory and fault tolerance in distributed computing , 2011, SIGACT News.
[18] Gerard J. Holzmann,et al. Automating software feature verification , 2000, Bell Labs Technical Journal.
[19] Gauthier Picard,et al. ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering , 2002, ESAW.
[20] Yijun Yu,et al. An automated approach to monitoring and diagnosing requirements , 2007, ASE.
[21] Richard N. Taylor,et al. A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.
[22] Tieniu Tan,et al. Multi-agent visual surveillance of dynamic scenes , 1998, Image Vis. Comput..
[23] Michael Winikoff,et al. Goals in agent systems: a unifying framework , 2008, AAMAS.
[24] Scott H. Clearwater,et al. A Multi-Agent System for Controlling Building Environments , 1995, ICMAS.
[25] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[26] Scott A. DeLoach,et al. Analysis and Design using MaSE and agentTool , 2001 .
[27] Philippe Massonet,et al. GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[28] José Meseguer,et al. The Maude LTL Model Checker and Its Implementation , 2003, SPIN.
[29] Barbara Messing,et al. An Introduction to MultiAgent Systems , 2002, Künstliche Intell..
[30] Scott A. DeLoach,et al. A Goal Model for Adaptive Complex Systems , 2009 .
[31] Michael Winikoff,et al. Hermes: Designing Goal-Oriented Agent Interactions , 2005, AOSE.
[32] Gerald Gazdar,et al. Natural Language Processing in PROLOG: An Introduction to Computational Linguistics , 1989 .
[33] Claude E. Shannon,et al. The mathematical theory of communication , 1950 .
[34] Fausto Giunchiglia,et al. Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.
[35] Tucker R. Balch,et al. Communication in reactive multiagent robotic systems , 1995, Auton. Robots.
[36] Samir Aknine,et al. Dynamic Protocol Selection in Open and Heterogeneous Systems , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.
[37] José C. Cunha,et al. A coordination language for collective agent based systems: GroupLog , 2000, SAC '00.
[38] Michael Wooldridge,et al. Introduction to multiagent systems , 2001 .
[39] Michael Winikoff,et al. Implementing commitment-based interactions , 2007, AAMAS '07.
[40] Philip R. Cohen,et al. Representing and executing protocols as joint actions , 2002, AAMAS '02.
[41] Ilkka Tuomi,et al. Data is more than knowledge: implications of the reversed knowledge hierarchy for knowledge management and organizational memory , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.
[42] Roy H. Campbell,et al. Cerberus: a context-aware security scheme for smart spaces , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..
[43] John Mylopoulos,et al. Reasoning about agents and protocols via goals and commitments , 2010, AAMAS.
[44] Pierre Sens,et al. Towards Adaptive Fault-Tolerance For Distributed Multi-Agent Systems , 2001 .
[45] Dorothy E. Leidner,et al. Review: Knowledge Management and Knowledge Management Systems: Conceptual Foundations and Research Issues , 2001, MIS Q..
[46] Sang Joon Kim,et al. A Mathematical Theory of Communication , 2006 .
[47] Scott A. DeLoach,et al. Automatic Verification of Multiagent Conversations , 2000 .
[48] Franco Zambonelli,et al. A Study of Some Multi-agent Meta-models , 2004, AOSE.
[49] Michael Winikoff,et al. Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.
[50] Michael Wooldridge,et al. Model checking multi-agent systems with MABLE , 2002, AAMAS '02.
[51] Timothy W. Finin,et al. KQML as an agent communication language , 1994, CIKM '94.
[52] Nicholas R. Jennings,et al. The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.
[53] D. Stenmark. Information vs. knowledge: the role of intranets in knowledge management , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.
[54] Nicholas R. Jennings,et al. Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.
[55] Amal El Fallah Seghrouchni,et al. Open protocol design for complex interactions in multi-agent systems , 2002, AAMAS '02.
[56] Philippe Roussel,et al. The birth of Prolog , 1993, HOPL-II.
[57] Mark S. Fox,et al. COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.
[58] J. Fitzmaurice. Economy and Society , 1998 .
[59] Scott A. DeLoach,et al. Omacs: A Framework for Adaptive, Complex Systems , 2009, Handbook of Research on Multi-Agent Systems.
[60] Xiang Fu,et al. WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.
[61] Scott A. DeLoach,et al. Engineering Organization-Based Multiagent Systems , 2005, SELMAS.
[62] P. Cochat,et al. Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.
[63] Sara Baase. A gift of fire , 2003 .
[64] André Schiper,et al. Appia vs. Cactus: comparing protocol composition frameworks , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..
[65] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .
[66] H. Van Dyke Parunak,et al. Representing Agent Interaction Protocols in UML , 2000, AOSE.
[67] K. Miller. Organizational Communication: Approaches and Processes , 2002 .
[68] Victor R. Lesser,et al. Communication decisions in multi-agent cooperation: model and experiments , 2001, AGENTS '01.
[69] Chris Mellish,et al. Natural Language Processing in Pop-11: An Introduction to Computational Linguistics , 1989 .
[70] Roy Friedman,et al. The Maestro Group Manager: A Structuring Tool For Applications With Multiple Quality of Service Requirements , 1997 .
[71] Scott A. DeLoach,et al. O-MaSE: A Customizable Approach to Developing Multiagent Development Processes , 2007, AOSE.
[72] P. Krutchen,et al. The Rational Unified Process: An Introduction , 2000 .
[73] Bernhard Rumpe,et al. Domain specific modeling , 2005, Software & Systems Modeling.
[74] I. Nonaka,et al. The Knowledge Creating Company , 2008 .
[75] Anand S. Rao,et al. BDI Agents: From Theory to Practice , 1995, ICMAS.
[76] Joseph R. Cavallaro,et al. Robotic fault detection and fault tolerance: A survey , 1994 .
[77] David Garlan,et al. Acme: architectural description of component-based systems , 2000 .
[78] Dell Hymes,et al. Foundations of Sociolinguistics: An Ethnographic Approach , 1980 .
[79] Axel Uhl,et al. Model-Driven Architecture , 2002, OOIS Workshops.
[80] Pim Kars. The application of Promela and Spin in the BOS project , 1996, The Spin Verification System.
[81] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..
[82] Yasuyuki Tahara,et al. IOM/T: an interaction description language for multi-agent systems , 2005, AAMAS '05.
[83] Scott A. DeLoach,et al. The O-MASE Methodology , 2014, Handbook on Agent-Oriented Design Processes.
[84] Matthew B. Dwyer,et al. Bogor: an extensible and highly-modular software model checking framework , 2003, ESEC/FSE-11.
[85] Benjamin C. Pierce,et al. Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
[86] John Mylopoulos,et al. Adaptation in Open Systems: Giving Interaction Its Rightful Place , 2010, ER.
[87] Massimo Cossentino,et al. From Requirements to Code with PASSI Methodology , 2005 .
[88] Sarah Trenholm,et al. Interpersonal Communication -6/E. , 2010 .
[89] Anna Perini,et al. Operational semantics of goal models in adaptive agents , 2009, AAMAS.
[90] Alan D. Smith,et al. Information management of automatic data capture: an overview of technical developments , 2002, Inf. Manag. Comput. Secur..
[91] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[92] Cyrille Artho,et al. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[93] Lin Wang,et al. A Fault-Tolerant Multi-agent Development Framework , 2004, ISPA.
[94] Philip R. Cohen,et al. Towards a fault-tolerant multi-agent system architecture , 2000, AGENTS '00.
[95] Sergio Mena,et al. Protocol Composition Frameworks A Header-Driven Model , 2005, Fourth IEEE International Symposium on Network Computing and Applications.
[96] Eric S. K. Yu,et al. Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.
[97] Stephanie Rosenthal,et al. An effective personal mobile robot agent through symbiotic human-robot interaction , 2010, AAMAS.
[98] Munindar P. Singh,et al. Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.
[99] Frank R. Abate,et al. The new Oxford American dictionary , 2001 .
[100] Gerhard Weiss,et al. Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .