Integer and combinatorial optimization
Integer and combinatorial optimization
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
Designing conventions for automated negotiation
AI Magazine
On stable social laws and qualitative equilibria
Artificial Intelligence
Communications of the ACM
Communications of the ACM
Computationally Manageable Combinational Auctions
Management Science
An exception-handling architecture for open electronic marketplaces of contract net software agents
Proceedings of the 2nd ACM conference on Electronic commerce
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Truth revelation in approximately efficient combinatorial auctions
Journal of the ACM (JACM)
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Towards Electronic Contract Performance
DEXA '01 Proceedings of the 12th International Workshop on Database and Expert Systems Applications
Agent-Mediated Interaction. From Auctions to Negotiation and Argumentation
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Specifying rules for electronic auctions
AI Magazine
On Agent-Mediated Electronic Commerce
IEEE Transactions on Knowledge and Data Engineering
A Taxonomy of Middle-Agents for the Internet
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Agent-mediated electronic commerce: a survey
The Knowledge Engineering Review
Agent-Mediated Electronic Commerce
Autonomous Agents and Multi-Agent Systems
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Contracts as Legal Institutions in Organizations of Autonomous Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
The First International Trading Agent Competition: Autonomous Bidding Agents
Electronic Commerce Research
Combinatorial Auctions
Implementing norms in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
A normative framework for agent-based systems
Computational & Mathematical Organization Theory
Operationalisation of norms for usage in electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Autonomous Bidding Agents: Strategies and Lessons from the Trading Agent Competition (Intelligent Robotics and Autonomous Agents)
On partially controlled multi-agent systems
Journal of Artificial Intelligence Research
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A functional program for agents, actions, and deontic specifications
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |
We provide a formal scripting language to capture the semantics of economic environments. The language is based on a set of well-defined design principles and makes explicit an agent's rights, as derived from property, and an agent's obligations, as derived from restrictions placed on its actions either voluntarily or as a consequence of other actions. Coupled with the language is a run-time system that is able to monitor and enforce rights and obligations in an agent-mediated economic environment. The framework allows an agent to formally express guarantees (obligations) in relation to its actions, and the run-time system automatically checks that these obligations are met and verifies that an agent has appropriate rights before executing an action. Rights and obligations are viewed as first-class goods that can be transferred from one agent to another. This treatment makes it easy to define natural and expressive recursive statements, so that, for instance, one may have rights or obligations in selling or trading some other right or obligation. We define fundamental axioms about well-functioning markets in terms of rights and obligations, and delineate the difference between ownership and possession, arguably two of the most important notions in economic markets. The framework provides a rich set of action-related constructs for modeling conditional and non-deterministic effects, and introduces the use of transactions to safely bundle actions, including the issuing of rights and taking on of obligations. By way of example, we show that our language can represent a variety of economic mechanisms, ranging from simple two-agent single-good exchanges to complicated combinatorial auctions. The framework, which is fully implemented, can be used to formalize the semantics of markets; as a platform for prototyping, testing and evaluating agent-mediated markets; and also provide a basis for deploying an electronic market.