A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations. Knight, R., Rabideau, G., Lenda, M., & Maldague, P. In International Symposium on Artificial Intelligence, Robotics, and Automation for Space (ISAIRAS 2012), Turin, Italy, September, 2012.
A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations [pdf]Paper  bibtex   3 downloads  

Downloads: 3