Add to ORKGWe provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
none3In this paper we briefly present an efficient implementation of temporal defeasible logic, and ...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
The paper provides a conceptual analysis of deadlines, represented in Temporal Modal Defeasible Logi...
This paper considers the notion of deadlines in the context of continuous (dense) time. It shows tha...
none2noWe investigate the complexity of temporal defeasible logic, and propose an efficient algorith...
A normative system is defined as any set of interacting agents whose behavior can usefully be regard...
This paper considers the notion of deadlines in the context of continuous (dense) time. It shows tha...
We consider the notion of deadlines in the context of dense time. We show that obligations and actio...
Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these ...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
none3In this paper we briefly present an efficient implementation of temporal defeasible logic, and ...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
The paper provides a conceptual analysis of deadlines, represented in Temporal Modal Defeasible Logi...
This paper considers the notion of deadlines in the context of continuous (dense) time. It shows tha...
none2noWe investigate the complexity of temporal defeasible logic, and propose an efficient algorith...
A normative system is defined as any set of interacting agents whose behavior can usefully be regard...
This paper considers the notion of deadlines in the context of continuous (dense) time. It shows tha...
We consider the notion of deadlines in the context of dense time. We show that obligations and actio...
Basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these ...
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with ...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
none3In this paper we briefly present an efficient implementation of temporal defeasible logic, and ...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...