Efficient Defeasible Reasoning Systems.

Michael J. Maher Andrew Rock Grigoris Antoniou David Billington Tristan Miller

Published in: Int. J. Artif. Intell. Tools (2001)

Keyphrases

reasoning systems
automated reasoning
knowledge representation and reasoning
database
description logics
computationally expensive
data sets
defeasible logic