Hayes, P.

KSL-05-01

Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; Fikes, R.; & Deshwal, P. Towards Checking Hybrid Proofs. Technical Report, Knowledge Systems, AI Laboratory, Stanford University., 2005.

KSL-04-04

Pinheiro da Silva, P.; Hayes, P.; McGuinness, D. L.; & Fikes, R. PPDR: A Proof Protocol for Deductive Reasoning. Technical Report, Knowledge Systems Laboratory, Stanford University., 2004, 2004.

KSL-03-14

Fikes, R.; Hayes, P.; & Horrocks, I. OWL-QL - A Language for Deductive Query Answering on the Semantic Web. Knowledge Systems Laboratory, Stanford University, Stanford, CA, 2003.

KSL-02-05

Fikes, R.; Hayes, P.; & Horrocks, I. DQL - A Query Language for the Semantic Web. Knowledge Systems Laboratory, 2002.