J.M. Crawford, Benjamin Kuipers  Home/Search
Context Related
| utexas.edu/pub/qsi...iperssowa91.ps.Z utexas.edu/~pbeeso...perssowa91.ps.gz 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/users/qr/whatsnew (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Access-Limited Logic (ALL) is a language for knowledge representation which formalizes the access limitations inherent in a network-structured knowledge base. Where a classical deductive method or logic programming language would retrieve all assertions that satisfy a given pattern, an access-limited logic retrieves all assertions reachable by following an available access path. The complexity of inference is thus independent of the size of the knowledge-base and depends only on its local... (Update)
Context of citations to this paper: More
...y x) max minimum epsilon ) threshold ) return from vector = t) a b) nil) A. 3 QPC ; Copyright: Adam Farquhar and James Crawford, 1990. The following functions are defined below: basic qpt) Basic qpt ontology. library) Library of processes...
.... FROBS [58] OZONE [45] KRL [7, 46, 8] BB [32] LOOPS [94, 17] KB [23] SNePS [84, 85] RHET[3, 56] TELOS [59] PARKA [24] ALGERNON [18, 19], FRAPPE [25] Conceptual Graphs [92] MOPS, ART, and NEXPERT. HPRL Goldworks FRL PARMENIDES FrameKit CRL KnowledgeCraft SRL Strobe...
Cited by: More
The Design Space of Frame Knowledge Representation Systems - Karp (1993) (Correct)
Access-Limited Logic - A Language for Knowledge Representation - Crawford (1990) (Correct)
Similar documents (at the sentence level):
20.2%: Towards a Theory of Access-Limited Logic for Knowledge.. - Crawford, Kuipers (1989) (Correct)
19.8%: A Formalization of Access-Limited Logic for Knowledge.. - Crawford Benjamin (Correct)
Active bibliography (related documents): More All
0.7: Algernon - A Tractable System for Knowledge-Representation - Crawford, Kuipers (1991) (Correct)
0.3: The Algebraic Structure of Attributed Type Signatures - Penn (2000) (Correct)
0.3: A Question Answering Interpretation of Resolution Refutation - Burhans (2002) (Correct)
Similar documents based on text: More All
0.3: The Algernon Abstract Machine - Hewett (2000) (Correct)
0.3: Negation and Proof by Contradiction in Access-Limited Logic - Crawford Kuipers (1991) (Correct)
0.2: QPC: A Compiler from Physical Models into Qualitative.. - Crawford (1990) (Correct)
Related documents from co-citation: More All
2: An empirical analysis of terminological representation system - Nebel, Heinsohn et al. - 1994
2: The Restricted Language Architecture of a Hybrid Representation System (context) - Vilain - 1985
2: Massachusetts Institute of Technology AI Laboratory (context) - Roberts, Goldstein et al. - 1977
BibTeX entry: (Update)
Crawford, J. M., and Kuipers, B. (1990). ALL: Formalizing Access Limited Reasoning. In Principles of Semantic Networks: Explorations in the Representation of Knowledge, Morgan Kaufmann, Los Altos, California. http://citeseer.ist.psu.edu/crawford90all.html More
@misc{ crawford90all,
author = "J. Crawford and B. Kuipers",
title = "ALL: Formalizing Access Limited Reasoning",
text = "Crawford, J. M., and Kuipers, B. (1990). ALL: Formalizing Access Limited
Reasoning. In Principles of Semantic Networks: Explorations in the Representation
of Knowledge, Morgan Kaufmann, Los Altos, California.",
year = "1990",
url = "citeseer.ist.psu.edu/crawford90all.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1984
403 Modeling spatial knowledge (context) - Kuipers - 1978
304 A framework for representing knowledge (context) - Marvin - 1975
277 Qualitative process theory (context) - Forbus - 1984
194 Knowledge and Belief (context) - Hintikka - 1962
161 A logic of implicit and explicit belief (context) - Levesque - 1984
146 Introduction to logic programming (context) - Krzysztof - 1988
117 Qualitative simulation - Kuipers - 1986
115 A blackboard architecture for control (context) - Hayes-Roth - 1985
107 Readings in Knowledge Representation (context) - Ronald, Levesque - 1985
107 The Mathematics of Inheritance Systems (context) - David - 1986
105 Computability and Logic (context) - George, Jeffrey - 1980
85 The second naive physics manifesto (context) - Patrick - 1985
84 What's in a link: foundations for semantic networks (context) - Woods - 1975
75 Reasoning about Knowledge and Action (context) - Moore - 1979
65 the epistemological status of semantic networks (context) - Brachman - 1979
49 Generality in artificial intelligence - McCarthy - 1987
42 The logic of frames (context) - Patrick - 1979
41 The restricted language architecture of a hybrid representat.. (context) - Vilain - 1985
40 QPC: A Compiler from Physical Models into Qualitative Differ.. - Crawford, Farquhar et al. - 1990
40 Algebraic Properties of Idempotent Substitutions - Catuscia - 1989
38 The MIND system (context) - Kay - 1973
33 What's in a concept: structural foundations for semantic net.. (context) - Brachman - 1977
31 CYC: Using common sense knowledge to overcome brittleness an.. (context) - Lenat, Prakash et al. - 1986
30 Department of Computer Science (context) - Shapiro - 1989
27 Reasoning With Arbitrary Objects (context) - Kit - 1985
26 Ordering conjunctive queries (context) - David, Genesereth - 1985
25 in and Joseph Y. Halpern. (1988). Belief, awareness, and lim.. (context) - Fag - 1988
23 Vivid knowledge and tractable reasoning: preliminary report - David, Borgida et al. - 1989
19 Associative Networks: Representation and Use of Knowledge by.. (context) - Findler - 1979
19 A decidable first-order logic for knowledge representation (context) - Patel-Schneider - 1985
18 Knowledge representation and reasoning (context) - Levesque - 1986
17 An Episodic Knowledge Representation for Narrative Texts (context) - Schubert, Hwang - 1989
17 Towards a theory of access-limited logic for knowledge repre.. - Crawford, Kuipers - 1989
17 Default reasoning (context) - Steve, Drew - 1986
14 The structure and organization of a semantic net for compreh.. (context) - Schubert, Goebel et al. - 1979
14 Word concepts: A theory and simulation of some basic semanti.. (context) - Quillian - 1967
12 On representing commonsense knowledge - Kuipers - 1979
10 An overview of KRL (context) - Daniel, Winograd - 1977
8 Path-based and node-based inference in semantic networks (context) - Shapiro - 1978
8 Choosing directions for rules (context) - Richard, Michael - 1987
6 Determining type (context) - Schubert, Papalaskaris et al. - 1983
5 Inference in a topically organized semantic net (context) - Haan, Schubert - 1986
3 SIR: semantic information retrieval (context) - Raphael - 1968
3 The HORNE Reasoning System (context) - Allen, Giuliano et al. - 1984
3 Knowledge by deduction (context) - Powers - 1978
3 A net structure based relational question answerer: descript.. (context) - Shapiro, Woodmansee - 1969
2 Towards a Formalization of Access Limited Logic (context) - Crawford, Kuipers - 1990
2 A deductive questionanswerer for natural language inference (context) - Schwarcz, Burger et al. - 1970
1 Dover Publications Inc (context) - Wylie - 1957
Documents on the same site (http://www.cs.utexas.edu/users/qr/whats-new.html): More
Qualitative Simulation and Temporal Logic: Proving Properties .. - Shults, Kuipers (1996) (Correct)
Integrating Topological and Metric Maps for Mobile .. - Thrun, Gutmann.. (1998) (Correct)
Map Learning with Uninterpreted Sensors and Effectors - Pierce, Kuipers (1997) (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