Patrick Hayes
Patrick Hayes
Senior Scientist, Florida IHMC
Verified email at ihmc.us
TitleCited byYear
Some philosophical problems from the standpoint of artificial intelligence
J McCarthy, PJ Hayes
Readings in artificial intelligence, 431-450, 1981
52221981
RDF semantics, W3C recommendation
P Hayes
http://www. w3. org/TR/rdf-mt/, 2004
12382004
OWL web ontology language semantics and abstract syntax, W3C Recommendation
PF Patel-Schneider
http://www. w3. org/TR/2004/REC-owl-semantics-20040210/, 2004
11732004
The naive physics manifesto
PJ Hayes
Expert systems in the microelectronic age, 1979
9641979
The second naive physics manifesto
PJ Hayes
Formal Theories of the Common Sense World, 1988
7931988
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
7272005
Naive physics manifesto I: Ontology for liquids
P Hayes
Formal theories of the commmonsense world, 71-107, 1985
5501985
The logic of frames
PJ Hayes
Readings in Artificial Intelligence, 451-458, 1981
5411981
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
5031998
A Common-Sense Theory of Time.
JF Allen, PJ Hayes
IJCAI 85, 528-531, 1985
4861985
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
4552003
In defence of logic
PJ Hayes
Proc. IJCAI-77, 559-565, 1977
4211977
OWL-QL—a language for deductive query answering on the Semantic Web
R Fikes, P Hayes, I Horrocks
Web semantics: Science, services and agents on the World Wide Web 2 (1), 19-29, 2004
4112004
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
3132010
Making believers out of computers
HJ Levesque
Artificial Intelligence 30 (1), 81-108, 1986
3111986
Defining n-ary relations on the semantic web
N Noy, A Rector, P Hayes, C Welty
W3C working group note 12 (4), 2006
3102006
Moments and points in an interval‐based temporal logic
JF Allen, PJ Hayes
Computational Intelligence 5 (3), 225-238, 1989
2991989
Named graphs
JJ Carroll, C Bizer, P Hayes, P Stickler
Web Semantics: Science, Services and Agents on the World Wide Web 3 (4), 247-267, 2005
2542005
Expert systems in the micro-electronic age
D Michie
Edinburgh University Press, 1979
2321979
Some problems and non-problems in representation theory
PJ Hayes
Proceedings of the 1st summer conference on artificial intelligence and …, 1974
1931974
The system can't perform the operation now. Try again later.
Articles 1–20