A logic-based calculus of events
New Generation Computing
Open information systems semantics for distributed artificial intelligence
Artificial Intelligence
This is MYWORLD: the logic of an agent-oriented DAI testbed
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about knowledge
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Computational organization theory
Multiagent systems
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
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Towards a test‐bed for trading agents in electronic auction markets
AI Communications
Artificial intelligence today
A case study on social network in a computer game
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Specification and verification of agent interaction protocols in a logic-based system
Proceedings of the 2004 ACM symposium on Applied computing
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Prevarication in dispute protocols
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Towards design tools for protocol development
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Using ontology to establish social context and support social reasoning
Lecture Notes in Computer Science
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
Design time analysis of multiagent protocols
Data & Knowledge Engineering
Artificial Intelligence and Law
Contextualizing normative open multi-agent systems
Proceedings of the 2008 ACM symposium on Applied computing
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Artificial institutions: a model of institutional reality for open multiagent systems
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
Towards Design Tools for Protocol Development
Agent Communication II
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Advances in Web Semantics I
Specifying and Enforcing Norms in Artificial Institutions
Declarative Agent Languages and Technologies VI
A Context-Based Institutional Normative Environment
Coordination, Organizations, Institutions and Norms in Agent Systems IV
MASQ: towards an integral approach to interaction
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Norm Defeasibility in an Institutional Normative Framework
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Peer Pressure as a Driver of Adaptation in Agent Societies
Engineering Societies in the Agents World IX
Adaptation of Voting Rules in Agent Societies
Organized Adaption in Multi-Agent Systems
Constitutive rules for agent communication languages
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Obligation-Based Agent Conversations for Semantic Web Service Composition
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
PreSage-MS: Metric Spaces in PreSage
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Architecting for reuse: a software framework for automated negotiation
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Simulating computational societies
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
A unified model for physical and social environments
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Competence checking for the global e-service society using games
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Providing contextual norm information in open multi-agent systems
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
A contract model for electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Representation and monitoring of commitments and norms using OWL
AI Communications - European Workshop on Multi-Agent Systems (EUMAS) 2009
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Representations of Time within Normative MAS
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
A tool to facilitate agent deliberation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Dynamic contextual regulations in open multi-agent systems
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A formal reuse-based approach for interactively designing organizations
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
QoS management in MANETs using norm-governed agent societies
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Eliciting expectations for monitoring social interactions
ICCMSN'08 Proceedings of the First international conference on Computer-Mediated Social Networking
Ontology and time evolution of obligations and prohibitions using semantic web technology
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Specifying and monitoring market mechanisms using rights and obligations
AAMAS'04 Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specification and verification of agent interaction using abductive reasoning
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
An event driven approach to norms in artificial institutions
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Exception handling in pervasive service composition using normative agents
Journal of Web Engineering
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Irrationality in persuasive argumentation
Logic Programs, Norms and Action
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Managing user-generated content as a knowledge commons
Logic Programs, Norms and Action
An obligation-based framework for web service composition via agent conversations
Web Intelligence and Agent Systems
| Hi-index | 0.00 |
E-markets and negotiation protocols are two types of application domains that can be viewed as open computational societies. Key characteristics of such societies are agent heterogeneity, conflicting individual goals and limited trust. The risk that members of such societies will not conform to specifications imposes the need for a framework that will facilitate the designers to determine to what extent it is desirable to deploy their agents in such societies. We address this need by presenting a formal framework for specifying, animating, and ultimately reasoning about and verifying the properties of open computational systems. We view computational systems from an external perspective, aiming to account for the institutional and social aspects of these systems. We identify the key concepts and illustrate how they are used by formalising an example employing the contract net protocol. The framework and associated logical inferences have been implemented as a software platform that provides automated animation of the global states of an open system (society) during its execution. Simulations have demonstrated that the implementation of the framework establishes a foundation for a rich, formal representation of open computational societies.