Temporal linear logic as a basis for flexible agent interactions
暂无分享,去创建一个
[1] Michael Winikoff,et al. Agent negotiation as proof search in linear logic , 2002, AAMAS '02.
[2] Peep Küngas. Temporal Linear Logic for Symbolic Agent Negotiation , 2004, PRICAI.
[3] 平井 崇晴. Temporal linear logic and its applications , 2000 .
[4] Munindar P. Singh,et al. Verifying Compliance with Commitment Protocols , 1998, Autonomous Agents and Multi-Agent Systems.
[5] Munindar P. Singh,et al. Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.
[6] Mihhail Matskin,et al. Linear Logic, Partial Deduction and Cooperative Problem Solving , 2003, DALT.
[7] Munindar P. Singh,et al. Commitment Machines , 2001, ATAL.
[8] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[9] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[10] Munindar P. Singh,et al. Contextualizing commitment protocol , 2006, AAMAS '06.
[11] Afsaneh Haddadi,et al. Communication and Cooperation in Agent Systems: A Pragmatic Theory , 1996 .
[12] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[13] Andrea Omicini,et al. Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.
[14] Nicholas R. Jennings,et al. Commitments and conventions: The foundation of coordination in multi-agent systems , 1993, The Knowledge Engineering Review.