Furtado, V.; Pinheiro da Silva, P.; McGuinness, D.L.; Deshwal, P.; Narayanan, D.; Carvalho, J.; Pinheiro, V.; Chang, C.
Abstracting Web Agent Proofs into Human-Level Justifications.
Proceedings of the 20th International FLAIRS Conference (FLAIRS-20),
Key West, Florida,
May 7-9,
2007.