Infrastructure for Web Explanations

This publication has 4 references indexed in Scilit:

• Why and Where: A Characterization of Data Provenance
  Published by Springer Nature ,2001
• The Boyer-Moore theorem prover and its interactive enhancement
  Computers & Mathematics with Applications, 1995
• Reconstructing proofs at the assertion level
  Published by Springer Nature ,1994
• Explanations in knowledge systems: design for explainable expert systems
  IEEE Expert, 1991