Sandro Bologna, Eyvind Ness, Terje Sivertsen. Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need. In Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990. pages 86-95, IEEE, 1990. [doi]
@inproceedings{BolognaNS90,
title = {Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need},
author = {Sandro Bologna and Eyvind Ness and Terje Sivertsen},
year = {1990},
doi = {10.1109/TAI.1990.130315},
url = {http://dx.doi.org/10.1109/TAI.1990.130315},
researchr = {https://researchr.org/publication/BolognaNS90},
cites = {0},
citedby = {0},
pages = {86-95},
booktitle = {Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990},
publisher = {IEEE},
isbn = {0-8186-2084-6},
}