Efficient Defeasible Reasoning Systems

  title={Efficient Defeasible Reasoning Systems},
  author={Michael J. Maher and A. Rock and G. Antoniou and D. Billington and Tristan Miller},
  journal={Int. J. Artif. Intell. Tools},
  • Michael J. Maher, A. Rock, +2 authors Tristan Miller
  • Published 2001
  • Computer Science
  • Int. J. Artif. Intell. Tools
  • For many years, the non-montonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic: a query answering system employing a backward-chaining approach, and a forward-chaining… CONTINUE READING
    78 Citations
    Embedding Defeasible Logic into Logic Programming
    • 30
    • PDF
    Embedding defeasible logic into logic programming
    • 66
    • PDF
    DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
    • 115
    • PDF
    Argumentation Semantics for Defeasible Logic
    • 255
    • PDF
    A grounder for SPINdle defeasible logic reasoner
    • 4
    • Highly Influenced
    A Non-Monotonic Reasoning System for RDF Metadata
    • PDF
    A Defeasible Logic for Clauses
    • D. Billington
    • Computer Science
    • Australasian Conference on Artificial Intelligence
    • 2011
    • 7
    • PDF
    Well-founded semantics for defeasible logic
    • 22
    • Highly Influenced


    Normal Forms for Defeasible Logic
    • 36
    • PDF
    A modular translation from defeasible nets to defeasible logics
    • 31
    A Study of Provability in Defeasible Logic
    • 27
    Defeasible Logic is Stable
    • 128
    • PDF
    Propositional Plausible Logic: Introduction and Implementation
    • 42
    • PDF
    Defeasible Logic versus Logic Programming without Negation as Failure
    • 101
    • PDF
    A Semantic Decomposition of Defeasible Logics
    • 63
    • PDF
    Argument-Based Extended Logic Programming with Defeasible Priorities
    • 671
    A Survey of Complexity Results for Nonmonotonic Logics
    • 156
    Propositional Defeasible Logic has Linear Complexity
    • 164
    • PDF