Paulo Pinheiro da Silva

Knowledge Systems, AI Laboratory
Stanford University

Paulo Pinheiro da Silva
Assistant Professor in Computer Science at The University of Texas at El Paso
(Former Postdoctoral Fellow at Stanford/KSL)

Computer Science Department
Computer Science Building, Room 222B
The University of Texas at El Paso
El Paso, TX
Phone: (915) 747-6373
Fax: (915) 747-5030
Email: paulo at utep dot edu
http://www.cs.utep.edu/paulo (current webpage)

I am a co-technical leader of the Inference Web (IW) project, which aims to provide infrastructure for explaining answers from software systems. Inference Web is sponsored by a number of DARPA and ARDA projects.

Publications:

Selected:

Paulo Pinheiro da Silva, Deborah L. McGuinness and Richard Fikes. A Proof Markup Language for Semantic Web Services. Information Systems 31(4-5): 381-395, 2006. (PDF)
Deborah L. McGuinness and Paulo Pinheiro da Silva. Explaining Answers from the Semantic Web: The Inference Web Approach. Journal of Web Semantics, Vol. 1 No. 4, October 2004, pages 397-413. (PDF)
Paulo Pinheiro da Silva, Deborah L. McGuinness and Rob McCool. Knowledge Provenance Infrastructure. IEEE Data Engineering Bulletin. Vol. 26 No. 4, pages 26-32, December 2003. (PDF)
Paulo Pinheiro da Silva and Norman W. Paton. User Interface Modeling in UMLi. IEEE Software, Vol.20 No. 4, July/August 2003, pages 62-69. (PDF)

Full list by year
Full list by category
Ful list by topic
My entry in DBLP. (Thanks to Michael Ley)

Inference Web - Explanations for the Semantic Web (or understanding answers in the Web)

ARDA AQUAINT - Question answering against large heterogeneous collections of information such as the Web
ARDA NIMD - Novel Intelligence from Massive Data
DARPA CALO - Cognitive Agent that Learns and Observes
DARPA DAML - A language and tools for the Semantic Web
DARPA Explainable Knowledge Aggregation
DARPA RKF - Support for subject matter experts to perform Rapid Knowledge Formation

UMLi - User interface design in UML

Personal information (with photos)

Created on April 19, 1997.
Last updated on May 28, 2006.