User Interfaces for Portable Proofs +,
Presenting TSTP Proofs with Inference Web Tools +,
Semantic Provenance for Image Data Processing +,
…
Author
Image:IMG 6940.jpg + DC:relation
Rui Huang + Foaf:knows
A proof markup language for Semantic Web services +,
Explaining Answers from the Semantic Web: the Inference Web Approach +,
Towards Explaining Semantic Matching +,
…
Has author
Paulo Pinheiro da Silva + Has identifier
TPTP-PML + Has member
tw:TW Meeting, 2008-06-27 + Has participant
Explaining Results from Deductive Engines: The TPTP Environment + Has presenter
SPCDIS (Project) + Participant
| Paulo Pinheiro da Silva |
Foaf:firstName
Paulo
Foaf:name
Paulo_Pinheiro_da Silva
Foaf:surname
Silva
MiddleName
Pinheiro
Foaf:depiction
Anonymous.png +
Has identifier
Paulo Pinheiro da Silva +
Categories Person +
|
