Speeding up inferences using relevance reasoning: a formalism and algorithms

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

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

Recommendations

• Advances in Artificial Intelligence – SBIA 2004
• Automated inferencing
• Approximate reasoning with credible subsets
• scientific article; zbMATH DE number 1164042
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences

Cites work

• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 48837 (Why is no real title available?)
• scientific article; zbMATH DE number 139764 (Why is no real title available?)
• scientific article; zbMATH DE number 176242 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1149436 (Why is no real title available?)
• scientific article; zbMATH DE number 2243391 (Why is no real title available?)
• scientific article; zbMATH DE number 4187143 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• A Proof Procedure Using Connection Graphs
• A Search Technique for Clause Interconnectivity Graphs
• A logical notion of conditional independence: properties and applications
• A theory of abstraction
• Abstract interpretation and application to logic programs
• Acquiring search-control knowledge via static analysis
• Alternation
• Compiling control
• Controlling backward inference
• Equivalence of Datalog queries is undecidable
• Equivalences Among Relational Expressions with the Union and Difference Operators
• Finding optimal derivation strategies in redundant knowledge bases
• Information integration using logical views
• Knowledge in flux. Modeling the dynamics of epistemic states
• On conjunctive queries containing inequalities
• On the logic of relevance
• Partial evaluation in logic programming
• Planning in a hierarchy of abstraction spaces
• Pushing constraint selections
• Recursive query processing: The power of logic
• Theorem proving with abstraction
• Whither relevance logic?

Cited in

(7)

• scientific article; zbMATH DE number 1759716 (Why is no real title available?)
• Answering queries using limited external query processors
• Advances in Artificial Intelligence – SBIA 2004
• Towards Agent-Oriented Relevant Information
• Issues of feasibility, coherence, and robustness in a premise-to-claim model of argumentation: Result from four experiments
• Automated model selection for simulation based on relevance reasoning
• scientific article; zbMATH DE number 4060778 (Why is no real title available?)

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)