Explaining Results from Deductive Engines: The TPTP Environment
No Thumbnail Available
Authors
Chang, C.
Pinheiro, Paulo
McGuinness, Deborah L.
Sutcliffe, G
Issue Date
2008-06-11
Type
Article
Language
Keywords
Alternative Title
Abstract
Description
Full Citation
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).