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