August 30, 2012 Progression of Basic Action Theories in the Situation Calculus: 4 Results and an Application in...
August 30, 2012 Mechanism Design for Eliciting Costly Observations in Next Generation Citizen Sensor Networks