A hybrid knowledge representation as a basis of requirement specification and reasoning

Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang. A hybrid knowledge representation as a basis of requirement specification and reasoning. In Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, TAI 1990, Herndon, VA, USA, November 6-9, 1990. pages 70-76, IEEE, 1990. [doi]

@inproceedings{TsaiWJ90,
  title = {A hybrid knowledge representation as a basis of requirement specification and reasoning},
  author = {Jeffrey J. P. Tsai and Thomas J. Weigert and Hung-Chin Jang},
  year = {1990},
  doi = {10.1109/TAI.1990.130312},
  url = {http://dx.doi.org/10.1109/TAI.1990.130312},
  researchr = {https://researchr.org/publication/TsaiWJ90},
  cites = {0},
  citedby = {0},
  pages = {70-76},
  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},
}