Luca Console, Attilio Giordana, Lorenza Saitta. Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Volume 542 of Lecture Notes in Computer Science, pages 316-325, Springer, 1991.
@inproceedings{ConsoleGS91,
title = {Investigating the Relationships between Abduction and Inverse Resolution in Proposition Calculus},
author = {Luca Console and Attilio Giordana and Lorenza Saitta},
year = {1991},
researchr = {https://researchr.org/publication/ConsoleGS91},
cites = {0},
citedby = {0},
pages = {316-325},
booktitle = {Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
editor = {Zbigniew W. Ras and Maria Zemankova},
volume = {542},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54563-8},
}