Representation results for defeasible logic

  title={Representation results for defeasible logic},
  author={G. Antoniou and D. Billington and G. Governatori and Michael J. Maher},
  journal={ACM Trans. Comput. Log.},
  • G. Antoniou, D. Billington, +1 author Michael J. Maher
  • Published 2001
  • Computer Science, Mathematics
  • ACM Trans. Comput. Log.
  • The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism for nonmonotonic reasoning based on rules and priorities. The transformations described in this paper have two main benefits: on one hand they can be used as a theoretical tool that leads to a deeper understanding of the formalism, and on the… CONTINUE READING
    350 Citations
    On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
    • 2
    • PDF
    Temporal Extensions to Defeasible Logic
    • 30
    • PDF
    Formalizing Defeasible Logic in CAKE
    • 3
    • PDF
    An inclusion theorem for defeasible logics
    • 37
    • PDF
    Defeasible logic with dynamic priorities
    • 11
    • PDF
    Defeasible logic with dynamic priorities
    • 3
    A Model-Theoretic Semantics for Defeasible Logic
    • Michael J. Maher
    • Computer Science, Mathematics
    • Paraconsistent Computational Logic
    • 2002
    • 48
    • PDF
    Argumentation Semantics for Defeasible Logics
    • 55
    • PDF
    Defeasible reasoning: A discussion of some intuitions
    • G. Antoniou
    • Mathematics, Computer Science
    • Int. J. Intell. Syst.
    • 2006
    • 7


    Transformation of Logic Programs: Foundations and Techniques
    • 243
    • Highly Influential
    Defeasible Reasoning
    • 626
    • Highly Influential
    • PDF
    A Machine-Oriented Logic Based on the Resolution Principle
    • 4,220
    • Highly Influential
    • PDF
    Towards a Declarative Language for Negotiating Executable Contracts, Proceedings of the AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99)
    • 1999