Comparison of the Classic and Algernon Knowledge Representation Systems Raman ...  Home/Search
Context
Related
| utexas.edu/~pbeeso...ractreaswkshp.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/~pbeeson/_papers_/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Jon Doyle and Ramesh Patil have recently argued that classification languages that obtain polynomial worst case response times by eliminating inefficient constructs are in fact too restrictive to represent many forms of knowledge. (Update)
Active bibliography (related documents): More All
0.1: Semantics of an Anytime Family of Reasoners - Dalal (1996) (Correct)
0.1: Tractable Reasoning in Knowledge Representation Systems - Dalal (1995) (Correct)
0.1: Class Library Implementation of an Open Architecture Knowledge.. - Gaines (1994) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ the-results,
author = "Comparison Of The",
title = "Results of an Experiment in Domain Knowledge Base Construction: A",
url = "citeseer.ist.psu.edu/749931.html" }
Citations (may not include all citations):189 LIVING WITH CLASSIC: When and How to Use a KL-ONE-Like Langu.. - Brachman, McGuinness et al. - 1991
129 LaSSIE: A Knowledge Based Software Information System - Devanbu - 1991
88 Two theses of knowledge representation: language restriction.. - Doyle, Patil - 1991
40 QPC: A Compiler from Physical Models into Qualitative Differ.. - Crawford, Farquhar et al. - 1990
29 Algernon - A Tractable System for Knowledge-Representation - Crawford, Kuipers
22 CLASSIC Description and Reference Manual For the COMMON LISP.. (context) - Resnick, Borgida et al. - 1991
17 Towards a Theory of Access-Limited Logics for Knowledge Repr.. - Crawford, Kuipers
11 Negation and Proof by Contradiction in Access-Limited Logic - Crawford, Kuipers
1 Algernon User's Manual for Algernon Version (context) - Crawford, Kuipers
1 CLASSIC: A structured data model for objects (context) - Borgida, Brachman et al. - 1989
Documents on the same site (http://www.cs.utexas.edu/~pbeeson/_papers_/): More
Post-Piagetian Constructivism for Grounded Knowledge Acquisition - Chaput (2001) (Correct)
Higher-Order Derivative Constraints in Qualitative.. - Kuipers, Chiu, Molle.. (1991) (Correct)
Unknown - Herbert Bert Kay (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC