Speeding up inferences using relevance reasoning: a formalism and algorithms

DOI10.1016/S0004-3702(97)00049-0zbMath0904.68163OpenAlexW1976291507WikidataQ127124587 ScholiaQ127124587MaRDI QIDQ1127352

Richard Fikes, Alon Y. Halevy, Yehoshua Sagiv

Publication date: 13 August 1998

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00049-0

zbMATH Keywords

knowledge representationstatic analysisconstraintsrelevance reasoningHorn rulesmeta-level reasoning

Mathematics Subject Classification ID

Related Items (4)

Automated model selection for simulation based on relevance reasoning ⋮ Towards Agent-Oriented Relevant Information ⋮ Issues of feasibility, coherence, and robustness in a premise-to-claim model of argumentation: Result from four experiments ⋮ Answering queries using limited external query processors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Acquiring search-control knowledge via static analysis
• Controlling backward inference
• A logical notion of conditional independence: properties and applications
• Theorem proving with abstraction
• Finding optimal derivation strategies in redundant knowledge bases
• Whither relevance logic?
• A theory of abstraction
• Recursive query processing: The power of logic
• Information integration using logical views
• Planning in a hierarchy of abstraction spaces
• On conjunctive queries containing inequalities
• Compiling control
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Alternation
• Partial evaluation in logic programming
• Abstract interpretation and application to logic programs
• Equivalence of Datalog queries is undecidable
• A Search Technique for Clause Interconnectivity Graphs
• A Proof Procedure Using Connection Graphs
• Pushing constraint selections
• On the logic of relevance

This page was built for publication: Speeding up inferences using relevance reasoning: a formalism and algorithms