Model Checking Agent Dialogues
暂无分享,去创建一个
[1] Michael Wooldridge,et al. Semantic Issues in the Verification of Agent Communication Languages , 2000, Autonomous Agents and Multi-Agent Systems.
[2] Hector J. Levesque,et al. Rational interaction as the basis for communication , 2003 .
[3] Agostino Poggi,et al. Jade - a fipa-compliant agent framework , 1999 .
[4] Marc Esteva,et al. On the Formal Specifications of Electronic Institutions , 2001, AgentLink.
[5] Peter F. Patel-Schneider,et al. The DARPA Knowledge Sharing Effort: A Progress Report , 1997, KR.
[6] Marc Esteva,et al. On the formal specification of electronic institutions , 2001 .
[7] Wamberto Weber Vasconcelos,et al. Norm Verification and Analysis of Electronic Institutions , 2004, DALT.
[8] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.
[9] D. Walton,et al. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning , 1995 .
[10] Timothy W. Finin,et al. Semantics and Conversations for an Agent Communication Language , 1997, IJCAI.
[11] Fausto Giunchiglia,et al. Model Checking Multiagent Systems , 1998, J. Log. Comput..
[12] Marc Esteva,et al. ISLANDER: an electronic institutions editor , 2002, AAMAS '02.
[13] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[14] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[15] Jarred McGinnis,et al. Using Distributed Protocols as an Implementation of Dialogue Games , 2003 .
[16] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[17] Michael Wooldridge,et al. State-space reduction techniques in agent verification , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[18] Michael Wooldridge,et al. Model checking multi-agent systems with MABLE , 2002, AAMAS '02.
[19] Peter McBurney,et al. Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents , 2002, J. Log. Lang. Inf..
[20] Andrea Omicini,et al. Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.
[21] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[22] Jeffrey M. Bradshaw,et al. What Is a Conversation Policy? , 2000, Issues in Agent Communication.
[23] Timothy W. Finin,et al. KQML as an agent communication language , 1994, CIKM '94.
[24] Michael Wooldridge,et al. Model checking agentspeak , 2003, AAMAS '03.
[25] Michael Wooldridge,et al. Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.
[26] Roberto A. Flores,et al. Bringing Coherence to Agent Conversations , 2001, AOSE.
[27] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[28] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[29] Philip R. Cohen,et al. Intentions in Communication. , 1992 .
[30] Carles Sierra,et al. Agent-Mediated Electronic Commerce , 2004, Autonomous Agents and Multi-Agent Systems.
[31] Brahim Chaib-draa,et al. Commitment-based and dialogue-game-based protocols: new trends in agent communication languages , 2002, The Knowledge Engineering Review.
[32] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..
[33] Michael Wooldridge,et al. Agent-Oriented Software Engineering II , 2002, Lecture Notes in Computer Science.
[34] Christopher D. Walton,et al. Multi-Agent Dialogue Protocols , 2004, AI&M.
[35] Munindar P. Singh. Agent Communication Languages: Rethinking the Principles , 1998, Computer.
[36] David M. Booth,et al. Web Services Architecture , 2004 .