Speeding up inferences using relevance reasoning: a formalism and algorithms

DOI10.1016/S0004-3702(97)00049-0zbMATH Open0904.68163OpenAlexW1976291507WikidataQ127124587 ScholiaQ127124587MaRDI QIDQ1127352FDOQ1127352

A. Levy, Richard Fikes, 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

constraintsstatic analysisknowledge representationHorn rulesmeta-level reasoningrelevance reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

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

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

   Recommendations

• Advances in Artificial Intelligence – SBIA 2004 👍 👎
• Automated inferencing 👍 👎
• Approximate reasoning with credible subsets 👍 👎
• Title not available (Why is that?) 👍 👎
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1127352)