Artur S. d Avila Garcez, Luís C. Lamb, Dov M. Gabbay. Neural-Symbolic Intuitionistic Reasoning. In Ajith Abraham, Mario Köppen, Katrin Franke, editors, Design and Application of Hybrid Intelligent Systems, HIS03, the Third International Conference on Hybrid Intelligent Systems, Melbourne, Australia, December 14-17, 2003. Volume 105 of Frontiers in Artificial Intelligence and Applications, pages 399-408, IOS Press, 2003.
@inproceedings{GarcezLG03,
title = {Neural-Symbolic Intuitionistic Reasoning},
author = {Artur S. d Avila Garcez and Luís C. Lamb and Dov M. Gabbay},
year = {2003},
tags = {C++},
researchr = {https://researchr.org/publication/GarcezLG03},
cites = {0},
citedby = {0},
pages = {399-408},
booktitle = {Design and Application of Hybrid Intelligent Systems, HIS03, the Third International Conference on Hybrid Intelligent Systems, Melbourne, Australia, December 14-17, 2003},
editor = {Ajith Abraham and Mario Köppen and Katrin Franke},
volume = {105},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {1-58603-394-8},
}