Specifying electronic societies with the causal calculator

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

Volumn 2585, Issue , 2003, Pages 1-15

  Artikis, Alexander ^a   Sergot, Marek ^a   Pitt, Jeremy ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; ECONOMIC AND SOCIAL EFFECTS; LOGIC PROGRAMMING; MATHEMATICAL INSTRUMENTS; SEMANTICS; SOCIAL ASPECTS; SOCIETIES AND INSTITUTIONS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATIONS;

COMMONSENSE KNOWLEDGE; COMPUTATIONAL SYSTEM; CONTRACT NET PROTOCOLS; EVENT CALCULUS; EXPLICIT STATE; SOCIAL CONSTRAINTS;

C (PROGRAMMING LANGUAGE);

EID: 35248855977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36540-0_1     Document Type: Article

References (19)

1. Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In Castelfranchi, C., Johnson, L., eds.: Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS). (2002) 1053-1062
2. Bartolini, C., Priest, C., Jennings, N.: Architecting for reuse: A software framework for automated negotiation. In: Proceedings of Workshop on Agent-Oriented Software Engineering (AOSE). (2002) 87-98
3. Rosenschein, J., Zlotkin, G.: Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press (1998)
4. Hardwick, M., Bolton, R.: The industrial virtual enterprise. Communications of the ACM 40 (1997) 59-60
5. Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence 47 (1991) 76-106
6. Singh, M.: A social semantics for agent communication languages. In: Issues in Agent Communication. LNCS 1916. Springer (2000) 31-45
7. Shanahan, M.: The event calculus explained. Artificial Intelligence Today (1999) 409-430
8. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. (2001)
9. Smith, R., Davis, R.: Distributed problem solving: The contract-net approach. In: Proceedings of Conference of Canadian Society for Computational Studies of Intelligence. (1978) 217-236
10. Lee, J., Lifschitz, V., Turner, H.: A representation of the zoo world in the language of the causal calculator. In: Proceedings of Fifth Symposium on Formalizations of Commonsense Knowledge. (2001)
11. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4 (1996)
12. Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic 2 (2001) 522-581
13. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press (1995)
14. Pitt, J., Kamara, L., Artikis, A.: Interaction patterns and observable commitments in a multi-agent trading scenario. In: Proceedings of Conference on Autonomous Agents (AA), ACM Press (2001) 481-489
15. ++. ALFEBIITE Deliverable D6(2) (2002)
16. Esteva, M., Rodriguez-Aguilar, J., Sierra, C., Garcia, P., Arcos, J.: On the formal specifications of electronic institutions. In Dignum, F., Sierra, C., eds.: Agent Mediated Electronic Commerce. LNAI 1991. Springer (2001) 126-147
17. Yolum, P., Singh, M.: Flexible protocol specification and execution: Applying event calculus planning using commitments. In Castelfranchi, C., Johnson, L., eds.: Proceedings of Conference on Autonomous Agents and Multiagent Systems (AAMAS). (2002) 527-535
18. Singh, M.: An ontology for commitments in multiagent systems: Towards a unification of normative concepts. Artificial Intelligence and Law 7 (1999) 97-113
19. van der Meyden, R.: The dynamic logic of permission. Journal of Logic and Computation 6 (1996) 465-479