On obligation, time, and defeasibility in systems for electronic commerce
Steven Orla Kimbrough, Scott A. Moore · 2002
A logical system is proposed for storing and reasoning about business messages. This system is envisioned to have mechanisms for reasoning defeasibly, reasoning about time, and reasoning about obligation. The authors describe how these capabilities allow the asking of questions that could otherwise not be asked about a message database. Further research opportunities are described.>