On Semantic Resolution with Lemmaizing and Contraction

Maria Paola Bonacina, Jieh Hsiang. On Semantic Resolution with Lemmaizing and Contraction. In Norman Y. Foo, Randy Goebel, editors, PRICAI 96: Topics in Artificial Intelligence, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996, Proceedings. Volume 1114 of Lecture Notes in Computer Science, pages 372-386, Springer, 1996.

Authors

Maria Paola Bonacina

This author has not been identified. Look up 'Maria Paola Bonacina' in Google

Jieh Hsiang

This author has not been identified. Look up 'Jieh Hsiang' in Google