Within the last year
Within the past 3 years
1 - 10 of 22 articles
CycL is the language in which the Cyc Knowledge Base is being encoded. This paper reviews some of the methodological considerations and the technical decisions (resulting from these considerations) that are both different from conventional thinking and that have significantly influenced the...
The knowledge representation system KL-ONE first appeared in 1977. Subsequently many systems based on the idea of KL-ONE have been built. The formal model-theoretic semantics which has been introduced for KL-ONE languages 9 provides means for investigating soundness and completeness of inference...
Our work on the CLASSIC knowledge representation system covers a broad range from theory to practice. While CLASSIC was implemented primarily to provide a simple, easy to learn and use, locally available tool for a relatively limited set of applications, it has a substantial theoretical...
The RHET system is a knowledge representation tool that is intended to support the development of advanced prototype natural language understanding and planning systems. The key requirements on the system are that it be general and expressive enough to support basic experimental systems, that it...
The BACK project was begun at the Technical University Berlin in January 1985 as part of a larger project within the ESPRIT programme 1 . Our task in the project group was the specification, design and implementation of a knowledge representation system which we called BACK ("Berlin Advanced...
The LILOG knowledge representation system is part of LEU/2 - the LILOG Experimentier Umgebung 1 - a natural language understanding system for German. The knowledge representation system comprises a sophisticated knowledge representation system comprises a sophisticated knowledge representation...
This paper presents a symbol level account of some of the representation and reasoning structures within the LOOM knowledge representation system. Reasoning in LOOM centers around a classifier whose primary function is to construct a taxonomy of all descriptions that have been entered into the...
Read and print from thousands of top scholarly journals.
Sign up with Facebook
Sign up with Google
Already have an account? Log in
Save this article to read later. You can see your Read Later on your DeepDyve homepage.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Sign Up Log In
To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.