Patrick J. Hayes

85 papers A* 10A 2B 6C 2Misc 2Journal 36Unranked 25
YearRankTypeTitle / Venue / Authors
2021 — conf
Knowledge Engineering with Image Data in Real-World Settings.
AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering
Margaret Warren, David A. Shamma, Patrick J. Hayes
2018 — conf
Bounding Ambiguity: Experiences with an Image Annotation System.
SAD/CrowdBias@HCOMP
Margaret Warren, Patrick J. Hayes
2015 J jnl
Cognitive Orthoses: Toward Human-Centered AI.
AI Mag.
Kenneth M. Ford, Patrick J. Hayes, Clark Glymour, James F. Allen
2015 — conf
When owl: sameAs isn't the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic Web.
CONTEXT
Harry Halpin, Patrick J. Hayes, Henry S. Thompson
2013 — conf
Finite Models in RDF(S), with Datatypes.
ISWC (Posters & Demos)
Peter F. Patel-Schneider, Patrick J. Hayes
2012 J jnl
Common Logic and the Horatio problem.
Appl. Ontology
Fabian Neuhaus, Patrick J. Hayes
2011 — conf
When owl: sameAs isn't the Same Redux: A preliminary theory of identity and inference on the Semantic Web.
LDH
Harry Halpin, Patrick J. Hayes, Henry S. Thompson
2010 — conf
A Lightweight Ontology for Describing Images.
AAAI Spring Symposium: Linked Data Meets Artificial Intelligence
Patrick J. Hayes, Margaret Warren
2010 — conf
Knowledge Sharing and Reuse in Digital Forensics.
SADFE
Jingshan Huang, Alec Yasinsac, Patrick J. Hayes
2010 — conf
NeuMORE: Ontology in stroke recovery.
BIBM Workshops
Christopher Townsend, Jingshan Huang, Dejing Dou, Haishan Liu, Lei He, Patrick J. Hayes, Robert Rudnick, Hardik Shah, Dennis Fell, Wei Liu
2010 — conf
OMIT: Domain Ontology and Knowledge Acquisition in MicroRNA Target Prediction - (Short Paper).
OTM Conferences (2)
Christopher Townsend, Jingshan Huang, Dejing Dou, Shivraj Dalvi, Patrick J. Hayes, Lei He, Wen-Chang Lin, Haishan Liu, Robert Rudnick, Hardik Shah
2010 — conf
Ontology for MicroRNA Target prediction in human cancer.
BCB
Jingshan Huang, Ming Tan, Dejing Dou, Lei He, Christopher Townsend, Patrick J. Hayes
2010 — conf
Ontology-based knowledge acquisition for neuromotor functional recovery in stroke.
BIBM Workshops
Christopher Townsend, Jingshan Huang, Dejing Dou, Haishan Liu, Lei He, Patrick J. Hayes, Robert Rudnick, Hardik Shah, Dennis Fell, Wei Liu
2010 — conf
Ontology-based knowledge discovery and sharing in bioinformatics and medical informatics: A brief survey.
FSKD
Jingshan Huang, Dejing Dou, Lei He, Patrick J. Hayes, Jiangbo Dang
2010 J jnl
PIM: A Novel Architecture for Coordinating Behavior of Distributed Systems.
AI Mag.
Kenneth M. Ford, James F. Allen, Niranjan Suri, Patrick J. Hayes, Robert Morris
2010 — conf
When owl: sameAs Isn't the Same: An Analysis of Identity in Linked Data.
ISWC (1)
Harry Halpin, Patrick J. Hayes, Jamie P. McCusker, Deborah L. McGuinness, Henry S. Thompson
2010 — conf
When owl: sameAs isn't the Same: An Analysis of Identity Links on the Semantic Web.
LDOW
Harry Halpin, Patrick J. Hayes
2009 J jnl
Toward Generic, Immersive, and Collaborative Solutions to the Data Interoperability Problem which Target End-Users.
J. Comput. Sci. Eng.
Arturo J. Sánchez-Ruíz, Karthikeyan Umapathy, Patrick J. Hayes
2008 J jnl
In Defense of Ambiguity.
Int. J. Semantic Web Inf. Syst.
Patrick J. Hayes, Harry Halpin
2008 — conf
Toward generic, immersive, and collaborative solutions to the data interoperability problem which target end-users.
ONISW
Arturo J. Sánchez-Ruíz, Karthikeyan Umapathy, Patrick J. Hayes
2007 J jnl
On John McCarthy's 80th Birthday, in Honor of His Contributions.
AI Mag.
Patrick J. Hayes, Leora Morgenstern
2006 J jnl
Primitive Intervals versus Point-Based Intervals: Rivals or Allies?
Comput. J.
Jixin Ma, Patrick J. Hayes
2005 B conf
Behavioural specification of grid services with the KAoS policy language.
CCGRID
Luc Moreau, Jeffrey M. Bradshaw, Maggie R. Breedy, Larry Bunch, Patrick J. Hayes, Matt Johnson, Shriniwas Kulkarni, James Lott, Niranjan Suri, Andrzej Uszok
2005 B conf
Collaborative knowledge capture in ontologies.
K-CAP
Patrick J. Hayes, Thomas C. Eskridge, Raul Saavedra, Thomas Reichherzer, Mala Mehrotra, Dmitri Bobrovnikoff
2005 A* conf
Named graphs, provenance and trust.
WWW
Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes, Patrick Stickler
2005 J jnl
Named graphs.
J. Web Semant.
Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes, Patrick Stickler
2005 — conf
Simple Common Logic.
Rule Languages for Interoperability
Patrick J. Hayes, Christopher Menzel
2005 B conf
Speaking informally...
K-CAP
Patrick J. Hayes
2004 B conf
Graph-Based Acquisition of Expressive Knowledge.
EKAW
Vinay K. Chaudhri, Kenneth S. Murray, John Pacheco, Peter Clark, Bruce W. Porter, Patrick J. Hayes
2004 J jnl
OWL-QL - a language for deductive query answering on the Semantic Web.
J. Web Semant.
Richard Fikes, Patrick J. Hayes, Ian Horrocks
2004 — conf
Semantic Web Publishing using Named Graphs.
Trust@ISWC
Jeremy J. Carroll, Christian Bizer, Patrick J. Hayes, Patrick Stickler
2004 J jnl
The Pleasure Principle.
IEEE Intell. Syst.
Robert R. Hoffman, Patrick J. Hayes
2004 A conf
The semantic web: managing knowledge for planet earth.
CIKM
Patrick J. Hayes
2003 — conf
KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement.
POLICY
Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Niranjan Suri, Patrick J. Hayes, Maggie R. Breedy, Larry Bunch, Matt Johnson, Shriniwas Kulkarni, James Lott
2003 A conf
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads.
AAMAS
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
2003 J jnl
The Borg Hypothesis.
IEEE Intell. Syst.
Robert R. Hoffman, Jeffrey M. Bradshaw, Patrick J. Hayes, Kenneth M. Ford
2002 C conf
One Small Step for a Diagram, One Giant Leap for Meaning.
Diagrams
Robert R. Hoffman, John W. Coffey, Patrick J. Hayes, Alberto J. Cañas, Kenneth M. Ford, Mary J. Carnot
2002 J jnl
The Triples Rule.
IEEE Intell. Syst.
Robert R. Hoffman, Patrick J. Hayes, Kenneth M. Ford, Peter A. Hancock
2001 J jnl
Human-Centered Computing: Thinking In and Out of the Box.
IEEE Intell. Syst.
Robert R. Hoffman, Patrick J. Hayes, Kenneth M. Ford
2001 B conf
Knowledge entry as the graphical assembly of components.
K-CAP
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
1999 — conf
Modeling Cyclic Change.
ER (Workshops)
Kathleen Hornsby, Max J. Egenhofer, Patrick J. Hayes
1999 J jnl
Old Sins and New Confessions.
AI Mag.
Patrick J. Hayes, Kenneth M. Ford
1998 J jnl
On the Other Hand - Opinion.
AI Mag.
Patrick J. Hayes, Kenneth M. Ford
1998 J jnl
On the Other Hand ... I'm Not in Love (or Love's Labours Lost).
AI Mag.
Patrick J. Hayes, Kenneth M. Ford
1998 J jnl
Ramón Lull and the Infidels.
AI Mag.
Clark Glymour, Kenneth M. Ford, Patrick J. Hayes
1998 Misc conf
The Giant: An Agent-Based Approach to Knowledge Construction and Sharing.
FLAIRS
Thomas Reichherzer, Alberto J. Cañas, Kenneth M. Ford, Patrick J. Hayes
1998 J jnl
Why Gödel's Theorem Cannot Refute Computationalism.
Artif. Intell.
Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford
1997 C conf
Alternative Conceptions of the Time-Line.
TIME
Patrick J. Hayes
1997 J jnl
On the Other Hand - Cognitive Prostheses.
AI Mag.
Kenneth M. Ford, Clark Glymour, Patrick J. Hayes
1997 J jnl
On the Other Hand - Drawing the Line.
AI Mag.
Kenneth M. Ford, Patrick J. Hayes
1997 J jnl
On the Other Hand - HAL.
AI Mag.
Patrick J. Hayes, Kenneth M. Ford
1997 J jnl
On the Other Hand - Medical Report: Infectious Symbolophobia.
AI Mag.
Kenneth M. Ford, Patrick J. Hayes
1997 — conf
The Consensus Glossary of Temporal Database Concepts - February 1998 Version.
Temporal Databases, Dagstuhl
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
1997 — conf
What's Wrong With Hal?
Deep Blue Versus Kasparov: The Significance for Artificial Intelligence
Kenneth M. Ford, Patrick J. Hayes
1996 J jnl
Robots in the AI Classroom: What Smart Machines Can Teach Smart Students.
Comput. Sci. Educ.
Carl W. Turner, Kenneth M. Ford, Steve Dobbs, Niranjan Suri, Patrick J. Hayes
1995 J jnl
Book reviews.
Minds Mach.
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
1995 J jnl
Intellectual Archeology.
SIGART Bull.
Patrick J. Hayes, Kenneth M. Ford
1995 J jnl
The Simon Newcomb Awards.
AI Mag.
Patrick J. Hayes, Kenneth M. Ford
1995 A* conf
Turing Test Considered Harmful.
IJCAI (1)
Patrick J. Hayes, Kenneth M. Ford
1994 J jnl
A Consensus Glossary of Temporal Database Concepts.
SIGMOD Rec.
Christian S. Jensen, James Clifford, Ramez Elmasri, Shashi K. Gadia, Patrick J. Hayes, Sushil Jajodia
1994 Misc conf
Aristotelian and Platonic Views of Knowledge Representation.
ICCS
Patrick J. Hayes
1994 J jnl
On Babies and Bathwater: A Cautionary Tale.
AI Mag.
Patrick J. Hayes, Kenneth M. Ford, Neil Agnew
1992 J jnl
Human reasoning about artificial intelligence.
J. Exp. Theor. Artif. Intell.
Patrick J. Hayes, Kenneth M. Ford, Jack R. Adams-Webber
1992 J jnl
Straw Men: A Response to Sacks and Doyle.
Comput. Intell.
Patrick J. Hayes
1992 J jnl
Virtual Symposium on Virtual Mind.
Minds Mach.
Patrick J. Hayes, Stevan Harnad, Donald Perlis, Ned Block
1990 — ch.
The Naive Physics Manifesto.
The Philosophy of Artificial Intelligence
Patrick J. Hayes
1989 J jnl
Moments, points in an interval-based temporal logic.
Comput. Intell.
James F. Allen, Patrick J. Hayes
1989 A* conf
Processes at Discontinuities.
IJCAI
Patrick J. Hayes, Michael Leyton
1988 J jnl
Comments on Peter Cheeseman's An inquiry into computer understanding.
Comput. Intell.
Patrick J. Hayes
1987 A* conf
Short Time Periods.
IJCAI
Patrick J. Hayes, James F. Allen
1985 A* conf
A Common-Sense Theory of Time.
IJCAI
James F. Allen, Patrick J. Hayes
1985 J jnl
Artificial Intelligence - Where Are We?
Artif. Intell.
Daniel G. Bobrow, Patrick J. Hayes
1983 A* conf
Under What Conditions Can a Machine Attribute Meanings to Symbols.
IJCAI
Aaron Sloman, Drew V. McDermott, William A. Woods, Brian Cantwell Smith, Patrick J. Hayes
1981 A* ed.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981
IJCAI
Patrick J. Hayes
1980 — conf
A Logical View of Types.
Workshop on Data Abstraction, Databases and Conceptual Modelling
Patrick J. Hayes, Gary G. Hendrix
1980 — conf
Presentation (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling
L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes
1980 — conf
Types (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling
Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes
1977 J jnl
"The Language of Thought, " by J. A. Fodor (Book Review).
Int. J. Man Mach. Stud.
Patrick J. Hayes
1977 A* conf
In Defense of Logic.
IJCAI
Patrick J. Hayes
1976 — conf
Ully: A Program for Handling Conversations.
AISB (ECAI)
Patrick J. Hayes, Michael Rosner
1975 A* conf
A Representation For Robot Plans.
IJCAI
Patrick J. Hayes
1974 J jnl
AI at Essex University.
SIGART Newsl.
Patrick J. Hayes
1974 A* conf
Simple and Structural Redundancy in Non-Deterministic Computation.
ICALP
Patrick J. Hayes
1973 B conf
Computation and Deduction.
MFCS
Patrick J. Hayes
1973 — —
Semantic trees : new foundations for automatic theorem-proving.
Patrick J. Hayes