Follow
pat hayes
pat hayes
Senior Scientist, Florida Institute for Human and Machine Cognition (IHMC)
Verified email at ihmc.us - Homepage
Title
Cited by
Cited by
Year
Some Philosophical Problems from the Standpoint of Artificial Intelligence
J McCarthy, P Hayes
Machine Intelligence 4, 463--502, 1969
6254*1969
Named graphs, provenance and trust
JJ Carroll, C Bizer, P Hayes, P Stickler
Proceedings of the 14th international conference on World Wide Web, 613-622, 2005
8322005
OWL-QL—a language for deductive query answering on the Semantic Web
R Fikes, P Hayes, I Horrocks
Journal of Web Semantics 2 (1), 19-29, 2004
4722004
Defining n-ary relations on the semantic web
N Noy, A Rector, P Hayes, C Welty
W3C working group note 12 (4), 2006
4582006
A consensus glossary of temporal database concepts
CS Jensen, J Clifford, R Elmasri, SK Gadia, P Hayes, S Jajodia, ...
ACM Sigmod Record 23 (1), 52-64, 1994
4471994
Named graphs
JJ Carroll, C Bizer, P Hayes, P Stickler
Journal of Web Semantics 3 (4), 247-267, 2005
3292005
Machine intelligence
J McCarthy, P Hayes, B Meltzer, D Michie
2181969
Representation and reasoning for DAML-based policy and domain services in KAoS and Nomads
J Bradshaw, A Uszok, R Jeffers, N Suri, P Hayes, M Burstein, A Acquisti, ...
Proceedings of the second international joint conference on Autonomous …, 2003
2002003
Computation and deduction
PJ Hayes
1811972
Collaborative knowledge capture in ontologies
P Hayes, TC Eskridge, R Saavedra, T Reichherzer, M Mehrotra, ...
Proceedings of the 3rd international conference on Knowledge capture, 99-106, 2005
1232005
A catalog of temporal theories
P Hayes
Artificial Intelligence Technical Report UIUC-BI-AI-96-01, University of …, 1996
1181996
Knowledge entry as the graphical assembly of components
P Clark, J Thompson, K Barker, B Porter, V Chaudhri, A Rodriguez, ...
Proceedings of the 1st international conference on Knowledge capture, 22-29, 2001
1062001
Parallel logical inference and energy minimization
DH Ballard, PJ Hayes
Department of Computer Science, University of Rochester, 1986
1041986
Knowledge construction and sharing in quorum
AJ Cañas, KM Ford, J Brennan, T Reichherzer, P Hayes
Seventh World Conference on Artificial Intelligence in Education, Washington DC, 1995
891995
In defense of ambiguity
PJ Hayes, H Halpin
International Journal on Semantic Web and Information Systems (IJSWIS) 4 (2 …, 2008
832008
A daml ontology of time
JR Hobbs, G Ferguson, J Allen, P Hayes, I Niles, A Pease
762002
Formal theories of the commonsense world
P Hayes, J Hobbs, R Moore
681985
KAoS semantic policy and domain services: An application of DAML to Web services-based grid architectures
M Johnson, P Chang, R Jeffers, J Bradshaw, M Breedy, L Bunch, ...
Extending Web Services Technologies: The Use of Multi-Agent Approaches, 119-138, 2004
652004
Why Gödel's theorem cannot refute computationalism
G LaForte, PJ Hayes, KM Ford
Artificial Intelligence 104 (1-2), 265-286, 1998
571998
On babies and bathwater: A cautionary tale
PJ Hayes, KM Ford, N Agnew
AI magazine 15 (4), 15-15, 1994
511994
The system can't perform the operation now. Try again later.
Articles 1–20