Bureaucracies as deontic systems
ACM Transactions on Information Systems (TOIS)
Artificial Intelligence
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Formal Specification of Security Requirements using the Theory of Normative Positions
ESORICS '92 Proceedings of the Second European Symposium on Research in Computer Security
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Algebras for Agent Norm-Regulation
Annals of Mathematics and Artificial Intelligence
An operational approach to norms in artificial institutions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A rule-based approach to norm-oriented programming of electronic institutions
ACM SIGecom Exchanges
Norm-oriented programming of electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
Distributed norm management in regulated multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Operational semantics of multiagent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Temporal Logics for Representing Agent Communication Protocols
Agent Communication II
Norm-Oriented Programming of Electronic Institutions: A Rule-Based Approach
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Norm Conflicts and Inconsistencies in Virtual Organisations
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Managing Conflict Resolution in Norm-Regulated Environments
Engineering Societies in the Agents World VIII
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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
An algorithm for conflict resolution in regulated compound activities
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Conflict resolution in norm-regulated environments via unification and constraints
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A distributed architecture for norm management in multi-agent systems
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
A multiagent network for peer norm enforcement
Autonomous Agents and Multi-Agent Systems
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
Sequences, obligations, and the contrary-to-duty paradox
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
The scientific contribution of marek sergot
Logic Programs, Norms and Action
Deon+: abduction and constraints for normative reasoning
Logic Programs, Norms and Action
Open issues for normative multi-agent systems
AI Communications
On the Representation of Action and Agency in the Theory of Normative Positions
Fundamenta Informaticae - Deontic Logic in Computer Science
Compliance with normative systems
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
| Hi-index | 0.00 |
The Kanger-Lindahl theory of normative positions attempts to use a combination of deontic logic (the logic of obligation and permission) and a logic of action/agency to give a formal account of obligations, duties, rights, and other complex normative concepts. This paper presents a generalization and further development of this theory, together with methods for its automation and application to practical examples. The resulting theory is intended to be applied in the representation and analysis of laws, regulations, and contracts, in the specification of aspects of computer systems, in multiagent systems, and as a contribution to the formal theory of organizations. Particular attention is paid to representations at varying levels of detail and the relationships that hold between them. The last part presents Norman-G, an automated support system intended to facilitate application of the theory to the analysis of practical problems, with a small example to illustrate its use.