Algernon—a tractable system for knowledge-representation

No abstract is available for this paper.

• Publication year

  1991

• Venue

  SIGART Bull.

• Publication date

  1991-06-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/122296.122302
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project

  1993cited by this paper
• Access-limited logic: a language for knowledge representation

  1991influential reference
• Negation and Proof by Contradiction in Access-Limited Logic

  1991cited by this paper
• Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990).

  1990cited by this paper
• QPC: A Compiler from Physical Models into Qualitative Differential Equations

  1990cited by this paper
• Access-Limited Logic -- A Language for Knowledge Representation

  1990cited by this paper
• Vivid Knowledge and Tractable Reasoning: Preliminary Report

  1989cited by this paper
• Towards a Theory of Access-Limited Logic for Knowledge Representation

  1989cited by this paper
• Building large knowledge-based systems

  1989cited by this paper
• Vivid Knowledge and Tractable Reasoning

  1989cited by this paper
• Inference in a Topically Organized Semantic Net

  1986cited by this paper
• Book review: Readings in Knowledge Representation. Edited by Ronald J. Brachman and Hector J. Levesque (Morgan Kaufmann Publishers)

  1986cited by this paper
• The Restricted Language Architecture of a Hybrid Representation System

  1985cited by this paper
• Determining Type, Part, Color, and Time Relationships

  1983cited by this paper
• Krypton: A Functional Approach to Knowledge Representation

  1983cited by this paper
• Maintaining knowledge about temporal intervals

  1983cited by this paper
• Special Purpose, but Domain Independent, Inference Mechanisms

  1982cited by this paper
• The Logic of Frames

  1981cited by this paper
• Associative Networks- Representation and Use of Knowledge by Computers

  1980cited by this paper
• What's in a Link: Foundations for Semantic Networks

  1975cited by this paper
• Some problems and non-problems in representation theory

  1974cited by this paper
• Computability and logic

  1974cited by this paper

• Machine learning techniques for efficient query processing in kowledge base systems

  2018cites this paper
• Effective and Efficient Memory for Generally Intelligent Agents

  2012cites this paper
• POMELo: A PML Online Editor

  2010cites this paper
• Towards a collaboratively-built knowledge base of & for scalable knowledge sharing and retrieval

  2009cites this paper
• Semantic web rule language for geospatial domains

  2009cites this paper
• Wissensbasierte Verwaltung von Forschungsergebnissen in den Prozesswissenschaften auf der Grundlage von Ontologien mit dem Schwerpunkt auf Modellentwicklung

  2009cites this paper
• Issues in an inference platform for generating deductive knowledge: a case study in cultural heritage digital libraries using the CIDOC CRM

  2008cites this paper
• Representing Conceptual Graphs in Algernon : Working Note 9

  2007cites this paper
• Provenance Explorer-a graphical interface for constructing scientific publication packages from provenance trails

  2007cites this paper
• Building place ontologies for the semantic web:: issues and approaches

  2007cites this paper
• Requirements For a Knowledge Representation System ( and a personal reflection on Algernon ) Working Note 10

  2007cites this paper
• KM – The Knowledge Machine 1.3: Situations, Simulations, and Possible Worlds

  2007influential citation
• Common architecture for distributed probabilistic Internet fault diagnosis

  2007cites this paper
• Qualitative Spatial Reasoning about Objects in Motion : Applicationto Physics Problem

  2007influential citation
• Interprofessional Development of Learning Resources for IBD Patient Portal

  2006cites this paper
• Provenance Explorer: A Tool for Viewing Provenance Trails and Constructing Scientific Publication Packages

  2006cites this paper
• Provenance Explorer - Customized Provenance Views Using Semantic Inferencing

  2006cites this paper
• Results of an Experiment in Domain Knowledge Base Construction : AComparison of the Classic and Algernon Knowledge RepresentationSystemsRaman

  2005cites this paper
• Negation and Proof by Contradiction in Access-limited Logic

  2005cites this paper
• Towards a general theory of topological maps

  2004cites this paper
• The Gerona Knowledge Ontology and Its Support for Spoken Dialogue Tutoring of Crisis Decision Making Skills

  2003cites this paper
• Machine learning techniques for efficient query processing in knowledge base systems

  2003cites this paper
• Knowledge Representation, Sharing, and Retrieval on the Web

  2003cites this paper
• KM – The Knowledge Machine 2.0: Users Manual

  2003cites this paper
• A Logical Account of Causal and Topological Maps

  2001cites this paper
• Using Views in a KnowledgeBase Working Note 19 Revision 2

  2000cites this paper
• The Algernon Abstract Machine: Compiling and Executing Rule-Based Programs

  2000cites this paper
• Knowledge-based Information Retrieval

  1999cites this paper
• A Non-Deterministic Semantics for Tractable Inference

  1998cites this paper
• Building Concept Representations from Reusable Components

  1997cites this paper
• Building Concept Representations from Reusable Components

  1997cites this paper
• Using Access paths to Guide Inference with Conceptual Graphs

  1997influential citation
• Discoveries and experiments in the automation of mathematical reasoning

  1997cites this paper
• Picture semantics for integrating text and diagram input

  1996cites this paper
• Toward Efficient Default Reasoning

  1996cites this paper
• Qualitative reasoning about dynamic change in the spatial properties of a physical system

  1996influential citation
• Building Domain Representations from Components 1

  1996cites this paper
• The Creation and Use of a Knowledge Base of Mathematical Theorems and Deenitions the Creation and Use of a Knowledge Base of Mathematical Theorems and Deenitions

  1995cites this paper
• A Model for Integrated ualit at ive Spat ial and Dynamic easoning about Physical Systems

  1994cites this paper
• Short Algernon Reference Manual (for Algernon version 1.3.0)

  1994cites this paper
• Semi { Quantitative Physics Compiler : where are we now and where are we going ?

  1994cites this paper
• Integrating Text and Graphical Input to a Knowledge Base

  1994cites this paper
• The Figure Understander: a tool for the integration of text and graphical input to a knowledge base

  1994cites this paper
• A Model for Integrated Qualitative Spatial and Dynamic Reasoning about Physical Systems

  1994cites this paper
• The figure understander: a system for integrating text and diagram input to a knowledge base

  1994cites this paper
• Qualitative spatial reasoning about objects in motion: application to physics problem solving

  1994cites this paper
• Automated modeling of physical systems in the presence of incomplete knowledge

  1993cites this paper
• Negation and Proof by Contradiction in Access-Limited Logic

  1991cites this paper
• A Multi-agent Architecture for Internet Fault Diagnosis

  year unknowncites this paper