Meeting the deadline: why, when and how

Authors:
Frank Dignum;Jan Broersen;Virginia Dignum;John-Jules Meyer
Affiliations:
Institute of Information and Computing Sciences, Utrecht University;Institute of Information and Computing Sciences, Utrecht University;Institute of Information and Computing Sciences, Utrecht University;Institute of Information and Computing Sciences, Utrecht University
Venue:
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Year:
2004

Citing 6
Cited 25

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
Dynamic business models as a basis for interoperable transaction design

Information Systems - Special issue: advanced information systems engineering
Verification Tools for Finite-State Concurrent Systems

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Obligations and Dense Time for Specifying Deadlines

HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5

Implementing norms in electronic institutions

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Modeling conversation policies using permissions and obligations

Autonomous Agents and Multi-Agent Systems
Organizational structure and responsibility: an analysis in a dynamic logic of organized collective agency

Artificial Intelligence and Law
From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents

Autonomous Agents and Multi-Agent Systems
From human regulations to regulated software agents' behavior

Artificial Intelligence and Law
Artificial institutions: a model of institutional reality for open multiagent systems

Artificial Intelligence and Law
Operationalisation of Norms for Electronic Institutions

Coordination, Organizations, Institutions, and Norms in Agent Systems II
Obligations with Deadlines and Maintained Interdictions in Privacy Regulation Frameworks

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A Context-Based Institutional Normative Environment

Coordination, Organizations, Institutions and Norms in Agent Systems IV
Legal Theory, Sources of Law and the Semantic Web

Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Addressing Temporal Aspects of Privacy-Related Norms

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Programming Normative Artifacts with Declarative Obligations and Prohibitions

WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
A contract model for electronic institutions

COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Implementing norms that govern non-dialogical actions

COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
From norms to interaction patterns: deriving protocols for agent institutions

ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A dyadic operator for the gradation of desirability

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Towards a logical model of social agreement for agent societies

COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Normative monitoring: semantics and implementation

COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Making golog norm compliant

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Contract-Related agents

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Specifying and analysing agent-based social institutions using answer set programming

AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated 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
Temporal deontic logic for the generalised chisholm set of contrary to duty obligations

DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Reasoning about normative update

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper defines a possible semantics for deadline obligations. Also, we make explicit several choices to be made in defining the semantics of deadline obligations. We characterize deontic deadline operators in CTL, minimally extended with propositional violation constants. The advantage of this reduction approach is that formal reasoning can be performed in CTL.