Pinheiro, V.

Pinheiro, V.



Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]

KSL-07-06
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.

KSL-06-13
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.

KSL-05-02
Pinheiro, V.; Furtado, V.; Pinheiro da Silva, P.; McGuinness, D. L. Explaining Problem Solver Answers. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.


Jump to... [KSL] [SMI] [Reports by Author] [Reports by KSL Number] [Reports by Year]