Follow
Patrick Hayes
Patrick Hayes
Senior Scientist, Florida IHMC
Verified email at ihmc.us
Title
Cited by
Cited by
Year
Some philosophical problems from the standpoint of artificial intelligence
J McCarthy, PJ Hayes
Readings in artificial intelligence, 431-450, 1981
56451981
RDF semantics, W3C recommendation
P Hayes
http://www. w3. org/TR/rdf-mt/, 2004
12042004
The naive physics manifesto
PJ Hayes
Expert systems in the microelectronic age, 1979
10631979
The second naive physics manifesto
PJ Hayes
8291985
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
8042005
The logic of frames
PJ Hayes
Readings in artificial intelligence, 451-458, 1981
5921981
Naive physics manifesto I: Ontology for liquids
P Hayes
Formal theories of the commmonsense world, 71-107, 1985
5701985
A Common-Sense Theory of Time.
JF Allen, PJ Hayes
IJCAI 85, 528-531, 1985
5171985
KAoS policy and domain services: Toward a description-logic approach to policy representation, deconfliction, and enforcement
A Uszok, J Bradshaw, R Jeffers, N Suri, P Hayes, M Breedy, L Bunch, ...
Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for …, 2003
4982003
The consensus glossary of temporal database concepts—February 1998 version
CS Jensen, CE Dyreson, M Böhlen, J Clifford, R Elmasri, SK Gadia, ...
Temporal databases: research and practice, 367-405, 1998
4591998
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
4391994
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
4322004
In defence of logic
PJ Hayes
Proc. IJCAI-77, 559-565, 1977
4261977
Defining n-ary relations on the semantic web
N Noy, A Rector, P Hayes, C Welty
W3C working group note 12 (4), 2006
3772006
When owl: sameas isn’t the same: An analysis of identity in linked data
H Halpin, PJ Hayes, JP McCusker, DL McGuinness, HS Thompson
International semantic web conference, 305-320, 2010
3562010
Moments and points in an interval‐based temporal logic
JF Allen, PJ Hayes
Computational Intelligence 5 (3), 225-238, 1989
3271989
Making believers out of computers
HJ Levesque
Artificial Intelligence 30 (1), 81-108, 1986
3231986
Named graphs
JJ Carroll, C Bizer, P Hayes, P Stickler
Journal of Web Semantics 3 (4), 247-267, 2005
2872005
Some problems and non-problems in representation theory
PJ Hayes
Proceedings of the 1st summer conference on artificial intelligence and …, 1974
2141974
Machine intelligence
J McCarthy, P Hayes, B Meltzer, D Michie
2051969
The system can't perform the operation now. Try again later.
Articles 1–20