A logic-based calculus of events
New Generation Computing
Cooperating agents: a unified theory of communication and social structure
Distributed Artificial Intelligence (Vol. 2)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Open information systems semantics for distributed artificial intelligence
Artificial Intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Software Engineering Journal - Special issue on software process and its support
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Implementing an object-oriented deductive database using temporal reasoning
Journal of Database Management
The industrial virtual enterprise
Communications of the ACM
Credits and debits on the Internet
IEEE Spectrum - Special issue: electronic money
An organizational ontology for enterprise modeling
Simulating organizations
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Computational organization theory
Multiagent systems
Choosing social laws for multi-agent systems: minimality and simplicity
Artificial Intelligence
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Agent-oriented software engineering for Internet agents
Coordination of Internet agents
Interaction patterns and observable commitments in a multi-agent trading scenario
Proceedings of the fifth international conference on Autonomous agents
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
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
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Rules of Order for Electronic Group Decision Making - A Formalization Methodology
Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Operational Semantics of Multi-agent Organizations
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Formalizing a Language for Institutions and Norms
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Autonomous Agents and Multi-Agent Systems
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Institutionalizing Open Multi-Agent Systems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Action Concepts for Describing Organised Interaction
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Annals of Mathematics and Artificial Intelligence
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
Event Calculus Planning Through Satisfiability
Journal of Logic and Computation
Event Calculus Reasoning Through Satisfiability
Journal of Logic and Computation
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
Towards a test‐bed for trading agents in electronic auction markets
AI Communications
An executable specification of a formal argumentation protocol
Artificial Intelligence
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Artificial intelligence today
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Alternative Dispute Resolution in Virtual Organizations
Engineering Societies in the Agents World VIII
Trace-Based Specification of Law and Guidance Policies for Multi-Agent Systems
Engineering Societies in the Agents World VIII
From Obligations to Organizational Structures in Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Formalising dynamic protocols for open agent systems
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
Fast track article: Game-based e-retailing in GOLEM agent environments
Pervasive and Mobile Computing
Reasoning about agents and protocols via goals and commitments
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Strategic executions of choreographed timed normative multi-agent systems
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Playing with agent coordination patterns in MAGE
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Dealing with incomplete normative states
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Towards Dynamic Agent Interaction Support in Open Multiagent Systems
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
InstQL: a query language for virtual institutions using answer set programming
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
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
An argumentation framework for supporting agreements in agent societies applied to customer support
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
Intrusion detection in open peer-to-peer multi-agent systems
AIMS'11 Proceedings of the 5th international conference on Autonomous infrastructure, management, and security: managing the dynamics of networks and services
Animation of open multi-agent systems
Proceedings of the 2011 Workshop on Agent-Directed Simulation
Role assignment in institutional clouds for rule-based enterprise management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
An abstract argumentation framework for supporting agreements in agent societies
HAIS'10 Proceedings of the 5th international conference on Hybrid Artificial Intelligence Systems - Volume Part II
Monitoring directed obligations with flexible deadlines: a rule-based approach
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Programming social middleware through social interaction types
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Coordination, conventions and the self-organisation of sustainable institutions
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
On a computational argumentation framework for agent societies
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Artificial Intelligence
Probing attacks on multi-agent systems using electronic institutions
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Case-Based argumentation infrastructure for agent societies
HAIS'12 Proceedings of the 7th international conference on Hybrid Artificial Intelligent Systems - Volume Part I
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Managing user-generated content as a knowledge commons
Logic Programs, Norms and Action
Open issues for normative multi-agent systems
AI Communications
On the realizability of contracts in dishonest systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Verifying conformance of multi-agent commitment-based protocols
Expert Systems with Applications: An International Journal
Case-based strategies for argumentation dialogues in agent societies
Information Sciences: an International Journal
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
AT'13 Proceedings of the Second international conference on Agreement Technologies
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
Hi-index | 0.00 |
Electronic markets, dispute resolution and negotiation protocols are three types of application domains that can be viewed as open agent societies. Key characteristics of such societies are agent heterogeneity, conflicting individual goals and unpredictable behavior. Members of such societies may fail to, or even choose not to, conform to the norms governing their interactions. It has been argued that systems of this type should have a formal, declarative, verifiable, and meaningful semantics. We present a theoretical and computational framework being developed for the executable specification of open agent societies. We adopt an external perspective and view societies as instances of normative systems. In this article, we demonstrate how the framework can be applied to specifying and executing a contract-net protocol. The specification is formalized in two action languages, the C+ language and the Event Calculus, and executed using respective software implementations, the Causal Calculator and the Society Visualizer. We evaluate our executable specification in the light of the presented case study, discussing the strengths and weaknesses of the employed action languages for the specification of open agent societies.