Patrick J. Hayes

Proceedings of the AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering (AAAI-MAKE 2021), 2021

2018

Bounding Ambiguity: Experiences with an Image Annotation System.

[BibT_eX]

[DOI]

Margaret Warren

Proceedings of the 1st Workshop on Subjectivity, 2018

2015

Cognitive Orthoses: Toward Human-Centered AI.

[BibT_eX]

[DOI]

AI Mag., 2015

When owl: sameAs isn't the Same Redux: Towards a Theory of Identity, Context, and Inference on the Semantic Web.

[BibT_eX]

[DOI]

Henry S. Thompson

Proceedings of the Modeling and Using Context, 2015

2013

Finite Models in RDF(S), with Datatypes.

[BibT_eX]

[DOI]

Peter F. Patel-Schneider

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

2012

Common Logic and the Horatio problem.

[BibT_eX]

[DOI]

Fabian Neuhaus

Appl. Ontology, 2012

2011

When owl: sameAs isn't the Same Redux: A preliminary theory of identity and inference on the Semantic Web.

[BibT_eX]

[DOI]

Henry S. Thompson

Proceedings of the Workshop on Discovering Meaning On the Go in Large Heterogeneous Data 2011 (LHD-11), 2011

2010

PIM: A Novel Architecture for Coordinating Behavior of Distributed Systems.

[BibT_eX]

[DOI]

AI Mag., 2010

When owl: sameAs isn't the Same: An Analysis of Identity Links on the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the WWW2010 Workshop on Linked Data on the Web, 2010

When owl: sameAs Isn't the Same: An Analysis of Identity in Linked Data.

[BibT_eX]

[DOI]

Jamie P. McCusker

Deborah L. McGuinness

Henry S. Thompson

Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Knowledge Sharing and Reuse in Digital Forensics.

[BibT_eX]

[DOI]

Jingshan Huang

Alec Yasinsac

Proceedings of the Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering, 2010

OMIT: Domain Ontology and Knowledge Acquisition in MicroRNA Target Prediction - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2010

Ontology-based knowledge discovery and sharing in bioinformatics and medical informatics: A brief survey.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

NeuMORE: Ontology in stroke recovery.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

Ontology-based knowledge acquisition for neuromotor functional recovery in stroke.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010

Ontology for MicroRNA Target prediction in human cancer.

[BibT_eX]

[DOI]

Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, 2010

A Lightweight Ontology for Describing Images.

[BibT_eX]

[DOI]

Margaret Warren

Proceedings of the Linked Data Meets Artificial Intelligence, 2010

2009

Toward Generic, Immersive, and Collaborative Solutions to the Data Interoperability Problem which Target End-Users.

[BibT_eX]

[DOI]

Arturo J. Sánchez-Ruíz

Karthikeyan Umapathy

J. Comput. Sci. Eng., 2009

2008

In Defense of Ambiguity.

[BibT_eX]

[DOI]

Int. J. Semantic Web Inf. Syst., 2008

2007

On John McCarthy's 80th Birthday, in Honor of His Contributions.

[BibT_eX]

[DOI]

Leora Morgenstern

AI Mag., 2007

2006

Primitive Intervals versus Point-Based Intervals: Rivals or Allies?

[BibT_eX]

[DOI]

Jixin Ma

Comput. J., 2006

2005

Named graphs.

[BibT_eX]

[DOI]

J. Web Semant., 2005

Named graphs, provenance and trust.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on World Wide Web, 2005

Simple Common Logic.

[BibT_eX]

[DOI]

Christopher Menzel

Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Collaborative knowledge capture in ontologies.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Knowledge Capture (K-CAP 2005), 2005

Speaking informally...

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Knowledge Capture (K-CAP 2005), 2005

Behavioural specification of grid services with the KAoS policy language.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004

OWL-QL - a language for deductive query answering on the Semantic Web.

[BibT_eX]

[DOI]

Richard Fikes

Ian Horrocks

J. Web Semant., 2004

The Pleasure Principle.

[BibT_eX]

[DOI]

Robert R. Hoffman

IEEE Intell. Syst., 2004

Semantic Web Publishing using Named Graphs.

[BibT_eX]

[DOI]

Proceedings of the ISWC*04 Workshop on Trust, 2004

Graph-Based Acquisition of Expressive Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

The semantic web: managing knowledge for planet earth.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM CIKM International Conference on Information and Knowledge Management, 2004

2003

The Borg Hypothesis.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), 2003

Representation and reasoning for DAML-based policy and domain services in KAoS and nomads.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

The Triples Rule.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2002

One Small Step for a Diagram, One Giant Leap for Meaning.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2002

2001

Human-Centered Computing: Thinking In and Out of the Box.

[BibT_eX]

[DOI]

Robert R. Hoffman

IEEE Intell. Syst., 2001

Knowledge entry as the graphical assembly of components.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), 2001

1999

