default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrick J. Hayes
Person information
- affiliation: Florida Institute for Human and Machine Cognition, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c46]Margaret Warren, David A. Shamma, Patrick J. Hayes:
Knowledge Engineering with Image Data in Real-World Settings. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering 2021
2010 – 2019
- 2018
- [c45]Margaret Warren, Patrick J. Hayes:
Bounding Ambiguity: Experiences with an Image Annotation System. SAD/CrowdBias@HCOMP 2018: 41-54 - 2015
- [j36]Kenneth M. Ford, Patrick J. Hayes
, Clark Glymour, James F. Allen:
Cognitive Orthoses: Toward Human-Centered AI. AI Mag. 36(4): 5-8 (2015) - [c44]Harry Halpin, Patrick J. Hayes, Henry S. Thompson:
When owl: sameAs isn't the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic Web. CONTEXT 2015: 47-60 - 2013
- [c43]Peter F. Patel-Schneider, Patrick J. Hayes:
Finite Models in RDF(S), with Datatypes. ISWC (Posters & Demos) 2013: 233-236 - 2012
- [j35]Fabian Neuhaus, Patrick J. Hayes:
Common Logic and the Horatio problem. Appl. Ontology 7(2): 211-231 (2012) - 2011
- [c42]Harry Halpin, Patrick J. Hayes, Henry S. Thompson:
When owl: sameAs isn't the Same Redux: A preliminary theory of identity and inference on the Semantic Web. LDH 2011: 25-30 - 2010
- [j34]Kenneth M. Ford, James F. Allen, Niranjan Suri, Patrick J. Hayes, Robert Morris:
PIM: A Novel Architecture for Coordinating Behavior of Distributed Systems. AI Mag. 31(2): 9-24 (2010) - [c41]Patrick J. Hayes, Margaret Warren:
A Lightweight Ontology for Describing Images. AAAI Spring Symposium: Linked Data Meets Artificial Intelligence 2010 - [c40]Jingshan Huang, Ming Tan, Dejing Dou, Lei He, Christopher Townsend, Patrick J. Hayes:
Ontology for MicroRNA Target prediction in human cancer. BCB 2010: 472-474 - [c39]Christopher Townsend, Jingshan Huang, Dejing Dou, Haishan Liu, Lei He, Patrick J. Hayes, Robert Rudnick, Hardik Shah, Dennis Fell, Wei Liu:
Ontology-based knowledge acquisition for neuromotor functional recovery in stroke. BIBM Workshops 2010: 424-429 - [c38]Christopher Townsend, Jingshan Huang, Dejing Dou, Haishan Liu, Lei He, Patrick J. Hayes, Robert Rudnick, Hardik Shah, Dennis Fell, Wei Liu:
NeuMORE: Ontology in stroke recovery. BIBM Workshops 2010: 821-822 - [c37]Jingshan Huang, Dejing Dou, Lei He, Patrick J. Hayes, Jiangbo Dang:
Ontology-based knowledge discovery and sharing in bioinformatics and medical informatics: A brief survey. FSKD 2010: 2203-2208 - [c36]Christopher Townsend, Jingshan Huang, Dejing Dou, Shivraj Dalvi, Patrick J. Hayes, Lei He, Wen-Chang Lin, Haishan Liu, Robert Rudnick, Hardik Shah:
OMIT: Domain Ontology and Knowledge Acquisition in MicroRNA Target Prediction - (Short Paper). OTM Conferences (2) 2010: 1160-1167 - [c35]Jingshan Huang, Alec Yasinsac, Patrick J. Hayes:
Knowledge Sharing and Reuse in Digital Forensics. SADFE 2010: 73-78 - [c34]Harry Halpin, Patrick J. Hayes, Jamie P. McCusker, Deborah L. McGuinness, Henry S. Thompson:
When owl: sameAs Isn't the Same: An Analysis of Identity in Linked Data. ISWC (1) 2010: 305-320 - [c33]Harry Halpin, Patrick J. Hayes:
When owl: sameAs isn't the Same: An Analysis of Identity Links on the Semantic Web. LDOW 2010
2000 – 2009
- 2009
- [j33]Arturo J. Sánchez-Ruíz, Karthikeyan Umapathy, Patrick J. Hayes:
Toward Generic, Immersive, and Collaborative Solutions to the Data Interoperability Problem which Target End-Users. J. Comput. Sci. Eng. 3(2): 127-141 (2009) - 2008
- [j32]Patrick J. Hayes, Harry Halpin:
In Defense of Ambiguity. Int. J. Semantic Web Inf. Syst. 4(2): 1-18 (2008) - [c32]Arturo J. Sánchez-Ruíz, Karthikeyan Umapathy, Patrick J. Hayes:
Toward generic, immersive, and collaborative solutions to the data interoperability problem which target end-users. ONISW 2008: 83-88 - 2007
- [j31]Patrick J. Hayes, Leora Morgenstern:
On John McCarthy's 80th Birthday, in Honor of His Contributions. AI Mag. 28(4): 93-102 (2007) - 2006
- [j30]Jixin Ma, Patrick J. Hayes:
Primitive Intervals versus Point-Based Intervals: Rivals or Allies? Comput. J. 49(1): 32-41 (2006) - 2005
- [j29]Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes, Patrick Stickler:
Named graphs. J. Web Semant. 3(4): 247-267 (2005) - [c31]Luc Moreau, Jeffrey M. Bradshaw, Maggie R. Breedy, Larry Bunch, Patrick J. Hayes, Matt Johnson, Shriniwas Kulkarni, James Lott, Niranjan Suri, Andrzej Uszok:
Behavioural specification of grid services with the KAoS policy language. CCGRID 2005: 816-823 - [c30]Patrick J. Hayes:
Speaking informally... K-CAP 2005: 1 - [c29]Patrick J. Hayes, Thomas C. Eskridge, Raul Saavedra, Thomas Reichherzer, Mala Mehrotra, Dmitri Bobrovnikoff:
Collaborative knowledge capture in ontologies. K-CAP 2005: 99-106 - [c28]Patrick J. Hayes, Christopher Menzel:
Simple Common Logic. Rule Languages for Interoperability 2005 - [c27]Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes, Patrick Stickler:
Named graphs, provenance and trust. WWW 2005: 613-622 - 2004
- [j28]Robert R. Hoffman, Patrick J. Hayes:
The Pleasure Principle. IEEE Intell. Syst. 19(1): 86-88 (2004) - [j27]Richard Fikes, Patrick J. Hayes, Ian Horrocks:
OWL-QL - a language for deductive query answering on the Semantic Web. J. Web Semant. 2(1): 19-29 (2004) - [c26]Patrick J. Hayes:
The semantic web: managing knowledge for planet earth. CIKM 2004: 416 - [c25]Vinay K. Chaudhri, Kenneth S. Murray, John Pacheco, Peter Clark, Bruce W. Porter, Patrick J. Hayes:
Graph-Based Acquisition of Expressive Knowledge. EKAW 2004: 231-247 - [c24]Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes, Patrick Stickler:
Semantic Web Publishing using Named Graphs. Trust@ISWC 2004 - 2003
- [j26]Robert R. Hoffman, Jeffrey M. Bradshaw, Patrick J. Hayes, Kenneth M. Ford:
The Borg Hypothesis. IEEE Intell. Syst. 18(5): 73-75 (2003) - [c23]Jeffrey M. Bradshaw, Andrzej Uszok, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Mark H. Burstein, Alessandro Acquisti, Brett Benyo, Maggie R. Breedy, Marco M. Carvalho, David J. Diller, Matt Johnson, Shriniwas Kulkarni, James Lott, Maarten Sierhuis, Ron van Hoof:
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads. AAMAS 2003: 835-842 - [c22]Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Maggie R. Breedy, Larry Bunch, Matt Johnson, Shriniwas Kulkarni, James Lott:
KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement. POLICY 2003: 93- - 2002
- [j25]Robert R. Hoffman, Patrick J. Hayes, Kenneth M. Ford, Peter A. Hancock:
The Triples Rule. IEEE Intell. Syst. 17(3): 62-65 (2002) - [c21]Robert R. Hoffman, John W. Coffey, Patrick J. Hayes, Alberto J. Cañas, Kenneth M. Ford, Mary J. Carnot:
One Small Step for a Diagram, One Giant Leap for Meaning. Diagrams 2002: 344-346 - 2001
- [j24]Robert R. Hoffman, Patrick J. Hayes, Kenneth M. Ford:
Human-Centered Computing: Thinking In and Out of the Box. IEEE Intell. Syst. 16(5): 76-78 (2001) - [c20]Peter Clark, John A. Thompson, Ken Barker, Bruce W. Porter, Vinay K. Chaudhri, Andres C. Rodriguez, Jérôme Thoméré, Sunil Mishra, Yolanda Gil, Patrick J. Hayes, Thomas Reichherzer:
Knowledge entry as the graphical assembly of components. K-CAP 2001: 22-29
1990 – 1999
- 1999
- [j23]Patrick J. Hayes, Kenneth M. Ford:
Old Sins and New Confessions. AI Mag. 20(2): 128 (1999) - [c19]Kathleen Hornsby, Max J. Egenhofer, Patrick J. Hayes:
Modeling Cyclic Change. ER (Workshops) 1999: 98-109 - 1998
- [j22]Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford:
Why Gödel's Theorem Cannot Refute Computationalism. Artif. Intell. 104(1-2): 265-286 (1998) - [j21]Clark Glymour, Kenneth M. Ford, Patrick J. Hayes:
Ramón Lull and the Infidels. AI Mag. 19(2): 136 (1998) - [j20]Patrick J. Hayes, Kenneth M. Ford:
On the Other Hand ... I'm Not in Love (or Love's Labours Lost). AI Mag. 19(3): 144 (1998) - [j19]Patrick J. Hayes, Kenneth M. Ford:
On the Other Hand - Opinion. AI Mag. 19(4): 150-152 (1998) - [c18]Thomas Reichherzer, Alberto J. Cañas, Kenneth M. Ford, Patrick J. Hayes:
The Giant: An Agent-Based Approach to Knowledge Construction and Sharing. FLAIRS 1998: 136-140 - 1997
- [j18]Kenneth M. Ford, Patrick J. Hayes:
On the Other Hand - Medical Report: Infectious Symbolophobia. AI Mag. 18(1): 144 (1997) - [j17]Patrick J. Hayes, Kenneth M. Ford:
On the Other Hand - HAL. AI Mag. 18(2): 136 (1997) - [j16]Kenneth M. Ford, Clark Glymour, Patrick J. Hayes:
On the Other Hand - Cognitive Prostheses. AI Mag. 18(3): 104 (1997) - [j15]Kenneth M. Ford, Patrick J. Hayes:
On the Other Hand - Drawing the Line. AI Mag. 18(4): 168 (1997) - [c17]Kenneth M. Ford, Patrick J. Hayes:
What's Wrong With Hal? Deep Blue Versus Kasparov: The Significance for Artificial Intelligence 1997: 53-55 - [c16]Christian S. Jensen, Curtis E. Dyreson, Michael H. Böhlen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Fabio Grandi, Patrick J. Hayes, Sushil Jajodia, Wolfgang Käfer, Nick Kline, Nikos A. Lorentzos, Yannis G. Mitsopoulos, Angelo Montanari, Daniel A. Nonen, Elisa Peressi, Barbara Pernici, John F. Roddick, Nandlal L. Sarda, Maria Rita Scalas, Arie Segev, Richard T. Snodgrass, Michael D. Soo, Abdullah Uz Tansel, Paolo Tiberio, Gio Wiederhold:
The Consensus Glossary of Temporal Database Concepts - February 1998 Version. Temporal Databases, Dagstuhl 1997: 367-405 - [c15]Patrick J. Hayes:
Alternative Conceptions of the Time-Line. TIME 1997: 3 - 1996
- [j14]Carl W. Turner, Kenneth M. Ford, Steve Dobbs, Niranjan Suri, Patrick J. Hayes:
Robots in the AI Classroom: What Smart Machines Can Teach Smart Students. Comput. Sci. Educ. 7(2): 187-197 (1996) - 1995
- [j13]Patrick J. Hayes, Kenneth M. Ford:
The Simon Newcomb Awards. AI Mag. 16(1): 11-13 (1995) - [j12]David Kemmerer, Kenneth Aizawa, Donald H. Berman, Stacey L. Edgar, James E. Tomberlin, J. Christopher Maloney, John L. Bell, Stuart C. Shapiro, Georges Rey, Morton L. Schagrin, Robert A. Wilson, Patrick J. Hayes:
Book reviews. Minds Mach. 5(3): 411-465 (1995) - [j11]Patrick J. Hayes, Kenneth M. Ford:
Intellectual Archeology. SIGART Bull. 6(2): 19-21 (1995) - [c14]Patrick J. Hayes, Kenneth M. Ford:
Turing Test Considered Harmful. IJCAI (1) 1995: 972-977 - 1994
- [j10]Patrick J. Hayes, Kenneth M. Ford, Neil Agnew:
On Babies and Bathwater: A Cautionary Tale. AI Mag. 15(4): 15-26 (1994) - [j9]Christian S. Jensen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Patrick J. Hayes, Sushil Jajodia:
A Consensus Glossary of Temporal Database Concepts. SIGMOD Rec. 23(1): 52-64 (1994) - [c13]Patrick J. Hayes:
Aristotelian and Platonic Views of Knowledge Representation. ICCS 1994: 1-10 - 1992
- [j8]Patrick J. Hayes:
Straw Men: A Response to Sacks and Doyle. Comput. Intell. 8: 257-258 (1992) - [j7]Patrick J. Hayes, Kenneth M. Ford, Jack R. Adams-Webber:
Human reasoning about artificial intelligence. J. Exp. Theor. Artif. Intell. 4(4): 247-263 (1992) - [j6]Patrick J. Hayes, Stevan Harnad, Donald Perlis, Ned Block:
Virtual Symposium on Virtual Mind. Minds Mach. 2(3): 217-238 (1992) - 1990
- [p1]Patrick J. Hayes:
The Naive Physics Manifesto. The Philosophy of Artificial Intelligence 1990: 171-205
1980 – 1989
- 1989
- [j5]James F. Allen, Patrick J. Hayes:
Moments, points in an interval-based temporal logic. Comput. Intell. 5: 225-238 (1989) - [c12]Patrick J. Hayes, Michael Leyton:
Processes at Discontinuities. IJCAI 1989: 1267-1272 - 1988
- [j4]Patrick J. Hayes:
Comments on Peter Cheeseman's An inquiry into computer understanding. Comput. Intell. 4: 83-84 (1988) - 1987
- [c11]Patrick J. Hayes, James F. Allen:
Short Time Periods. IJCAI 1987: 981-983 - 1985
- [j3]Daniel G. Bobrow, Patrick J. Hayes:
Artificial Intelligence - Where Are We? Artif. Intell. 25(3): 375-415 (1985) - [c10]James F. Allen, Patrick J. Hayes:
A Common-Sense Theory of Time. IJCAI 1985: 528-531 - 1983
- [c9]Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes:
Under What Conditions Can a Machine Attribute Meanings to Symbols. IJCAI 1983: 44-48 - 1981
- [e1]Patrick J. Hayes:
Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981. William Kaufmann 1981 [contents] - 1980
- [c8]Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes:
Types (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 43-52 - [c7]L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes:
Presentation (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 62-71 - [c6]Patrick J. Hayes, Gary G. Hendrix:
A Logical View of Types. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 128-130
1970 – 1979
- 1977
- [j2]Patrick J. Hayes:
"The Language of Thought, " by J. A. Fodor (Book Review). Int. J. Man Mach. Stud. 9(5): 631-634 (1977) - [c5]Patrick J. Hayes:
In Defense of Logic. IJCAI 1977: 559-565 - 1976
- [c4]Patrick J. Hayes, Michael Rosner:
Ully: A Program for Handling Conversations. AISB (ECAI) 1976: 137-147 - 1975
- [c3]Patrick J. Hayes:
A Representation For Robot Plans. IJCAI 1975: 181-188 - 1974
- [j1]Patrick J. Hayes:
AI at Essex University. SIGART Newsl. 44: 5-7 (1974) - [c2]Patrick J. Hayes:
Simple and Structural Redundancy in Non-Deterministic Computation. ICALP 1974: 601-611 - 1973
- [b1]Patrick J. Hayes:
Semantic trees : new foundations for automatic theorem-proving. University of Edinburgh, UK, 1973 - [c1]Patrick J. Hayes:
Computation and Deduction. MFCS 1973: 105-117
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
