Event calculus to support temporal reasoning in a clinical domain

Geetha Abeysinghe. Event calculus to support temporal reasoning in a clinical domain. PhD thesis, University of Southampton, UK, 1993. [doi]

Abstract

Abstract is missing.