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