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
52011981
RDF semantics, W3C recommendation
P Hayes
http://www. w3. org/TR/rdf-mt/, 2004
12642004
OWL web ontology language semantics and abstract syntax, W3C Recommendation
PF Patel-Schneider
http://www. w3. org/TR/2004/REC-owl-semantics-20040210/, 2004
11862004
The naive physics manifesto
PJ Hayes
Expert systems in the microelectronic age, 1979
9781979
The second naive physics manifesto
PJ Hayes
Formal theories of the common sense world, 1988
8021988
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
7482005
Naive physics manifesto I: Ontology for liquids
P Hayes
Formal theories of the commmonsense world, 71-107, 1985
5661985
The logic of frames
PJ Hayes
Readings in artificial intelligence, 451-458, 1981
5441981
A Common-Sense Theory of Time.
JF Allen, PJ Hayes
IJCAI 85, 528-531, 1985
4981985
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
4682003
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
4212004
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
4161998
In defence of logic
PJ Hayes
Proc. IJCAI-77, 559-565, 1977
4111977
Defining n-ary relations on the semantic web
N Noy, A Rector, P Hayes, C Welty
W3C working group note 12 (4), 2006
3252006
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
3222010
Moments and points in an interval‐based temporal logic
JF Allen, PJ Hayes
Computational Intelligence 5 (3), 225-238, 1989
3121989
Making believers out of computers
HJ Levesque
Artificial Intelligence 30 (1), 81-108, 1986
3081986
Named graphs
JJ Carroll, C Bizer, P Hayes, P Stickler
Journal of Web Semantics 3 (4), 247-267, 2005
2602005
Expert systems in the micro-electronic age
D Michie
Edinburgh University Press, 1979
2471979
Temporal databases: research and practice
O Etzion
Springer Science & Business Media, 1998
2311998
The system can't perform the operation now. Try again later.
Articles 1–20