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
53091981
RDF semantics, W3C recommendation
P Hayes
http://www. w3. org/TR/rdf-mt/, 2004
12292004
Owl web ontology language semantics and abstract syntax, w3c recommendation
PF Patel-Schneider
http://www. w3. org/TR/2004/REC-owl-semantics-20040210/, 2004
11782004
The naive physics manifesto
PJ Hayes
Expert systems in the microelectronic age, 1979
9721979
The second naive physics manifesto
PJ Hayes
Formal theories of the common sense world, 1988
8071988
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
7462005
Naive physics manifesto I: Ontology for liquids
P Hayes
Formal theories of the commmonsense world, 71-107, 1985
5591985
The logic of frames
PJ Hayes
Readings in artificial intelligence, 451-458, 1981
5411981
A Common-Sense Theory of Time.
JF Allen, PJ Hayes
IJCAI 85, 528-531, 1985
4941985
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
4622003
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
4241998
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
4152004
In defence of logic
PJ Hayes
Proc. IJCAI-77, 559-565, 1977
4141977
Defining n-ary relations on the semantic web
N Noy, A Rector, P Hayes, C Welty
W3C working group note 12 (4), 2006
3232006
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
3212010
Moments and points in an interval‐based temporal logic
JF Allen, PJ Hayes
Computational Intelligence 5 (3), 225-238, 1989
3081989
Making believers out of computers
HJ Levesque
Artificial Intelligence 30 (1), 81-108, 1986
3071986
Named graphs
JJ Carroll, C Bizer, P Hayes, P Stickler
Journal of Web Semantics 3 (4), 247-267, 2005
2622005
Expert systems in the micro-electronic age
D Michie
Edinburgh University Press, 1979
2371979
Some problems and non-problems in representation theory
PJ Hayes
Proceedings of the 1st summer conference on artificial intelligence and …, 1974
1981974
The system can't perform the operation now. Try again later.
Articles 1–20