Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A study of accrual of arguments, with applications to evidential reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
Constraint rule-based programming of norms for electronic institutions
Autonomous Agents and Multi-Agent Systems
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
Normative conflict resolution in multi-agent systems
Autonomous Agents and Multi-Agent Systems
Norm Modifications in Defeasible Logic
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Argumentation Using Temporal Knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The complexity of temporal constraint satisfaction problems
Journal of the ACM (JACM)
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
A Common Computational Framework for Semiring-based Argumentation Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Modal and temporal argumentation networks
Time for verification
Hi-index | 0.00 |
This paper proposes to integrate an argumentation framework with techniques from Temporal Constraint Satisfaction. Temporal constraints are thus embedded into legal argumentation to account for temporal aspects of legal reasoning. Through the accommodation of temporal constraints, the validity of arguments and of their conclusions is made relative to the time-points when the applied norms are alive, according to the adopted temporal perspective. A fixed-point semantics and an associated dialogue game are given.