Explaining Results from Deductive Engines: The TPTP Environment
Chang, C.; Pinheiro, Paulo; McGuinness, Deborah L.; Sutcliffe, G
Attribution-NonCommercial-NoDerivs 3.0 United States
Chang, C., Pinheiro da Silva, P., McGuinness, D.L., and Sutcliffe, G. 2008. Explaining Results from Deductive Engines: The TPTP Environment. In Proceedings of Tetherless World Constellation Grand Opening (June 11 2008).