Animated specifications of computational societies

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 3, 2002, Pages 1053-1061

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Formal Specification; Norm Governed Multi Agent Systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; MULTI AGENT SYSTEMS; SOCIAL ASPECTS; SOCIETIES AND INSTITUTIONS;

COMPUTATIONAL SOCIETIES;

COMPUTATIONAL METHODS;

EID: 0036367581     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/545068.545070     Document Type: Conference Paper

References (20)

1. Computational organisational theory
2. On the formal specifications of electronic institutions
3. Operational semantics of multi-agent organisations
4. Open information systems semantics for distributed artificial intelligence
5. On the characterisation of law and computer systems: The normative systems perspective
6. A formal characterisation of institutionalised power
7. A logic-based calculus of events
8. Artificial social systems
9. Interaction patterns and observable commitments in a multi-agent trading scenario
10. Towards a test-bed for trading agents in electronic auction markets
11. Action concepts for describing organised interaction
12. What is a speech act?
13. A computational theory of normative positions
14. The event calculus explained
15. A social semantics for agent communication languages
16. Distributed problem solving: The contract-net approach
17. This is MyWorld: The logic of an agent-oriented DAI testbed
18. The gala methodology for agent-oriented analysis and design