Speeding up inferences using relevance reasoning: a formalism and algorithms
- 31 December 1997
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 97 (1-2) , 83-136
- https://doi.org/10.1016/s0004-3702(97)00049-0
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- A logical notion of conditional independence: properties and applicationsArtificial Intelligence, 1997
- Query reformulation for dynamic information integrationJournal of Intelligent Information Systems, 1996
- A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description LogicJournal of Artificial Intelligence Research, 1994
- Acquiring search-control knowledge via static analysisArtificial Intelligence, 1993
- Whither relevance logic?Journal of Philosophical Logic, 1992
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Updating derived relations: detecting irrelevant and autonomously computable updatesACM Transactions on Database Systems, 1989
- Compiling controlThe Journal of Logic Programming, 1989
- Diagnostic reasoning based on structure and behaviorArtificial Intelligence, 1984
- AlternationJournal of the ACM, 1981