Ndedi D. Monekosso, Paolo Remagnino. Automated Reasoning On-Board Autonomous Spacecraft. In Maurizio Lenzerini, editor, AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Volume 1321 of Lecture Notes in Computer Science, pages 290-301, Springer, 1997.
@inproceedings{MonekossoR97, title = {Automated Reasoning On-Board Autonomous Spacecraft}, author = {Ndedi D. Monekosso and Paolo Remagnino}, year = {1997}, researchr = {https://researchr.org/publication/MonekossoR97}, cites = {0}, citedby = {0}, pages = {290-301}, booktitle = {AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings}, editor = {Maurizio Lenzerini}, volume = {1321}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63576-9}, }