Reasoning about knowledge using defeasible logic

Reasoning about knowledge using defeasible logic