AGENTS '98 Proceedings of the second international conference on Autonomous agents
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Shape analysis for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
What Are Polymorphically-Typed Ambients?
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
A Coordination Model Agents Based on Secure Spaces
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
An Asynchronous, Distributed Implementation of Mobile Ambients
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Ambient Groups and Mobility Types
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Towards Layered Dialogical Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
The JavaSeal Mobile Agent Kernel
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
A bartering approach to improve multiagent learning
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Skeletal Jade Components for the Construction of Institutions
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Role-assignment in open agent societies
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Expressive global protocols via logic-based electronic institutions
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Mapping Abstractions of Norms in Electronic Institutions
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Normative Agent Reasoning in Dynamic Societies
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Model of Almost Everything: Norms, Structure and Ontologies in Agent Organizations
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
A multiagent system manages collaboration in emergent processes
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
Trust and honour in information-based agency
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Journal of Biomedical Informatics
Agents applied in health care: Guest-editorial
AI Communications
Normative Agents in Health Care: Uses and challenges
AI Communications - Agents Applied in Health Care
An executable specification of a formal argumentation protocol
Artificial Intelligence
Artificial Intelligence and Law
Norms for modeling agents' interaction in ubiquitous environments
Mobile Information Systems
Autonomous Agents and Multi-Agent Systems
Institutions with a hierarchy of authorities in distributed dynamic environments
Artificial Intelligence and Law
From human regulations to regulated software agents' behavior
Artificial Intelligence and Law
Electronic institutions for B2B: dynamic normative environments
Artificial Intelligence and Law
Specifying and enforcing norms in artificial institutions
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Practical Issues in Detecting Broken Social Commitments
Agent Communication II
Coordinating Tasks in Agent Organizations
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Redesign of Organizations as a Basis for Organizational Change
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Towards an Ontological Account of Agent-Oriented Goals
Software Engineering for Multi-Agent Systems V
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
On the Challenge of Engineering Socio-technical Systems
Software-Intensive Systems and New Computing Paradigms
A Normative Model for Behavioral Differentiation
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Constraint Relaxation Approach for Over-Constrained Agent Interaction
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Specifying and Enforcing Norms in Artificial Institutions
Declarative Agent Languages and Technologies VI
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Coordination, Organizations, Institutions and Norms in Agent Systems IV
The Use of Norms Violations to Model Agents Behavioral Variety
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Model-Driven Integration of Organizational Models
Agent-Oriented Software Engineering IX
Norm-based behaviour modification in BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Social Responsibility among deliberative agents
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Towards an Organizational MAS Methodology
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
From Multi-Agent to Multi-Organization Systems: Utilizing Middleware Approaches
Engineering Societies in the Agents World IX
Expert Systems with Applications: An International Journal
Programming Organization-Aware Agents
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Specification by refinement and agreement: designing agent interaction using landmarks and contracts
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Organization oriented programming: from closed to open organizations
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Towards agent-based scenario development for strategic decision support
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Dynamic composition of electronic institutions for teamwork
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A multiagent network for peer norm enforcement
Autonomous Agents and Multi-Agent Systems
A model-based architecture for organizational interoperability in open multiagent systems
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Simple Ecological Rules Yield Complex Agent Networks
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
An ecologically inspired simulation tool for managing digital ecosystems
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Computational & Mathematical Organization Theory
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
OperettA: organization-oriented development environment
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Norms enforcement as a coordination strategy in ubiquitous environments
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
OMNI: introducing social structure, norms and ontologies into agent organizations
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Using social power to enable agents to reason about being part of a group
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Enriching a MAS environment with institutional services
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Formalizing an electronic institution for the distribution of human tissues
Artificial Intelligence in Medicine
Agent reasoning for norm compliance: a semantic approach
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Hi-index | 0.01 |
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way in which it may be possible to create that initial trust is through the abstract notion of an institution, defined in terms of norms [19] and the scenes within which (software) agents may play roles in different trading activities, governed by those norms. We present here a case for institutions in electronic trading, a specification language for institutions (covering norms, performative structure, scenes, roles, etc.) and its semantics and how this may be mapped into formal languages such as process algebra and various forms of logic, so that there is a framework within which norms can be stated and proven.