Isabel Gomes Barbosa

According to our database, Isabel Gomes Barbosa authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Extracting Case-based Answers from Closed Proof-trees.

Isabel Gomes Barbosa, Newton José Vieira

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010