Efficient defeasible reasoning systems

@article{Maher2000EfficientDR,
  title={Efficient defeasible reasoning systems},
  author={Michael J. Maher and Andrew Rock and G. Antoniou and D. Billington and Tristan Miller},
  journal={Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000},
  year={2000},
  pages={384-392}
}
For many years, the non-monotonic 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… Expand
79 Citations
Relating Defeasible Logic to Extended Logic Programs
  • 1
Embedding Defeasible Logic into Logic Programs
  • 17
  • PDF
Propositional Clausal Defeasible Logic
  • 23
  • PDF
Relating Defeasible and Default Logic
  • 6
Defeasible logic with dynamic priorities
  • 3
Defeasible logic with dynamic priorities
  • 11
  • PDF
Combining Description Logic and Defeasible Logic for the Semantic Web
  • 48
A System for Nonmonotonic Rules on the Web
  • 21
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 52 REFERENCES
Normal Forms for Defeasible Logic
  • 36
  • PDF
A Study of Provability in Defeasible Logic
  • 27
A modular translation from defeasible nets to defeasible logics
  • 31
Defeasible Logic is Stable
  • 130
A Semantic Decomposition of Defeasible Logics
  • 63
  • PDF
Propositional Plausible Logic: Introduction and Implementation
  • 42
  • PDF
Representation results for defeasible logic
  • 350
  • PDF
Defeasible Logic versus Logic Programming without Negation as Failure
  • 101
  • PDF
...
1
2
3
4
5
...