Belief, awareness, and limited reasoning
Artificial Intelligence
The logic of enactment (abstract)
Proceedings of the 6th international conference on Artificial intelligence and law
Legal decision making as dialectical theory construction with argumentation schemes
Proceedings of the 8th international conference on Artificial intelligence and law
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Deduction with Supernormal Defaults
Proceedings of the Second International Workshop on Nonmonotonic and Inductive Logic
Attributing mental attitudes to normative systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Permission and authorization in normative multiagent systems
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Role-based Architectural Modelling of Socio-Technical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
Mixing Legal and Non-legal Norms
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Visualizing trends in knowledge management
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
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
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Introducing exclusion logic as a deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
A norm-based organization management system
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Normative conflicts in electronic contracts
Electronic Commerce Research and Applications
Using exclusion logic to model social practices
Agents for games and simulations II
Understanding permissions through graphical norms
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
A paraconsistent multi-agent framework for dealing with normative conflicts
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
A distributed architecture for norm-aware agent societies
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Rule schemata for game artificial intelligence
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Permission and authorization in policies for virtual communities of agents
AP2PC'04 Proceedings of the Third international conference on Agents and Peer-to-Peer Computing
Graphical norms via conceptual graphs
Knowledge-Based Systems
Constitutive norms in the design of normative multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Open issues for normative multi-agent systems
AI Communications
A deontic logic semantics for licenses composition in the web of data
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
In this paper we discuss different types of permissions and their roles in deontic logic. We study the distinction between weak and strong permissions in the context of input/output logic, combining the logic with constraints, priorities and hierarchies of normative authorities. In this setting we observe that the notion of prohibition immunity no longer applies, and we introduce a new notion of permission as exception and a new distinction between static and dynamic norms. We show that strong permissions can dynamically change a normative system by adding exceptions to obligations, provide an explicit representation of what is permitted to the subjects of the normative system and allow higher level authorities to limit the changes that lower level authorities can do to the normative system.