Efficient Defeasible Reasoning Systems

@article{Maher2001EfficientDR,
  title={Efficient Defeasible Reasoning Systems},
  author={Michael J. Maher and Andrew Rock and Grigoris Antoniou and David Billington and Tristan Miller},
  journal={International Journal on Artificial Intelligence Tools},
  year={2001},
  volume={10},
  pages={483-501}
}
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

Citations

Publications citing this paper.
SHOWING 1-10 OF 104 CITATIONS, ESTIMATED 87% COVERAGE

Deimos: Query answering defeasible logic system

VIEW 15 EXCERPTS
CITES BACKGROUND & METHODS

A grounder for SPINdle defeasible logic reasoner

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Description Plausible Logic Programs for Stream Reasoning

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Plausible Description Logic Programs for Stream Reasoning

  • Future Internet
  • 2012
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A review of current defeasible reasoning implementations

  • Knowledge Eng. Review
  • 2008
VIEW 23 EXCERPTS
CITES METHODS, BACKGROUND & RESULTS
HIGHLY INFLUENCED

DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web

  • IEEE Transactions on Knowledge and Data Engineering
  • 2007
VIEW 13 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS

A Semantic Web Based Architecture for e-Contracts in Defeasible Logic

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2000
2019

CITATION STATISTICS

  • 11 Highly Influenced Citations