Towards a general theory of action and time
Artificial Intelligence
Artificial Intelligence - Special issue on knowledge representation
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
The declarative representation and procedural simulation of causality in physical mechanisms
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Rule-based agents in temporalised defeasible logic
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Time and Defeasibility in FIPA ACL Semantics
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
A Java Implementation of Temporal Defeasible Logic
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
Temporal accommodation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
t-DeLP: a temporal extension of the defeasible logic programming argumentative framework
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
HARM: a hybrid rule-based agent reputation model based on temporal defeasible logic
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Extending a temporal defeasible argumentation framework with possibilistic weights
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A defeasible logic of intention
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with durative facts, as well as with delays between the antecedent and the consequent of rules. We showed that the extended temporalised framework is suitable to model different types of causal relations which have been identified by the specialised literature.We also prove that the computational properties of the original logic are still retained by the extended approach.