Logic-Based Electronic Institutions
暂无分享,去创建一个
[1] Marc Esteva,et al. On the Formal Specifications of Electronic Institutions , 2001, AgentLink.
[2] Julian Padget,et al. Formalizing a Language for Institutions and Norms , 2001, ATAL.
[3] Marc Esteva,et al. On the formal specification of electronic institutions , 2001 .
[4] Nicolas Maudet,et al. Protocol Conformance for Logic-based Agents , 2003, IJCAI.
[5] Krzysztof R. Apt,et al. From logic programming to Prolog , 1996, Prentice Hall International series in computer science.
[6] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[7] Nicholas Carriero,et al. Linda in context , 1989, CACM.
[8] Jordi Sabater-Mir,et al. Skeleton-based agent development for electronic institutions , 2002, AAMAS '02.
[9] Christopher W. Allinson,et al. The Implications of Learning Styles for Training and Development: A Discussion of the Matching Hypothesis , 1996 .
[10] Yun Peng,et al. Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..
[11] Victor R. Lesser,et al. Investigating Interactions between Agent Conversations and Agent Control Components , 2000, Issues in Agent Communication.
[12] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[13] Zohar Manna,et al. How to cook a temporal proof system for your pet language , 1983, POPL '83.
[14] Michael Wooldridge,et al. Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming , 2004, Annals of Mathematics and Artificial Intelligence.
[15] Peter Øhrstrøm,et al. Temporal Logic , 1994, Lecture Notes in Computer Science.
[16] Jeanine Weekes Schroer,et al. The Finite String Newsletter Abstracts of Current Literature Glisp User's Manual , 2022 .
[17] Patrice Godefroid,et al. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs , 1999, Formal Methods Syst. Des..
[18] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[19] H. Paul Lin. Modeling a transport layer protocol using first-order logic , 1986, SIGCOMM '86.
[20] Evelina Lamma,et al. Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study , 2003, DALT.
[21] Pablo Noriega,et al. Towards a Formal Specification of Complex Social Structures in Multi-agent Systems , 1999, Collaboration between Human and Artificial Societies.
[22] Juan Antonio Rodriguez,et al. On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .
[23] Zohar Manna,et al. Mathematical Theory of Computation , 2003 .
[24] Dov M. Gabbay,et al. MetateM: An introduction , 1995, Formal Aspects of Computing.
[25] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[26] Joris Hulstijn,et al. Dialogue Models for Inquiry and Transaction , 2000 .
[27] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[28] Patrick Suppes,et al. Naive Set Theory , 1961 .
[29] C. Harland. Supply Chain Management: Relationships, Chains and Networks , 1996 .
[30] Wamberto Weber Vasconcelos,et al. An approach to rapid prototyping of large multi-agent systems , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[31] Peter McBurney,et al. A Dialogue Game Protocol for Agent Purchase Negotiations , 2003, Autonomous Agents and Multi-Agent Systems.
[32] R. K. Shyamasundar,et al. Introduction to algorithms , 1996 .
[33] Gerard J. Holzmann,et al. SPIN model checking: an introduction , 2000, International Journal on Software Tools for Technology Transfer.
[34] D. Dubois,et al. Qualitative possibility theory and its applications to constraint satisfaction and decision under uncertainty , 1999 .
[35] Mats Carlsson,et al. SICStus Prolog User''s Manual , 1993 .
[36] Alasdair Urquhart,et al. Temporal Logic , 1971 .