MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Pushing Anderson's Envelope: The Modal Logic of Ascription
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
`What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
Computational Logic in Multi-Agent Systems
Conditional Norms and Dyadic Obligations in Time
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Specifying electronic societies with the causal calculator
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Strategic deontic temporal logic as a reduction to ATL, with an application to chisholm's scenario
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A game theoretic approach to contracts in multiagent systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Deontic redundancy: a fundamental challenge for deontic logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
OWL-POLAR: semantic policies for agent reasoning
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
OWL-POLAR: A framework for semantic policy representation and reasoning
Web Semantics: Science, Services and Agents on the World Wide Web
The refinement of choreographed multi-agent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Ten problems of deontic logic and normative reasoning in computer science
ESSLLI'10 Proceedings of the 2010 conference on ESSLLI 2010, and ESSLLI 2011 conference on Lectures on Logic and Computation
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Reasoning about normative update
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
Reasoning about norms and time is of central concern to the regulation or control of the behavior of a multi-agent system. In earlier work we introduce a representation of normative systems that distinguishes between norms and the detached obligations of agents over time. In this paper we consider constitutive norms and the detached counts-as conditionals and institutional facts in this framework, we introduce deadlines in the regulative norms, and we consider the corresponding role of violations. We focus on the reasoning tasks to determine whether a constitutive or regulative norm is redundant in a normative system and whether two normative systems are equivalent. We distinguish counts-as equivalence, institutional equivalence, obligation equivalence and violation equivalence, depending on whether we are interested in all normative consequences, or only a subset of them. For the various notions of equivalence, we give sound and complete characterizations.