View publications View presentations Thesis Defense - March 29, 2013 "Furthering the Continuous-Change Event Calculus: Providing for Efficient Description of Additive Effects and an Automated Reasoner"