On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic

Authors:
Ho-Pun Lam;Guido Governatori
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia and NICTA, Queensland Research Laboratory, Brisbane, Australia;NICTA, Queensland Research Laboratory, Brisbane, Australia
Venue:
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Year:
2010

Citing 13
Cited 2

The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Defeasible logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Representation results for defeasible logic

ACM Transactions on Computational Logic (TOCL)
A Flexible Framework for Defeasible Logics

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Formalizing defeasible logic in CAKE

Fundamenta Informaticae
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

IEEE Transactions on Knowledge and Data Engineering
Propositional Clausal Defeasible Logic

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A model-theoretic counterpart of loop formulas

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The Making of SPINdle

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Defeasible logic

INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

International Symposium on Symbolic and Algebraic Computation

What are the necessity rules in defeasible reasoning?

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On the relationship between Carneades and Defeasible Logic

Proceedings of the 13th International Conference on Artificial Intelligence and Law

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present the well founded variants of ambiguity blocking and ambiguity propagating defeasible logics. We also show how to extend SPINdle, a state of the art, defeasible logic implementation to handle all such variants of defeasible logic.