ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Fulfilling or Violating Obligations in Normative Multiagent Systems
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Distributed norm management in regulated multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Introduction to the special issue on normative multiagent systems
Autonomous Agents and Multi-Agent Systems
Ubi Lex, Ibi Poena: Designing Norm Enforcement in E-Institutions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Conditional Norms and Dyadic Obligations in Time
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Adaptation of autonomic electronic institutions through norms and institutional agents
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Deontics = betterness + priority
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
From organisation specification to normative programming in multi-agent organisations
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Hi-index | 0.00 |
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of the concept of legal compliance. In particular, the formal characterisation of compliance can handle different types of legal obligation and different temporal constraints over them. The logic is also able to represent, and reason about, chains of reparative obligations, since in many cases the fulfillment of these types of obligation still amount to legally acceptable situations.