Explaining Results from Deductive Engines: The TPTP Environment
From Tetherless World Wiki
(Redirected from TPTP: Thousands of Problems for Theorem Provers)
\begin{bibtex} @INPROCEEDINGS{DBLP:conf/twc/Chang08,
author = {Cynthia Chang and Paulo Pinheiro da Silva and Deborah L. McGuinness and Geoff Sutcliffe },
title = {Explaining Results from Deductive Engines: The TPTP Environment},
booktitle = {Tetherless World Constellation Grand Opening},
volume = {Demo Program},
year = {2008},
type = {Demo},
topic = {Inference Web},
url = {http://browser.inference-web.org/tptppml/}
abstract = {}
} \end{bibtex}
|
Basic Metadata [ Edit ] | |
|---|---|
| Type | Demo |
| Name | Explaining Results from Deductive Engines: The TPTP Environment |
| When | 2008-06-11 |
| Is related to | TPTP-PML |
Facts about Explaining Results from Deductive Engines: The TPTP EnvironmentRDF feed
| DC:date | 11 June 2008 + |
| DC:relation | TPTP-PML + |
| FOAF:name | Explaining Results from Deductive Engines: The TPTP Environment + |
| Has presenter | Paulo Pinheiro da Silva +, and Cynthia Chang + |
| Needs | Table + |
