A logic-based calculus of events
New Generation Computing
Denotational semantics for agent communication language
Proceedings of the fifth international conference on Autonomous agents
Operational specification of a commitment-based agent communication language
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
An analysis of agent speech acts as institutional actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Extending Answer Sets for Logic Programming Agents
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
Specifying electronic societies with the causal calculator
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
Meeting the deadline: why, when and how
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Journal of Biomedical Informatics
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
Specifying and Reasoning About Multiple Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Specification and Verification of Institutions Through Status Functions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
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
Automatic music composition using answer set programming
Theory and Practice of Logic Programming
ASTREA: answer sets for a trusted reasoning environment for agents
Logic programming, knowledge representation, and nonmonotonic reasoning
| Hi-index | 0.00 |
In this paper we discuss the use of the Answer Set Programming paradigm for representing and analysing specifications of agent-based institutions. We outline the features of institutions we model, and describe how they are translated into ASP programs which can then be used to verify properties of the specifications. We demonstrate the effectiveness of this approach through the institutions of property and exchange.