Logic programs with classical negation
Logic programming
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Foundations of logic programming
Principles of knowledge representation
Preferred answer sets for extended logic programs
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
Efficient defeasible reasoning systems
ICTAI '00 Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Ambiguity propagating defeasible logic and the well-founded semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
We investigate in this paper the relationship between an ambiguity propagating defeasible logic recently proposed by Antoniou et al. [3] and well-founded semantics with priorities [6] under a straightforward translation from defeasible theories to extended logic programs. It turns out that a slightly restricted version of defeasible logic is correct wrt well-founded semantics yet incomplete. We also investigate the sources of the incompleteness and argue that the additional conclusions obtained by prioritized well-founded semantics are indeed desired.