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.
Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D.L.
WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-based Systems.
The 18th International Conference on Software Engineering and Knowledge Engineering
2006.
Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D. L. Explaining Problem Solver Answers. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.