Alon Y. Levy, Richard E. Fikes, Yehoshua Sagiv  Home/Search
Context Related
| att.com/~levy/fall94.ps belllabs.com/orgs/ssr/pe...fall94.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: att.com/~levy/A...age_const_OID34 (more) From: belllabs.com/o...paperabstracts (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions: Often a representation is too complex for a given query because it contains too many distinctions in its domain. Therefore it may be worthwhile to first abstract a representation by removing some irrelevant distinctions (e.g. arguments of relations, distinctions between predicates) and then answer the query. In [ Levy, 1994 ] we consider the problem of automatically abstracting a representation by removing distinctions that are irrelevant to a set of queries. This is done by considering... (Update)
Cited by: More
Speeding Up Inferences Using Relevance - Reasoning Formalism And (Correct)
Similar documents (at the sentence level):
13.3%: Irrelevance Reasoning In Knowledge Based Systems - Levy (1993) (Correct)
5.4%: Exploiting Irrelevance Reasoning to Guide Problem Solving - Levy, Sagiv (1993) (Correct)
Active bibliography (related documents): More All
0.3: Automated Model Selection for Simulation Based on Relevance.. - Levy, Iwasaki, al. (1997) (Correct)
0.2: Speeding Up Inferences in Large Knowledge Bases - Levy, Fikes (Correct)
0.2: Creating Abstractions Using Relevance Reasoning - Levy (1994) (Correct)
Similar documents based on text: More All
0.3: Perceptual Audio Coding using Adaptive Pre- and.. - Schuller, Yu, Huang.. (2002) (Correct)
0.3: Sufficient Dimensionality Reduction with Irrelevance.. - Globerson, Chechik, Tishby (2003) (Correct)
0.3: Irrelevance and Independence Relations in Quasi-Bayesian Networks - Cozman (1998) (Correct)
BibTeX entry: (Update)
Alon Y. Levy, Richard E. Fikes, and Yehoshua Sagiv. A proof-theoretic approach to irrelevance: Foundations and applications. In Working Notes of the AAAI Fall Symposium on Relevance, November, 1994. http://citeseer.ist.psu.edu/levy94prooftheoretic.html More
@misc{ levy94prooftheoretic,
author = "A. Levy and R. Fikes and Y. Sagiv",
title = "A proof-theoretic approach to irrelevance: Foundations and applications",
text = "Alon Y. Levy, Richard E. Fikes, and Yehoshua Sagiv. A proof-theoretic approach
to irrelevance: Foundations and applications. In Working Notes of the AAAI
Fall Symposium on Relevance, November, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/levy94prooftheoretic.html" }
Citations (may not include all citations):154 Quantitative results concerning the utility of explanation b.. (context) - Steve - 1988
100 Queries independent of updates (context) - Alon, Sagiv - 1993
54 Query optimization by predicate movearound - Alon, Mumick et al.
51 Pushing constraint selections - Divesh, Raghu - 1992
46 A Treatise on Probability (context) - Keynes - 1921
41 A statistical approach to solving the EBL utility problem - Russell, Igor - 1992
32 Constraints and redundancy in Datalog - Alon, Sagiv - 1992
31 Independence of logic database queries and updates (context) - Charles - 1990
19 Irrelevance Reasoning in Knowledge Based Systems - Alon - 1993
18 A Theory of Justified Reformulations - Devika - 1989
14 Automated model selection for simulation - Yumi, Alon - 1994
12 Creating abstractions using relevance reasoning - Alon - 1994
9 query-reachability and satisfiability in datalog extensions (context) - Alon, Mumick et al. - 1993
7 the logic of relevance (context) - Peter - 1978
1 and Larson (context) - Blakeley, Coburn - 1989
1 Logical Foundations of Probability (context) - relations, irrelevant et al. - 1950
Documents on the same site (http://www.research.att.com/~levy/AbstractsPage_const_OID34.html): More
A Query Language for a Web-Site Management System - Fernandez, Florescu, Levy.. (1997) (Correct)
Verification of Knowledge Bases based on Containment Checking - Levy, Rousset (1996) (Correct)
Creating Abstractions Using Relevance Reasoning - Levy (1994) (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