Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (Теза). University of Edinburgh. hdl:1842/8115. EThOSuk.bl.ethos.586181.
Hayes, P.; Eskridge, T. C.; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). „Collaborative knowledge capture in ontologies”. Proceedings of the 3rd international conference on Knowledge capture - K-CAP '05. стр. 99. ISBN978-1595931634. S2CID15663316. doi:10.1145/1088622.1088641.
Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Porter, B.; Chaudhri, V.; Rodriguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). „Knowledge entry as the graphical assembly of components”. Proceedings of the international conference on Knowledge capture - K-CAP 2001. стр. 22. CiteSeerX10.1.1.24.9465. ISBN978-1581133806. S2CID663883. doi:10.1145/500737.500745.
Carroll, J. J.; Bizer, C.; Hayes, P.; Stickler, P. (2005). „Named graphs”. Web Semantics: Science, Services and Agents on the World Wide Web. 3 (4): 247. doi:10.1016/j.websem.2005.09.001.
Jensen, C. S.; Dyreson, C. E.; Böhlen, M.; Clifford, J.; Elmasri, R.; Gadia, S. K.; Grandi, F.; Hayes, P.; Jajodia, S.; Käfer, W.; Kline, N.; Lorentzos, N.; Mitsopoulos, Y.; Montanari, A.; Nonen, D.; Peressi, E.; Pernici, B.; Roddick, J. F.; Sarda, N. L.; Scalas, M. R.; Segev, A.; Snodgrass, R. T.; Soo, M. D.; Tansel, A.; Tiberio, P.; Wiederhold, G. (1998). „The consensus glossary of temporal database concepts — February 1998 version”. Temporal Databases: Research and Practice. Lecture Notes in Computer Science. 1399. стр. 367. ISBN978-3-540-64519-1. doi:10.1007/BFb0053710.
Fikes, R.; Hayes, P.; Horrocks, I. (2004). „OWL-QL—a language for deductive query answering on the Semantic Web”. Web Semantics: Science, Services and Agents on the World Wide Web. 2: 19—29. CiteSeerX10.1.1.67.1967. doi:10.1016/j.websem.2004.07.002.
handle.net
hdl.handle.net
Hayes, Patrick J. (1973). „Semantic trees: New foundations for automatic theorem-proving” (на језику: енглески). Meltzer, Bernard. hdl:1842/8115.
Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (Теза). University of Edinburgh. hdl:1842/8115. EThOSuk.bl.ethos.586181.
ihmc.us
„Pat Hayes”. IHMC | Institute for Human & Machine Cognition. Приступљено 2019-01-30.
Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Porter, B.; Chaudhri, V.; Rodriguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). „Knowledge entry as the graphical assembly of components”. Proceedings of the international conference on Knowledge capture - K-CAP 2001. стр. 22. CiteSeerX10.1.1.24.9465. ISBN978-1581133806. S2CID663883. doi:10.1145/500737.500745.
Fikes, R.; Hayes, P.; Horrocks, I. (2004). „OWL-QL—a language for deductive query answering on the Semantic Web”. Web Semantics: Science, Services and Agents on the World Wide Web. 2: 19—29. CiteSeerX10.1.1.67.1967. doi:10.1016/j.websem.2004.07.002.
semanticscholar.org
api.semanticscholar.org
Hayes, P.; Eskridge, T. C.; Saavedra, R.; Reichherzer, T.; Mehrotra, M.; Bobrovnikoff, D. (2005). „Collaborative knowledge capture in ontologies”. Proceedings of the 3rd international conference on Knowledge capture - K-CAP '05. стр. 99. ISBN978-1595931634. S2CID15663316. doi:10.1145/1088622.1088641.
Hayes, Patrick J. (1973). „Semantic trees: New foundations for automatic theorem-proving” (на језику: енглески). Meltzer, Bernard. hdl:1842/8115.
Hayes, Patrick John (1975). Semantic trees: new foundations for automatic theorem proving (Теза). University of Edinburgh. hdl:1842/8115. EThOSuk.bl.ethos.586181.
Clark, P.; Hayes, P.; Reichherzer, T.; Thompson, J.; Barker, K.; Porter, B.; Chaudhri, V.; Rodriguez, A.; Thomere, J.; Mishra, S.; Gil, Y. (2001). „Knowledge entry as the graphical assembly of components”. Proceedings of the international conference on Knowledge capture - K-CAP 2001. стр. 22. CiteSeerX10.1.1.24.9465. ISBN978-1581133806. S2CID663883. doi:10.1145/500737.500745.
Fikes, R.; Hayes, P.; Horrocks, I. (2004). „OWL-QL—a language for deductive query answering on the Semantic Web”. Web Semantics: Science, Services and Agents on the World Wide Web. 2: 19—29. CiteSeerX10.1.1.67.1967. doi:10.1016/j.websem.2004.07.002.