20th International FLAIRS Conference (FLAIRS-20)


Displaying 1 - 1 of 1

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.