Extracting Case-based Answers from Closed Proof-trees

Isabel Gomes Barbosa, Newton José Vieira. Extracting Case-based Answers from Closed Proof-trees. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp, editors, ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010. pages 377-384, INSTICC Press, 2010.

Authors

Isabel Gomes Barbosa

This author has not been identified. Look up 'Isabel Gomes Barbosa' in Google

Newton José Vieira

This author has not been identified. Look up 'Newton José Vieira' in Google