]> 2012-02-10T17:14:21-05:00 Explaining Results from Deductive Engines: The TPTP Environment 2008-06-11T00:00:00 Explaining Results from Deductive Engines: The TPTP Environment Demo Program, 2008 Explaining Results from Deductive Engines: The TPTP Environment Tetherless World Constellation Grand Opening 2008 Table Needs Has year Has where published Has url Inference Web Has topic Has title Has publishing details Has presenter Has identifier Geoff Sutcliffe Deborah L. McGuinness Paulo Pinheiro da Silva Cynthia Chang Has author FOAF:name TPTP-PML DC:relation DC:date Demo