A logical framework for modelling legal argument
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
On the Representation of Context
Journal of Logic, Language and Information
Two Formalizations of Context: A Comparison
CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Agents, Markets, Institutions, and Protocols
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
The Semantics of Propositional Contexts
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Propositional logic of context
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Norm compliance of protocols in electronic institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Autonomous Agents and Multi-Agent Systems
Modal logic investigations in the semantics of counts-as
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A Context-Based Institutional Normative Environment
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
OMNI: introducing social structure, norms and ontologies into agent organizations
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Designing normative behaviour via landmarks
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Verifying norm compliancy of protocols
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Hi-index | 0.00 |
Norms specifying constraints over institutions are stated in such a form that allows them to regulate a wide range of situations over time without need for modification. To guarantee this stability, the formulation of norms need to abstract from a variety of concrete aspects, which are instead relevant for the actual operationalization of institutions. If agent institutions are to be built, which comply with a set of abstract requirements, how can those requirements be translated in more concrete constraints the impact of which can be described directly in the institution? In this work we make use of logical methods in order to provide a formal characterization of the translation rules that operate the connection between abstract and concrete norms. On the basis of this characterization, a comprehensive formalization of the notion of institution is also provided.