Now showing items 1-1 of 1

    • Abstracting Web Agent Proofs into Human-Level Justifications 

      Furtado, Vasco; Pinheiro, Paulo; McGuinness, Deborah L.; Deshwal, Priyendra; Narayanan, Dhyanesh; Carvalho, Juliana; Pinheiro, Vladia; Chang, Cynthia (2007-05-07)
      Information supporting answer explanations are derived from proofs. One of the difficulties for humans to understand web agent proofs is that the proofs are typically described at the machine-level. In this paper, we ...