@inproceedings{knight-rabideau-lenda-et-al-ISAIRAS-2012,
	title        = {A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations},
	author       = {R. Knight and G. Rabideau and M. Lenda and P. Maldague},
	year         = 2012,
	month        = {September},
	booktitle    = {International Symposium on Artificial Intelligence, Robotics, and Automation for Space (ISAIRAS 2012)},
	address      = {Turin, Italy},
	url          = {https://ai.jpl.nasa.gov/public/papers/knight-isairas2012-comparison.pdf},
	clearance    = {CL\#12-2851},
	project      = {rover}
}

{"_id":"szZth8e6evrLrZiKs","bibbaseid":"knight-rabideau-lenda-maldague-acomparisonofdeclarativeandhybriddeclarativeproceduralmodelsforroveroperations-2012","author_short":["Knight, R.","Rabideau, G.","Lenda, M.","Maldague, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations","author":[{"firstnames":["R."],"propositions":[],"lastnames":["Knight"],"suffixes":[]},{"firstnames":["G."],"propositions":[],"lastnames":["Rabideau"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Lenda"],"suffixes":[]},{"firstnames":["P."],"propositions":[],"lastnames":["Maldague"],"suffixes":[]}],"year":"2012","month":"September","booktitle":"International Symposium on Artificial Intelligence, Robotics, and Automation for Space (ISAIRAS 2012)","address":"Turin, Italy","url":"https://ai.jpl.nasa.gov/public/papers/knight-isairas2012-comparison.pdf","clearance":"CL#12-2851","project":"rover","bibtex":"@inproceedings{knight-rabideau-lenda-et-al-ISAIRAS-2012,\n\ttitle = {A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations},\n\tauthor = {R. Knight and G. Rabideau and M. Lenda and P. Maldague},\n\tyear = 2012,\n\tmonth = {September},\n\tbooktitle = {International Symposium on Artificial Intelligence, Robotics, and Automation for Space (ISAIRAS 2012)},\n\taddress = {Turin, Italy},\n\turl = {https://ai.jpl.nasa.gov/public/papers/knight-isairas2012-comparison.pdf},\n\tclearance = {CL\\#12-2851},\n\tproject = {rover}\n}\n","author_short":["Knight, R.","Rabideau, G.","Lenda, M.","Maldague, P."],"key":"knight-rabideau-lenda-et-al-ISAIRAS-2012","id":"knight-rabideau-lenda-et-al-ISAIRAS-2012","bibbaseid":"knight-rabideau-lenda-maldague-acomparisonofdeclarativeandhybriddeclarativeproceduralmodelsforroveroperations-2012","role":"author","urls":{"Paper":"https://ai.jpl.nasa.gov/public/papers/knight-isairas2012-comparison.pdf"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/pG3rqgMjQD7YDK9mR","dataSources":["fFKv7kkLuCZPtfsiH","QvdbtaigAhR3B2gH3","iio6zGurPy7pYDJ9F","7GgPNiWYdtt4b5kSC","NB9ixES8hSEaR9Gwy","otDTeas5CXZSvBqHe","nAFgNmfG8PMQcD23r","RWAD52BGFcfgL6j7S"],"keywords":[],"search_terms":["comparison","declarative","hybrid","declarative","procedural","models","rover","operations","knight","rabideau","lenda","maldague"],"title":"A Comparison of Declarative and Hybrid Declarative-Procedural Models for Rover Operations","year":2012,"downloads":3}