Towards a general theory of action and time
Artificial Intelligence
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
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
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 semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
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
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
Hi-index | 0.00 |
In this paper we report on a Java implementation of a variant of Temporal Defeasible Logic, an extension of Defeasible Logic developed to capture the concept of temporal persistence. The system consists of three elements: a graphical user interface for selecting defeasible theories, and for visualizing conclusions; a parser, which translates sets of rules in TXT or RuleML formats; and the inference engine to compute conclusions.