Old Sins and New Confessions.

[BibT_eX]

[DOI]

AI Mag., 1999

Modeling Cyclic Change.

[BibT_eX]

[DOI]

Kathleen Hornsby

Max J. Egenhofer

Proceedings of the Advances in Conceptual Modeling: ER '99 Workshops on Evolution and Change in Data Management, 1999

1998

On the Other Hand - Opinion.

[BibT_eX]

[DOI]

AI Mag., 1998

On the Other Hand ... I'm Not in Love (or Love's Labours Lost).

[BibT_eX]

[DOI]

AI Mag., 1998

Ramón Lull and the Infidels.

[BibT_eX]

[DOI]

Clark Glymour

AI Mag., 1998

Why Gödel's Theorem Cannot Refute Computationalism.

[BibT_eX]

[DOI]

Geoffrey LaForte

Artif. Intell., 1998

The Giant: An Agent-Based Approach to Knowledge Construction and Sharing.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference, 1998

1997

On the Other Hand - HAL.

[BibT_eX]

[DOI]

AI Mag., 1997

On the Other Hand - Drawing the Line.

[BibT_eX]

[DOI]

AI Mag., 1997

On the Other Hand - Medical Report: Infectious Symbolophobia.

[BibT_eX]

[DOI]

AI Mag., 1997

On the Other Hand - Cognitive Prostheses.

[BibT_eX]

[DOI]

Clark Glymour

AI Mag., 1997

Alternative Conceptions of the Time-Line.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Temporal Representation and Reasoning, 1997

The Consensus Glossary of Temporal Database Concepts - February 1998 Version.

[BibT_eX]

[DOI]

Proceedings of the Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, 1997

What's Wrong With Hal?

[BibT_eX]

Proceedings of the Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997

1996

Robots in the AI Classroom: What Smart Machines Can Teach Smart Students.

[BibT_eX]

[DOI]

Comput. Sci. Educ., 1996

1995

Intellectual Archeology.

[BibT_eX]

[DOI]

SIGART Bull., 1995

Book reviews.

[BibT_eX]

[DOI]

J. Christopher Maloney

Minds Mach., 1995

The Simon Newcomb Awards.

[BibT_eX]

[DOI]

AI Mag., 1995

Turing Test Considered Harmful.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

A Consensus Glossary of Temporal Database Concepts.

[BibT_eX]

[DOI]

SIGMOD Rec., 1994

On Babies and Bathwater: A Cautionary Tale.

[BibT_eX]

[DOI]

Neil Agnew

AI Mag., 1994

Aristotelian and Platonic Views of Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Current Practices, 1994

1992

Virtual Symposium on Virtual Mind.

[BibT_eX]

[DOI]

Minds Mach., 1992

Human reasoning about artificial intelligence.

[BibT_eX]

[DOI]

Jack R. Adams-Webber

J. Exp. Theor. Artif. Intell., 1992

Straw Men: A Response to Sacks and Doyle.

[BibT_eX]

[DOI]

Comput. Intell., 1992

1990

The Naive Physics Manifesto.

[BibT_eX]

Proceedings of the Philosophy of Artificial Intelligence., 1990

1989

Moments, points in an interval-based temporal logic.

[BibT_eX]

[DOI]

James F. Allen

Comput. Intell., 1989

Processes at Discontinuities.

[BibT_eX]

[DOI]

Michael Leyton

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Comments on Peter Cheeseman's An inquiry into computer understanding.

[BibT_eX]

[DOI]

Comput. Intell., 1988

1987

Short Time Periods.

[BibT_eX]

[DOI]

James F. Allen

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1985

Artificial Intelligence - Where Are We?

[BibT_eX]

[DOI]

Daniel G. Bobrow

Artif. Intell., 1985

A Common-Sense Theory of Time.

[BibT_eX]

[DOI]

James F. Allen

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983

Under What Conditions Can a Machine Attribute Meanings to Symbols.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1980

Types (discussion).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

A Logical View of Types.

[BibT_eX]

[DOI]

Gary G. Hendrix

Proceedings of the Workshop on Data Abstraction, 1980

Presentation (discussion).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

1977

"The Language of Thought, " by J. A. Fodor (Book Review).

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1977

In Defense of Logic.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

Ully: A Program for Handling Conversations.

[BibT_eX]

[DOI]

Michael Rosner

Proceedings of the Summer Conference on Artificial Intelligence and Simulation of Behaviour, Edinburgh, UK, 12th, 1976

1975

A Representation For Robot Plans.

[BibT_eX]

[DOI]

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

AI at Essex University.

[BibT_eX]

[DOI]

SIGART Newsl., 1974

Simple and Structural Redundancy in Non-Deterministic Computation.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973

Semantic trees : new foundations for automatic theorem-proving.

[BibT_eX]

[DOI]

PhD thesis, 1973

Computation and Deduction.

[BibT_eX]