Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira. Psychiatric Diagnosis from the Viewpoint of Computational Logic. In John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey, editors, Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Volume 1861 of Lecture Notes in Computer Science, pages 1362-1376, Springer, 2000. [doi]
@inproceedings{GartnerSTDP00,
title = {Psychiatric Diagnosis from the Viewpoint of Computational Logic},
author = {Joseph Gartner and Terrance Swift and Allen Tien and Carlos Viegas Damásio and Luís Moniz Pereira},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1861/18611362.htm},
tags = {logic},
researchr = {https://researchr.org/publication/GartnerSTDP00},
cites = {0},
citedby = {0},
pages = {1362-1376},
booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings},
editor = {John W. Lloyd and Verónica Dahl and Ulrich Furbach and Manfred Kerber and Kung-Kiu Lau and Catuscia Palamidessi and Luís Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey},
volume = {1861},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67797-6},
}