From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

PPDR - a proof protocol for deductive reasoning

P. da Silva, P. Hayes, D. Mcguinness, и R. Fikes. Knowledge Systems Laboratory, Stanford University, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

The Naive Physics ManifestoP. Hayes. Expert Systems in the Electronic Age, Edinburgh University Press, Edinburgh, Scotland, (1979)Irrelevance Reasoning In Knowledge Based SystemsA. Levy, R. Fikes, E. Feigenbaum, P. Hayes, N. Nilsson, и Y. Sagiv. (1993)Virtual Symposium on Virtual Mind.P. Hayes, S. Harnad, D. Perlis, и N. Block. Minds Mach., 2 (3): 217-238 (1992)Speaking informally...P. Hayes. K-CAP, стр. 1. ACM, (2005)Turing Test Considered Harmful.P. Hayes, и K. Ford. IJCAI (1), стр. 972-977. Morgan Kaufmann, (1995)Named graphs.J. Carroll, C. Bizer, P. Hayes, и P. Stickler. J. Web Semant., 3 (4): 247-267 (2005)Finite Models in RDF(S), with Datatypes.P. Patel-Schneider, и P. Hayes. ISWC (Posters & Demos), том 1035 из CEUR Workshop Proceedings, стр. 233-236. CEUR-WS.org, (2013)When owl: sameAs isn't the Same: An Analysis of Identity Links on the Semantic Web.H. Halpin, и P. Hayes. LDOW, том 628 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Bounding Ambiguity: Experiences with an Image Annotation System.M. Warren, и P. Hayes. SAD/CrowdBias@HCOMP, том 2276 из CEUR Workshop Proceedings, стр. 41-54. CEUR-WS.org, (2018)A Logical View of Types.P. Hayes, и G. Hendrix. Workshop on Data Abstraction, Databases and Conceptual Modelling, 11, стр. 128-130. ACM Press, (1980)