Konolige

• A Deduction Model of Belief (Research notes in artificial intelligence)
• Nonmonotoric Reasoning