Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli. Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale, 5(1):145-149, 2011. [doi]
@article{MascardiDM11, title = {Some applications of Computational Logic to the development of intelligent systems and verification methods}, author = {Viviana Mascardi and Giorgio Delzanno and Maurizio Martelli}, year = {2011}, doi = {10.3233/IA-2011-0018}, url = {http://dx.doi.org/10.3233/IA-2011-0018}, tags = {logic}, researchr = {https://researchr.org/publication/MascardiDM11}, cites = {0}, citedby = {0}, journal = {Intelligenza Artificiale}, volume = {5}, number = {1}, pages = {145-149}, }