Efficient defeasible reasoning systems.

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

Published in: ICTAI (2000)

Keyphrases

reasoning systems
knowledge representation and reasoning
description logics
automated reasoning
diagnostic reasoning
data sets
default logic
legal reasoning