Carvalho, J.
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.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]