Alon Yitzchak Levy  Home/Search
Context Related
| belllabs.com/orgs/s...levythesis.ps.Z 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: belllabs.com/o...paperabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Speeding up inferences made from large knowledge bases is a key to scaling up knowledge based systems. To do so, a system must have the ability to automatically identify and ignore information that is irrelevant to a specific task. Identifying irrelevant knowledge is also key to enabling reasoning in environments in which several systems (and their respective knowledge bases) interoperate. This dissertation considers the problem of reasoning about irrelevance of knowledge in a principled and... (Update)
Context of citations to this paper: More
.... these object description components have many similarities with model fragments (MFs) the basic building blocks used in compositional modelling [Levy, 1993, 3 Container Contents Person P Oar:oar F M Portal SC SP Mass Thing mass size size propels mass part displaced holds...
...based on non conflicting assumptions. This approach has already been demonstrated in compositional modeling of physical systems [Levy, 1993]. 6 Methodology for Progress Consider taking some on line documentation that we would like to represent (e.g. the 777 hydraulics...
Cited by: More
Speeding Up Inferences Using Relevance - Reasoning Formalism And (Correct)
Context and Relevance: A Pragmatic Approach - Ekbia, Maguitman (2001) (Correct)
Using Views in a Knowledge-Base - Clark, Thompson, Barker, Fan.. (2000) (Correct)
Active bibliography (related documents): More All
1.2: Exploiting Irrelevance Reasoning to Guide Problem Solving - Levy, Sagiv (1993) (Correct)
0.3: Decidable Containment of Recursive Queries - Calvanese, De Giacomo, Vardi (2003) (Correct)
0.3: Speeding Up Inferences in Large Knowledge Bases - Levy, Fikes (Correct)
Similar documents based on text: More All
2.0: Polynomial-Time Techniques For Approximate Timing Analysis Of.. - Chakraborty (1998) (Correct)
1.9: Methods For Semi-Automated Index Generation For High Precision.. - Berrios (2001) (Correct)
1.8: A Statistical Information Extraction System for Turkish - Tür (2000) (Correct)
Related documents from co-citation: More All
5: A Theory of Justified Reformulations - Subramanian - 1989
5: Automated model selection for simulation - Yumi, Alon - 1994
4: Compositionalmodelling: Finding the right model for the job (context) - Falkenhainer, Forbus - 1991
BibTeX entry: (Update)
Levy, A. Y. 1993. Irrelevance Reasoning in Knowledge Based Systems. Ph.D. Dissertation, Stanford University. http://citeseer.ist.psu.edu/levy93irrelevance.html More
@phdthesis{ levy93irrelevance,
author = "A. Levy",
title = "Irrelevance Reasoning in Knowledge Based Systems",
school = "Stanford University",
year = "1993",
url = "citeseer.ist.psu.edu/levy93irrelevance.html" }
Citations (may not include all citations):981 Principles of Database and Knowledge-base Systems (context) - Jeffery - 1989
288 Planning in a hierarchy of abstraction spaces (context) - Earl - 1974
97 Knowledge compilation using horn approximations - Bart, Henry - 1991
72 Updating Logical Databases (context) - Marianne - 1990
64 Optimizing datalog programs (context) - Yehoshua - 1988
53 Decidability and expressiveness aspects of logic queries (context) - Oded - 1987
51 Pushing constraint selections - Divesh, Raghu - 1992
33 The complexity of querying indefinite data about linearly or.. - Ron - 1992
32 The relevance of irrelevance (context) - Subramanian, Genesereth - 1987
23 Automata theory for database theoreticians (context) - Moshe - 1989
18 A Theory of Justified Reformulations - Devika - 1989
18 Interaction-based invention: Designing novel devices from fi.. (context) - Brian
17 Approximation reformulation (context) - Daniel - 1990
12 Controlling Inference (context) - David - 1986
11 Partial evaluation of a CLP language (context) - Donald, Hickey - 1990
9 A search technique for clause interconnectivity graphs (context) - Susan - 1976
8 A message passing framework for logical query evaluation (context) - Allen - 1986
5 Abstracting first order theories (context) - Josh - 1990
5 Capturing how things work: Constructing critical abstraction.. (context) - Brian
3 Alternating tree automata (context) - Slutzki - 1985
2 The complete guide to MRS (context) - Stuart - 1985
2 Joy of Cooking (context) - Irma, Rombauer-Becker - 1975
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://portal.research.bell-labs.com/orgs/ssr/people/levy/paper-abstracts.html): More
Reasoning with Aggregation Constraints - Levy, Mumick (1996) (Correct)
Creating Abstractions Using Relevance Reasoning - Levy (1994) (Correct)
Exploiting Run-Time Information to Locate Relevant Data Sources - Knoblock, Levy (1995) (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