Alon Levy  Home/Search
Context Related
| att.com/~levy/aaai94abs.ps belllabs.com/orgs/ss...aaai94abs.ps.Z washington.edu/homes/al...aaai94abs.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: att.com/~levy/A...age_const_OID34 (more) From: washington.edu/...ge_CN1922797307 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions Using Relevance Reasoning Alon Y. Levy AT&T Bell Laboratories AI Principles Research Department 600 Mountain Avenue, Room 2C-406 Murray Hill, NJ, 07974. Email: levy@research.att.com Abstract Reasoning with multiple levels of abstraction is a powerful method of controlling problem solving in complex domains. We consider the problem of simplifying a knowledge base by creating an abstraction that is tailored for a given set of queries. Our approach is based on associating formally an... (Update)
Similar documents based on text: More All
0.0: Proof of the Alon-Tarsi Conjecture for n = 2^r p - Drisko (1998) (Correct)
0.0: Bibliography - Symposium On (Correct)
0.0: Testing Parenthesis Languages - Parnas, Ron, Rubinfeld (2001) (Correct)
BibTeX entry: (Update)
Levy, Alon Y. 1994. Creating abstractions using relevance reasoning. In Proceedings of AAAI-94. http://citeseer.ist.psu.edu/levy94creating.html More
@inproceedings{ levy94creating,
author = "Alon Y. Levy",
title = "Creating Abstractions Using Relevance Reasoning",
booktitle = "National Conference on Artificial Intelligence",
pages = "588-594",
year = "1994",
url = "citeseer.ist.psu.edu/levy94creating.html" }
Citations (may not include all citations):97 Knowledge compilation using horn approximations - Bart, Henry - 1991
63 Theorem proving with abstraction (context) - Plaisted - 1981
63 Contexts: A Formalization and Some Applications (context) - Ramanathan - 1991
57 Learning abstraction hierarchies for problem solving - Craig - 1990
47 Search reduction in hierarchical problem solving - Craig - 1991
42 A proof procedure using connection graphs (context) - Robert - 1975
32 Constraints and redundancy in Datalog - Alon, Sagiv - 1992
30 A theory of abstraction - Fausto, Toby - 1992
29 Abstraction via approximate symmetry - Thomas - 1993
21 Optimizing existential datalog queries (context) - Raghu, Catriel et al. - 1988
19 Irrelevance Reasoning in Knowledge Based Systems - Alon - 1993
18 A Theory of Justified Reformulations - Devika - 1989
15 The expected value of hierarchical problem-solving - Fahiem, Qiang - 1992
14 Automated model selection for simulation - Yumi, Alon - 1994
12 Exploiting irrelevance reasoning to guide problem solving - Alon, Sagiv - 1993
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
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)
P-CLASSIC: A tractable probabilistic description logic - Koller, Levy, Pfeffer (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