Logic-based electronic institutions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2990, Issue , 2004, Pages 221-242

  Vasconcelos, Wamberto W ^a  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; FORMAL METHODS; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; SEMANTICS; SOCIETIES AND INSTITUTIONS;

DISTRIBUTED IMPLEMENTATION; ELECTRONIC INSTITUTIONS; FIRST ORDER LOGIC; FORMAL SEMANTICS; OPEN AGENTS;

AUTONOMOUS AGENTS; INTELLIGENT AGENTS;

EID: 23144436607     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25932-9_12     Document Type: Conference Paper

References (33)

1. Esteva, M., Rodríguez-Aguilar, J. A., Sierra, C., Garcia, P., Arcos, J. L.: On the Formal Specification of Electronic Institutions. In Dignum, F., Sierra, C., eds.: Agent Mediated E-Commerce. Volume 1991 of LNAI., Springer-Verlag (2001)
2. Labrou, Y., Finin, T., Peng, Y.: Agent Communication Languages: the Current Landscape. IEEE Intelligent Systems 14 (1999) 45-52
3. FIPA: The Foundation for Physical Agents. http://www.fipa.org (2002)
4. Hulstijn, J.: Dialogue Models for Inquiry and Transaction. PhD thesis, University of Twente (2000)
5. McBurney, P., van Eijk, R., Parsons, S., Amgoud, L.: A Dialogue-Game Protocol for Agent Purchase Negotiations. Journal of Autonomous Agents and Multi-Agent Systems 7 (2003) 235-273
6. Wagner, T., Benyo, B., Lesser, V., Xuan, P.: Investigating Interactions between Agent Conversations and Agent Control Components. In Dignum, F., Greaves, M., eds.: Issues in Agent Communication. Springer-Verlag: Heidelberg, Germany (2000) 314-330
7. Halmos, P. R.: Naive Set Theory. Van Nostrand, Princeton, New Jersey (1960)
8. Enderton, H. B.: A Mathematical Introduction to Logic. 2nd edn. Harcourt/Academic Press, Mass., USA (2001)
9. Manna, Z.: Mathematical Theory of Computation. McGraw-Hill Kogakusha, Ltd., Tokio, Japan (1974)
10. Esteva, M., Padget, J., Sierra, C.: Formalizing a Language for Institutions and Norms. Volume 2333 of LNAI. Springer-Verlag (2001)
11. Rodríguez-Aguilar, J. A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, IIIA-CSIC, Spain (2001)
12. Rodríguez-Aguilar, J. A., Martín, F. J., Noriega, P., Garcia, P., Sierra, C.: Towards a Formal Specification of Complex Social Structures in Multi-Agent Systems. In Padget, J., ed.: Collaboration between Human and Artificial Societies. Volume 1624 of Lect. Notes in Art. Intell. Springer-Verlag (2000) 284-300
13. Vasconcelos, W. W., Sabater, J., Sierra, C., Querol, J.: Skeleton-based Agent Development for Electronic Institutions. In: Proc. 1st Int'l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2002), Bologna, Italy, ACM, U. S. A (2002)
14. Apt, K. R.: From Logic Programming to Prolog. Prentice-Hall, U. K. (1997)
15. Vasconcelos, W. W., Sierra, C., Esteva, M.: An Approach to Rapid Prototyping of Large Multi-Agent Systems. In: Proc. 17th IEEE Int'l Conf. on Automated Software Engineering (ASE 2002), Edinburgh, UK, IEEE Computer Society, U. S. A (2002) 13-22
16. Cormen, T. H., Leiserson, C. E., Rivest, R. L.: Introduction to Algorithms. MIT Press, USA (1990)
17. Holzmann, G. J.: The SPIN Model Checker. IEEE Trans. on Software Engineering 23 (1997) 279-295
18. Holzmann, G. J., Najm, E., Serhrouchni, A.: SPIN Model Checking: an Introduction. Int. Journal of Software Tools for Technology Transfer 2 (2000) 321-327
19. SICS: SICStus Prolog User's Manual. Swedish Institute of Computer Science, available at http://www.sics.se/isl/sicstus2.html#Manuals (2000)
20. Carriero, N., Gelernter, D.: Linda in Context. Comm. of the ACM 32 (1989) 444-458
21. Bochman, G. V.: Finite State Description of Communications Protocols. In: Procs. Computer Network Protocols Symposium. (1978) F3.1-F3.11
22. Brand, D., Zafiropulo, P.: On Communicating Finite-State Machines. Journal of the ACM 30 (1983) 323-342
23. Boigelot, B., Godefroid, P.: Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods in System Design (1997) 1-2
24. Lin, H. P.: Modeling a Transport Layer Protocol using First-Order Logic. In: Procs. of the ACM SIGCOMM Conf. on Comm. Architectures & Protocols, ACM Press (1986) 92-100
25. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In Gottlob, G., Walsh, T., eds.: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003), Morgan Kaufmann Publishers (2003) 679-684
26. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Modeling Interactions using Social Integrity Constraints: a Resource Sharing Case Study. In this volume.
27. Esteva, M.: Electronic Institutions: from Specification to Development. PhD thesis, Universitat Politècnica de Catalunya, Spain (2003)
28. Vasconcelos, W. W., Robertson, D., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. Accepted in Annals of Mathematics and Artificial Intelligence, special issue on Logic-Based Agent Implementation (2004)
29. Harland, C. M.: Supply Chain Management: Relationships, Chains and Networks. British Journal of Management 7 (1996) 63-80
30. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: an Imperative Approach to Temporal Logic Programming. Formal Aspects of Computing 7 (1995) 111-154
31. Manna, Z., Pnuelli, A.: How to Cook a Temporal Proof System for your Pet Language. In: Proc. 10th POPL-ACM. (1983) 141-154
32. Rescher, N., Urquhart, A.: Temporal Logic. Springer-Verlag, Wien (1971)
33. Vasconcelos, W. W.: Time as a Model: The Application of Temporal Logics in the Formal Specification of Distributed Systems. MSc Dissertation, COPPE - Federal University of Rio de Janeiro; Rio de Janeiro, Brazil (1989) In Portuguese.